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