read `AMSrip.txt`:

PaperP(DS()):

quit: