Brians example S171 is not pseudocompact P22#1711

felixpernegger wants to merge 5 commits into

mainpi-base/data:mainfrom

s171p22pi-base/data:s171p22Copy head branch name to clipboard