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