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