read `ResPerms.txt`:

Paper1s(4,n,60,200, 3000) :

quit: