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