read `TREES.txt`:

 Paper2({1,3,4},2,30):

quit: