Brians example S171 is not pseudocompact P22#1711

prabau merged 9 commits into

mainpi-base/data:mainfrom

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