read `Pisot.txt`:

PtoRv(4,7,1/2,6,20,1000):


quit: