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