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