read `TREES.txt`:

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

quit: