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