read `ResPerms.txt`:

Paper1s(2,n,50,200, 3000) :

quit: