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