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