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