tread 'trees from NONA' (0 (8 (((14 (12 13 ))(9 (10 11 )))(5 (6 ((2 3 )(4 (1 7 ))))))))* (0 (5 (8 (((14 (12 13 ))(9 (10 11 )))(6 ((2 3 )(4 (1 7 ))))))))* (0 (8 (((13 (12 14 ))(9 (10 11 )))(5 (6 ((2 3 )(4 (1 7 ))))))))* (0 (5 (8 ((10 ((9 11 )(14 (12 13 ))))(6 ((2 3 )(4 (1 7 ))))))))* (0 (5 (8 (((13 (12 14 ))(9 (10 11 )))(6 ((2 3 )(4 (1 7 ))))))))* (0 (5 (8 ((10 ((9 11 )(13 (12 14 ))))(6 ((2 3 )(4 (1 7 )))))))); proc-;