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