read `BoolFns.txt`:
read `CanonicalBF.txt`:
read `SLprog.txt`:

GenMonoCatFileAll(3):
for i from 0 to 10 do
MonoFileFindSLPAll(3,i):
od: