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