read `ALLADI.txt`:

PaperATS():

quit: