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