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