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