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