10 (3 
     (2 (4 () () )
        (8 () () ) )
     (1 (6 () () )
        (4 () () ) ) )
10 (3 
     (2 (4 () () )
        (8 () () )
     )
     (1 (6 () () )
        (4 () () )
      )
   )
5 ()
6 (6 () () )
152 (151 
        () () )
28   (6  (10 (5  (4  ( 3
                   () ())
               () )
           () )
       ())
   () )
27   (6  (10 (5  (4  ( 3
                   () ())
               () )
           () )
       ())
   () )
20 (5(4(11(7()())(2()()))()) (8(13()())(4()(1()()))))
22 (5(4(11(7()())(2()()))()) (8(13()())(4()(1()()))))
22 (5 (4 (11 (7 () ()) (2 () () ) ) ())  (8 (13 () ()) (4 ()  (1 () ()) ) )  )
27 (5 (4 (11 (7 () ()) (2 () () ) ) ())  (8 (13 () ()) (4 ()  (1 () ()) ) )  )
26 (5 (4 (11 (7 () ()) (2 () () ) ) ())  (8 (13 () ()) (4 ()  (1 () ()) ) )  )
18 (5 (4 (11 (7 () ()) (2 () () ) ) ())  (8 (13 () ()) (4 ()  (1 () ()) ) )  )
17 (5 
     (4 
       (11 
          (7 () ()) 
          (2 () ()) ) 
       () )  
     (8 
       (13 () ()) 
       (4  
          ()  
          (1 () ()) ) )  )
18 (5 
     (4 
       (11 
          (7 () ()) 
          (2 () ()) ) 
       () )  
     (8 
       (13 () ()) 
       (4  
          ()  
          (1 () ()) ) )  )
14 (5 (-4 (11 (7 () ()) (2 () () ) ) ())  
                    (8 (-13 () ()) (4 ()  (-1 () ()) ) )  )
0 (5 (-4 (11 (7 () ()) (2 () () ) ) ())  
                    (8 (-13 () ()) (4 ()  (-1 () ()) ) )  )
1 (5 (-4 (11 (7 () ()) (2 () () ) ) ())  
                    (8 (-13 () ()) (4 ()  (-1 () ()) ) )  )
16 (5 (-4 (11 (7 () ()) (2 () () ) ) ())  
                    (8 (-13 () ()) (4 ()  (-1 () ()) ) )  )
