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