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