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