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