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