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