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