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