read `ResPerms.txt`:

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

quit: