read `SD.txt`:

C:=3:
SP:={{[0,0],[0,1],[1,0],[1,1]}}:

PaperCsp(C,SP,z,x, 30,100,6,1000):

quit: