read `Pisot.txt`: MamarSyT(20,k,1/2,6); quit: