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