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