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