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