within algorithm from P3955#288

lucteo wants to merge 8 commits into

mainbemanproject/execution:mainfrom

within-algobemanproject/execution:within-algoCopy head branch name to clipboard