read `AMSrip.txt`:

Paper(DS()):

quit: