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