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