1: A6<* a5>;  2: A3> a5>;  3: A3< a7<*;  4: A5< a3>;  5: A1< a5<;  6: A8< a3>;  7: A3>* a5>;  8: A2< a3>;  9: A1< a5>;  10: A3> a3>;  11: A2< a6<;  12: A7< a1<;  13: A5> a2<;  14: A5>+ a5>;  15: A1< a5>;  16: A7> a7<+;  17: A5> a7<;  18: A4> a6<;  19: A2< a2<;  20: A5< a6<;  21: A2< a6<;  22: A4< a4<;  23: B3< a6<*;  24: A2>** b1<;  25: A3> a2<*;  26: B2< b2<;  27: A2> b8>;  28: B6> a5<*;  29: B8> b4<;  30: A5> b2>*;  31: A5< b3<;  32: B2< a3>;  33: B4< b1<;  34: B8> a2>*;  35: B2< a4>;  36: A7< a6<;  37: B1<* a1>;  38: B5<* b4<;  39: B7< a3<;  40: B7> a8<;  41: B8> a3>*;  42: B2< b7>;  43: A4< b2<;  44: B1< b1<;  45: A1<* a4<**;  46: A2> b1<;  47: B7> b3<;  48: A3< a2>;  49: A1> b1<;  50: A1> a7<*;  51: A7< a2>;  52: B1< b1<;  53: A5<* b2<;  54: A1> b7>;  55: B2< b8>;  56: A7< b6<*;  57: B7> b1<*;  58: B8> b2<;  59: B1< a1>*;  60: A5< b5<*;  61: A3>#