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