read `TREES.txt`: Paper2({1,2,5},2,30): quit: