1: A7<*  a5>;
 2: A6<*  a5>;
 3: A2>   a6<;
 4: A1>   a5>;
 5: A3<   a8>;
 6: A3>   a1>;
 7: A5>   a7>;
 8: A5>   a6<;
 9: A5>   a2>;
10: A5>   a3>;
11: A8<*  a3<;
12: A7>+  a3>;
13: A3>   a5>;
14: A5>   a5>;
15: A3>   a7>;
16: A3>   a7>*;
17: A7<   a1>;
18: A7>   a3>;
19: A3>   a3<;
20: A5<   a3>*;
21: A7>   a6>;
22: A1>   a7>;
23: B2<   a7<;
24: A7>   b7>;
25: B1<*  a3>;
26: A2>   a2>;
27: A4<   a5>;
28: B6>   a5<;
29: A7<   b1<;
30: A4>*  a2<*;
31: B8>** b4<;
32: A5>   b1<;