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