Testing `ax1'..
Testing `ax2'..
Testing `ax3'..
Testing `ax4'..
Testing `ax5'..
Testing `ax6'..
Testing `add2x'..
Testing `rem2x'..
Testing `addCommutes'..Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt1
  e2 = elt2
 LHS: {1, 2}
 RHS: {1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt1
  e2 = elt3
 LHS: {1, 3}
 RHS: {1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt1
  e2 = elt4
 LHS: {1, 4}
 RHS: {1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt1
  e2 = elt5
 LHS: {1, 123456789}
 RHS: {1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt1
  e2 = elt6
 LHS: {1, 1123456789}
 RHS: {1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt1
  e2 = elt7
 LHS: {1, -171510507}
 RHS: {1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt1
  e2 = elt8
 LHS: {1, 56789}
 RHS: {1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt1
  e2 = elt9
 LHS: {1, 23456789}
 RHS: {1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt1
  e2 = elt0
 LHS: {1, 3456789}
 RHS: {1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt2
  e2 = elt1
 LHS: {2, 1}
 RHS: {2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt2
  e2 = elt3
 LHS: {2, 3}
 RHS: {2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt2
  e2 = elt4
 LHS: {2, 4}
 RHS: {2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt2
  e2 = elt5
 LHS: {2, 123456789}
 RHS: {2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt2
  e2 = elt6
 LHS: {2, 1123456789}
 RHS: {2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt2
  e2 = elt7
 LHS: {2, -171510507}
 RHS: {2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt2
  e2 = elt8
 LHS: {2, 56789}
 RHS: {2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt2
  e2 = elt9
 LHS: {2, 23456789}
 RHS: {2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt2
  e2 = elt0
 LHS: {2, 3456789}
 RHS: {2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt3
  e2 = elt1
 LHS: {3, 1}
 RHS: {3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt3
  e2 = elt2
 LHS: {3, 2}
 RHS: {3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt3
  e2 = elt4
 LHS: {3, 4}
 RHS: {3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt3
  e2 = elt5
 LHS: {3, 123456789}
 RHS: {3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt3
  e2 = elt6
 LHS: {3, 1123456789}
 RHS: {3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt3
  e2 = elt7
 LHS: {3, -171510507}
 RHS: {3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt3
  e2 = elt8
 LHS: {3, 56789}
 RHS: {3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt3
  e2 = elt9
 LHS: {3, 23456789}
 RHS: {3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt3
  e2 = elt0
 LHS: {3, 3456789}
 RHS: {3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt4
  e2 = elt1
 LHS: {4, 1}
 RHS: {4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt4
  e2 = elt2
 LHS: {4, 2}
 RHS: {4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt4
  e2 = elt3
 LHS: {4, 3}
 RHS: {4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt4
  e2 = elt5
 LHS: {4, 123456789}
 RHS: {4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt4
  e2 = elt6
 LHS: {4, 1123456789}
 RHS: {4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt4
  e2 = elt7
 LHS: {4, -171510507}
 RHS: {4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt4
  e2 = elt8
 LHS: {4, 56789}
 RHS: {4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt4
  e2 = elt9
 LHS: {4, 23456789}
 RHS: {4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt4
  e2 = elt0
 LHS: {4, 3456789}
 RHS: {4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt5
  e2 = elt1
 LHS: {123456789, 1}
 RHS: {123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt5
  e2 = elt2
 LHS: {123456789, 2}
 RHS: {123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt5
  e2 = elt3
 LHS: {123456789, 3}
 RHS: {123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt5
  e2 = elt4
 LHS: {123456789, 4}
 RHS: {123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt5
  e2 = elt6
 LHS: {123456789, 1123456789}
 RHS: {123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt5
  e2 = elt7
 LHS: {123456789, -171510507}
 RHS: {123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt5
  e2 = elt8
 LHS: {123456789, 56789}
 RHS: {123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt5
  e2 = elt9
 LHS: {123456789, 23456789}
 RHS: {123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt5
  e2 = elt0
 LHS: {123456789, 3456789}
 RHS: {123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt6
  e2 = elt1
 LHS: {1123456789, 1}
 RHS: {1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt6
  e2 = elt2
 LHS: {1123456789, 2}
 RHS: {1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt6
  e2 = elt3
 LHS: {1123456789, 3}
 RHS: {1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt6
  e2 = elt4
 LHS: {1123456789, 4}
 RHS: {1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt6
  e2 = elt5
 LHS: {1123456789, 123456789}
 RHS: {1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt6
  e2 = elt7
 LHS: {1123456789, -171510507}
 RHS: {1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt6
  e2 = elt8
 LHS: {1123456789, 56789}
 RHS: {1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt6
  e2 = elt9
 LHS: {1123456789, 23456789}
 RHS: {1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt6
  e2 = elt0
 LHS: {1123456789, 3456789}
 RHS: {1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt7
  e2 = elt1
 LHS: {-171510507, 1}
 RHS: {-171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt7
  e2 = elt2
 LHS: {-171510507, 2}
 RHS: {-171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt7
  e2 = elt3
 LHS: {-171510507, 3}
 RHS: {-171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt7
  e2 = elt4
 LHS: {-171510507, 4}
 RHS: {-171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt7
  e2 = elt5
 LHS: {-171510507, 123456789}
 RHS: {-171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt7
  e2 = elt6
 LHS: {-171510507, 1123456789}
 RHS: {-171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt7
  e2 = elt8
 LHS: {-171510507, 56789}
 RHS: {-171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt7
  e2 = elt9
 LHS: {-171510507, 23456789}
 RHS: {-171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt7
  e2 = elt0
 LHS: {-171510507, 3456789}
 RHS: {-171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt8
  e2 = elt1
 LHS: {56789, 1}
 RHS: {56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt8
  e2 = elt2
 LHS: {56789, 2}
 RHS: {56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt8
  e2 = elt3
 LHS: {56789, 3}
 RHS: {56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt8
  e2 = elt4
 LHS: {56789, 4}
 RHS: {56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt8
  e2 = elt5
 LHS: {56789, 123456789}
 RHS: {56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt8
  e2 = elt6
 LHS: {56789, 1123456789}
 RHS: {56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt8
  e2 = elt7
 LHS: {56789, -171510507}
 RHS: {56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt8
  e2 = elt9
 LHS: {56789, 23456789}
 RHS: {56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt8
  e2 = elt0
 LHS: {56789, 3456789}
 RHS: {56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt9
  e2 = elt1
 LHS: {23456789, 1}
 RHS: {23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt9
  e2 = elt2
 LHS: {23456789, 2}
 RHS: {23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt9
  e2 = elt3
 LHS: {23456789, 3}
 RHS: {23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt9
  e2 = elt4
 LHS: {23456789, 4}
 RHS: {23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt9
  e2 = elt5
 LHS: {23456789, 123456789}
 RHS: {23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt9
  e2 = elt6
 LHS: {23456789, 1123456789}
 RHS: {23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt9
  e2 = elt7
 LHS: {23456789, -171510507}
 RHS: {23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt9
  e2 = elt8
 LHS: {23456789, 56789}
 RHS: {23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt9
  e2 = elt0
 LHS: {23456789, 3456789}
 RHS: {23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt0
  e2 = elt1
 LHS: {3456789, 1}
 RHS: {3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt0
  e2 = elt2
 LHS: {3456789, 2}
 RHS: {3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt0
  e2 = elt3
 LHS: {3456789, 3}
 RHS: {3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt0
  e2 = elt4
 LHS: {3456789, 4}
 RHS: {3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt0
  e2 = elt5
 LHS: {3456789, 123456789}
 RHS: {3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt0
  e2 = elt6
 LHS: {3456789, 1123456789}
 RHS: {3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt0
  e2 = elt7
 LHS: {3456789, -171510507}
 RHS: {3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt0
  e2 = elt8
 LHS: {3456789, 56789}
 RHS: {3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s1
  e1 = elt0
  e2 = elt9
 LHS: {3456789, 23456789}
 RHS: {3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt1
  e2 = elt2
 LHS: {1, 2}
 RHS: {1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt1
  e2 = elt3
 LHS: {1, 3}
 RHS: {1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt1
  e2 = elt4
 LHS: {1, 4}
 RHS: {1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt1
  e2 = elt5
 LHS: {1, 123456789}
 RHS: {1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt1
  e2 = elt6
 LHS: {1, 1123456789}
 RHS: {1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt1
  e2 = elt7
 LHS: {1, -171510507}
 RHS: {1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt1
  e2 = elt8
 LHS: {1, 56789}
 RHS: {1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt1
  e2 = elt9
 LHS: {1, 23456789}
 RHS: {1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt1
  e2 = elt0
 LHS: {1, 3456789}
 RHS: {1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt2
  e2 = elt3
 LHS: {1, 2, 3}
 RHS: {1, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt2
  e2 = elt4
 LHS: {1, 2, 4}
 RHS: {1, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt2
  e2 = elt5
 LHS: {1, 2, 123456789}
 RHS: {1, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt2
  e2 = elt6
 LHS: {1, 2, 1123456789}
 RHS: {1, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt2
  e2 = elt7
 LHS: {1, 2, -171510507}
 RHS: {1, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt2
  e2 = elt8
 LHS: {1, 2, 56789}
 RHS: {1, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt2
  e2 = elt9
 LHS: {1, 2, 23456789}
 RHS: {1, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt2
  e2 = elt0
 LHS: {1, 2, 3456789}
 RHS: {1, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt3
  e2 = elt2
 LHS: {1, 3, 2}
 RHS: {1, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt3
  e2 = elt4
 LHS: {1, 3, 4}
 RHS: {1, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt3
  e2 = elt5
 LHS: {1, 3, 123456789}
 RHS: {1, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt3
  e2 = elt6
 LHS: {1, 3, 1123456789}
 RHS: {1, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt3
  e2 = elt7
 LHS: {1, 3, -171510507}
 RHS: {1, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt3
  e2 = elt8
 LHS: {1, 3, 56789}
 RHS: {1, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt3
  e2 = elt9
 LHS: {1, 3, 23456789}
 RHS: {1, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt3
  e2 = elt0
 LHS: {1, 3, 3456789}
 RHS: {1, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt4
  e2 = elt2
 LHS: {1, 4, 2}
 RHS: {1, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt4
  e2 = elt3
 LHS: {1, 4, 3}
 RHS: {1, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt4
  e2 = elt5
 LHS: {1, 4, 123456789}
 RHS: {1, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt4
  e2 = elt6
 LHS: {1, 4, 1123456789}
 RHS: {1, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt4
  e2 = elt7
 LHS: {1, 4, -171510507}
 RHS: {1, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt4
  e2 = elt8
 LHS: {1, 4, 56789}
 RHS: {1, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt4
  e2 = elt9
 LHS: {1, 4, 23456789}
 RHS: {1, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt4
  e2 = elt0
 LHS: {1, 4, 3456789}
 RHS: {1, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt5
  e2 = elt2
 LHS: {1, 123456789, 2}
 RHS: {1, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt5
  e2 = elt3
 LHS: {1, 123456789, 3}
 RHS: {1, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt5
  e2 = elt4
 LHS: {1, 123456789, 4}
 RHS: {1, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt5
  e2 = elt6
 LHS: {1, 123456789, 1123456789}
 RHS: {1, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt5
  e2 = elt7
 LHS: {1, 123456789, -171510507}
 RHS: {1, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt5
  e2 = elt8
 LHS: {1, 123456789, 56789}
 RHS: {1, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt5
  e2 = elt9
 LHS: {1, 123456789, 23456789}
 RHS: {1, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt5
  e2 = elt0
 LHS: {1, 123456789, 3456789}
 RHS: {1, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt6
  e2 = elt2
 LHS: {1, 1123456789, 2}
 RHS: {1, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt6
  e2 = elt3
 LHS: {1, 1123456789, 3}
 RHS: {1, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt6
  e2 = elt4
 LHS: {1, 1123456789, 4}
 RHS: {1, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt6
  e2 = elt5
 LHS: {1, 1123456789, 123456789}
 RHS: {1, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt6
  e2 = elt7
 LHS: {1, 1123456789, -171510507}
 RHS: {1, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt6
  e2 = elt8
 LHS: {1, 1123456789, 56789}
 RHS: {1, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt6
  e2 = elt9
 LHS: {1, 1123456789, 23456789}
 RHS: {1, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt6
  e2 = elt0
 LHS: {1, 1123456789, 3456789}
 RHS: {1, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt7
  e2 = elt2
 LHS: {1, -171510507, 2}
 RHS: {1, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt7
  e2 = elt3
 LHS: {1, -171510507, 3}
 RHS: {1, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt7
  e2 = elt4
 LHS: {1, -171510507, 4}
 RHS: {1, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt7
  e2 = elt5
 LHS: {1, -171510507, 123456789}
 RHS: {1, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt7
  e2 = elt6
 LHS: {1, -171510507, 1123456789}
 RHS: {1, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt7
  e2 = elt8
 LHS: {1, -171510507, 56789}
 RHS: {1, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt7
  e2 = elt9
 LHS: {1, -171510507, 23456789}
 RHS: {1, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt7
  e2 = elt0
 LHS: {1, -171510507, 3456789}
 RHS: {1, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt8
  e2 = elt2
 LHS: {1, 56789, 2}
 RHS: {1, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt8
  e2 = elt3
 LHS: {1, 56789, 3}
 RHS: {1, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt8
  e2 = elt4
 LHS: {1, 56789, 4}
 RHS: {1, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt8
  e2 = elt5
 LHS: {1, 56789, 123456789}
 RHS: {1, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt8
  e2 = elt6
 LHS: {1, 56789, 1123456789}
 RHS: {1, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt8
  e2 = elt7
 LHS: {1, 56789, -171510507}
 RHS: {1, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt8
  e2 = elt9
 LHS: {1, 56789, 23456789}
 RHS: {1, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt8
  e2 = elt0
 LHS: {1, 56789, 3456789}
 RHS: {1, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt9
  e2 = elt2
 LHS: {1, 23456789, 2}
 RHS: {1, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt9
  e2 = elt3
 LHS: {1, 23456789, 3}
 RHS: {1, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt9
  e2 = elt4
 LHS: {1, 23456789, 4}
 RHS: {1, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt9
  e2 = elt5
 LHS: {1, 23456789, 123456789}
 RHS: {1, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt9
  e2 = elt6
 LHS: {1, 23456789, 1123456789}
 RHS: {1, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt9
  e2 = elt7
 LHS: {1, 23456789, -171510507}
 RHS: {1, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt9
  e2 = elt8
 LHS: {1, 23456789, 56789}
 RHS: {1, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt9
  e2 = elt0
 LHS: {1, 23456789, 3456789}
 RHS: {1, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt0
  e2 = elt2
 LHS: {1, 3456789, 2}
 RHS: {1, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt0
  e2 = elt3
 LHS: {1, 3456789, 3}
 RHS: {1, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt0
  e2 = elt4
 LHS: {1, 3456789, 4}
 RHS: {1, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt0
  e2 = elt5
 LHS: {1, 3456789, 123456789}
 RHS: {1, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt0
  e2 = elt6
 LHS: {1, 3456789, 1123456789}
 RHS: {1, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt0
  e2 = elt7
 LHS: {1, 3456789, -171510507}
 RHS: {1, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt0
  e2 = elt8
 LHS: {1, 3456789, 56789}
 RHS: {1, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s2
  e1 = elt0
  e2 = elt9
 LHS: {1, 3456789, 23456789}
 RHS: {1, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt1
  e2 = elt3
 LHS: {1, 2, 3}
 RHS: {1, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt1
  e2 = elt4
 LHS: {1, 2, 4}
 RHS: {1, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt1
  e2 = elt5
 LHS: {1, 2, 123456789}
 RHS: {1, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt1
  e2 = elt6
 LHS: {1, 2, 1123456789}
 RHS: {1, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt1
  e2 = elt7
 LHS: {1, 2, -171510507}
 RHS: {1, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt1
  e2 = elt8
 LHS: {1, 2, 56789}
 RHS: {1, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt1
  e2 = elt9
 LHS: {1, 2, 23456789}
 RHS: {1, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt1
  e2 = elt0
 LHS: {1, 2, 3456789}
 RHS: {1, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt2
  e2 = elt3
 LHS: {1, 2, 3}
 RHS: {1, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt2
  e2 = elt4
 LHS: {1, 2, 4}
 RHS: {1, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt2
  e2 = elt5
 LHS: {1, 2, 123456789}
 RHS: {1, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt2
  e2 = elt6
 LHS: {1, 2, 1123456789}
 RHS: {1, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt2
  e2 = elt7
 LHS: {1, 2, -171510507}
 RHS: {1, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt2
  e2 = elt8
 LHS: {1, 2, 56789}
 RHS: {1, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt2
  e2 = elt9
 LHS: {1, 2, 23456789}
 RHS: {1, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt2
  e2 = elt0
 LHS: {1, 2, 3456789}
 RHS: {1, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt3
  e2 = elt4
 LHS: {1, 2, 3, 4}
 RHS: {1, 2, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt3
  e2 = elt5
 LHS: {1, 2, 3, 123456789}
 RHS: {1, 2, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt3
  e2 = elt6
 LHS: {1, 2, 3, 1123456789}
 RHS: {1, 2, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt3
  e2 = elt7
 LHS: {1, 2, 3, -171510507}
 RHS: {1, 2, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt3
  e2 = elt8
 LHS: {1, 2, 3, 56789}
 RHS: {1, 2, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt3
  e2 = elt9
 LHS: {1, 2, 3, 23456789}
 RHS: {1, 2, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt3
  e2 = elt0
 LHS: {1, 2, 3, 3456789}
 RHS: {1, 2, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt4
  e2 = elt3
 LHS: {1, 2, 4, 3}
 RHS: {1, 2, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt4
  e2 = elt5
 LHS: {1, 2, 4, 123456789}
 RHS: {1, 2, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt4
  e2 = elt6
 LHS: {1, 2, 4, 1123456789}
 RHS: {1, 2, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt4
  e2 = elt7
 LHS: {1, 2, 4, -171510507}
 RHS: {1, 2, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt4
  e2 = elt8
 LHS: {1, 2, 4, 56789}
 RHS: {1, 2, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt4
  e2 = elt9
 LHS: {1, 2, 4, 23456789}
 RHS: {1, 2, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt4
  e2 = elt0
 LHS: {1, 2, 4, 3456789}
 RHS: {1, 2, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt5
  e2 = elt3
 LHS: {1, 2, 123456789, 3}
 RHS: {1, 2, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt5
  e2 = elt4
 LHS: {1, 2, 123456789, 4}
 RHS: {1, 2, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt5
  e2 = elt6
 LHS: {1, 2, 123456789, 1123456789}
 RHS: {1, 2, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt5
  e2 = elt7
 LHS: {1, 2, 123456789, -171510507}
 RHS: {1, 2, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt5
  e2 = elt8
 LHS: {1, 2, 123456789, 56789}
 RHS: {1, 2, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt5
  e2 = elt9
 LHS: {1, 2, 123456789, 23456789}
 RHS: {1, 2, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt5
  e2 = elt0
 LHS: {1, 2, 123456789, 3456789}
 RHS: {1, 2, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt6
  e2 = elt3
 LHS: {1, 2, 1123456789, 3}
 RHS: {1, 2, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt6
  e2 = elt4
 LHS: {1, 2, 1123456789, 4}
 RHS: {1, 2, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt6
  e2 = elt5
 LHS: {1, 2, 1123456789, 123456789}
 RHS: {1, 2, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt6
  e2 = elt7
 LHS: {1, 2, 1123456789, -171510507}
 RHS: {1, 2, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt6
  e2 = elt8
 LHS: {1, 2, 1123456789, 56789}
 RHS: {1, 2, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt6
  e2 = elt9
 LHS: {1, 2, 1123456789, 23456789}
 RHS: {1, 2, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt6
  e2 = elt0
 LHS: {1, 2, 1123456789, 3456789}
 RHS: {1, 2, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt7
  e2 = elt3
 LHS: {1, 2, -171510507, 3}
 RHS: {1, 2, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt7
  e2 = elt4
 LHS: {1, 2, -171510507, 4}
 RHS: {1, 2, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt7
  e2 = elt5
 LHS: {1, 2, -171510507, 123456789}
 RHS: {1, 2, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt7
  e2 = elt6
 LHS: {1, 2, -171510507, 1123456789}
 RHS: {1, 2, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt7
  e2 = elt8
 LHS: {1, 2, -171510507, 56789}
 RHS: {1, 2, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt7
  e2 = elt9
 LHS: {1, 2, -171510507, 23456789}
 RHS: {1, 2, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt7
  e2 = elt0
 LHS: {1, 2, -171510507, 3456789}
 RHS: {1, 2, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt8
  e2 = elt3
 LHS: {1, 2, 56789, 3}
 RHS: {1, 2, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt8
  e2 = elt4
 LHS: {1, 2, 56789, 4}
 RHS: {1, 2, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt8
  e2 = elt5
 LHS: {1, 2, 56789, 123456789}
 RHS: {1, 2, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt8
  e2 = elt6
 LHS: {1, 2, 56789, 1123456789}
 RHS: {1, 2, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt8
  e2 = elt7
 LHS: {1, 2, 56789, -171510507}
 RHS: {1, 2, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt8
  e2 = elt9
 LHS: {1, 2, 56789, 23456789}
 RHS: {1, 2, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt8
  e2 = elt0
 LHS: {1, 2, 56789, 3456789}
 RHS: {1, 2, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt9
  e2 = elt3
 LHS: {1, 2, 23456789, 3}
 RHS: {1, 2, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt9
  e2 = elt4
 LHS: {1, 2, 23456789, 4}
 RHS: {1, 2, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt9
  e2 = elt5
 LHS: {1, 2, 23456789, 123456789}
 RHS: {1, 2, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt9
  e2 = elt6
 LHS: {1, 2, 23456789, 1123456789}
 RHS: {1, 2, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt9
  e2 = elt7
 LHS: {1, 2, 23456789, -171510507}
 RHS: {1, 2, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt9
  e2 = elt8
 LHS: {1, 2, 23456789, 56789}
 RHS: {1, 2, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt9
  e2 = elt0
 LHS: {1, 2, 23456789, 3456789}
 RHS: {1, 2, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt0
  e2 = elt3
 LHS: {1, 2, 3456789, 3}
 RHS: {1, 2, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt0
  e2 = elt4
 LHS: {1, 2, 3456789, 4}
 RHS: {1, 2, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt0
  e2 = elt5
 LHS: {1, 2, 3456789, 123456789}
 RHS: {1, 2, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt0
  e2 = elt6
 LHS: {1, 2, 3456789, 1123456789}
 RHS: {1, 2, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt0
  e2 = elt7
 LHS: {1, 2, 3456789, -171510507}
 RHS: {1, 2, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt0
  e2 = elt8
 LHS: {1, 2, 3456789, 56789}
 RHS: {1, 2, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s3
  e1 = elt0
  e2 = elt9
 LHS: {1, 2, 3456789, 23456789}
 RHS: {1, 2, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt1
  e2 = elt2
 LHS: {1, 2}
 RHS: {1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt1
  e2 = elt3
 LHS: {1, 3}
 RHS: {1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt1
  e2 = elt4
 LHS: {1, 4}
 RHS: {1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt1
  e2 = elt5
 LHS: {1, 123456789}
 RHS: {1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt1
  e2 = elt6
 LHS: {1, 1123456789}
 RHS: {1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt1
  e2 = elt7
 LHS: {1, -171510507}
 RHS: {1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt1
  e2 = elt8
 LHS: {1, 56789}
 RHS: {1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt1
  e2 = elt9
 LHS: {1, 23456789}
 RHS: {1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt1
  e2 = elt0
 LHS: {1, 3456789}
 RHS: {1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt2
  e2 = elt3
 LHS: {1, 2, 3}
 RHS: {1, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt2
  e2 = elt4
 LHS: {1, 2, 4}
 RHS: {1, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt2
  e2 = elt5
 LHS: {1, 2, 123456789}
 RHS: {1, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt2
  e2 = elt6
 LHS: {1, 2, 1123456789}
 RHS: {1, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt2
  e2 = elt7
 LHS: {1, 2, -171510507}
 RHS: {1, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt2
  e2 = elt8
 LHS: {1, 2, 56789}
 RHS: {1, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt2
  e2 = elt9
 LHS: {1, 2, 23456789}
 RHS: {1, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt2
  e2 = elt0
 LHS: {1, 2, 3456789}
 RHS: {1, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt3
  e2 = elt2
 LHS: {1, 3, 2}
 RHS: {1, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt3
  e2 = elt4
 LHS: {1, 3, 4}
 RHS: {1, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt3
  e2 = elt5
 LHS: {1, 3, 123456789}
 RHS: {1, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt3
  e2 = elt6
 LHS: {1, 3, 1123456789}
 RHS: {1, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt3
  e2 = elt7
 LHS: {1, 3, -171510507}
 RHS: {1, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt3
  e2 = elt8
 LHS: {1, 3, 56789}
 RHS: {1, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt3
  e2 = elt9
 LHS: {1, 3, 23456789}
 RHS: {1, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt3
  e2 = elt0
 LHS: {1, 3, 3456789}
 RHS: {1, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt4
  e2 = elt2
 LHS: {1, 4, 2}
 RHS: {1, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt4
  e2 = elt3
 LHS: {1, 4, 3}
 RHS: {1, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt4
  e2 = elt5
 LHS: {1, 4, 123456789}
 RHS: {1, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt4
  e2 = elt6
 LHS: {1, 4, 1123456789}
 RHS: {1, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt4
  e2 = elt7
 LHS: {1, 4, -171510507}
 RHS: {1, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt4
  e2 = elt8
 LHS: {1, 4, 56789}
 RHS: {1, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt4
  e2 = elt9
 LHS: {1, 4, 23456789}
 RHS: {1, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt4
  e2 = elt0
 LHS: {1, 4, 3456789}
 RHS: {1, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt5
  e2 = elt2
 LHS: {1, 123456789, 2}
 RHS: {1, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt5
  e2 = elt3
 LHS: {1, 123456789, 3}
 RHS: {1, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt5
  e2 = elt4
 LHS: {1, 123456789, 4}
 RHS: {1, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt5
  e2 = elt6
 LHS: {1, 123456789, 1123456789}
 RHS: {1, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt5
  e2 = elt7
 LHS: {1, 123456789, -171510507}
 RHS: {1, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt5
  e2 = elt8
 LHS: {1, 123456789, 56789}
 RHS: {1, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt5
  e2 = elt9
 LHS: {1, 123456789, 23456789}
 RHS: {1, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt5
  e2 = elt0
 LHS: {1, 123456789, 3456789}
 RHS: {1, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt6
  e2 = elt2
 LHS: {1, 1123456789, 2}
 RHS: {1, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt6
  e2 = elt3
 LHS: {1, 1123456789, 3}
 RHS: {1, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt6
  e2 = elt4
 LHS: {1, 1123456789, 4}
 RHS: {1, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt6
  e2 = elt5
 LHS: {1, 1123456789, 123456789}
 RHS: {1, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt6
  e2 = elt7
 LHS: {1, 1123456789, -171510507}
 RHS: {1, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt6
  e2 = elt8
 LHS: {1, 1123456789, 56789}
 RHS: {1, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt6
  e2 = elt9
 LHS: {1, 1123456789, 23456789}
 RHS: {1, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt6
  e2 = elt0
 LHS: {1, 1123456789, 3456789}
 RHS: {1, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt7
  e2 = elt2
 LHS: {1, -171510507, 2}
 RHS: {1, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt7
  e2 = elt3
 LHS: {1, -171510507, 3}
 RHS: {1, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt7
  e2 = elt4
 LHS: {1, -171510507, 4}
 RHS: {1, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt7
  e2 = elt5
 LHS: {1, -171510507, 123456789}
 RHS: {1, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt7
  e2 = elt6
 LHS: {1, -171510507, 1123456789}
 RHS: {1, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt7
  e2 = elt8
 LHS: {1, -171510507, 56789}
 RHS: {1, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt7
  e2 = elt9
 LHS: {1, -171510507, 23456789}
 RHS: {1, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt7
  e2 = elt0
 LHS: {1, -171510507, 3456789}
 RHS: {1, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt8
  e2 = elt2
 LHS: {1, 56789, 2}
 RHS: {1, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt8
  e2 = elt3
 LHS: {1, 56789, 3}
 RHS: {1, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt8
  e2 = elt4
 LHS: {1, 56789, 4}
 RHS: {1, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt8
  e2 = elt5
 LHS: {1, 56789, 123456789}
 RHS: {1, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt8
  e2 = elt6
 LHS: {1, 56789, 1123456789}
 RHS: {1, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt8
  e2 = elt7
 LHS: {1, 56789, -171510507}
 RHS: {1, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt8
  e2 = elt9
 LHS: {1, 56789, 23456789}
 RHS: {1, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt8
  e2 = elt0
 LHS: {1, 56789, 3456789}
 RHS: {1, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt9
  e2 = elt2
 LHS: {1, 23456789, 2}
 RHS: {1, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt9
  e2 = elt3
 LHS: {1, 23456789, 3}
 RHS: {1, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt9
  e2 = elt4
 LHS: {1, 23456789, 4}
 RHS: {1, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt9
  e2 = elt5
 LHS: {1, 23456789, 123456789}
 RHS: {1, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt9
  e2 = elt6
 LHS: {1, 23456789, 1123456789}
 RHS: {1, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt9
  e2 = elt7
 LHS: {1, 23456789, -171510507}
 RHS: {1, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt9
  e2 = elt8
 LHS: {1, 23456789, 56789}
 RHS: {1, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt9
  e2 = elt0
 LHS: {1, 23456789, 3456789}
 RHS: {1, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt0
  e2 = elt2
 LHS: {1, 3456789, 2}
 RHS: {1, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt0
  e2 = elt3
 LHS: {1, 3456789, 3}
 RHS: {1, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt0
  e2 = elt4
 LHS: {1, 3456789, 4}
 RHS: {1, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt0
  e2 = elt5
 LHS: {1, 3456789, 123456789}
 RHS: {1, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt0
  e2 = elt6
 LHS: {1, 3456789, 1123456789}
 RHS: {1, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt0
  e2 = elt7
 LHS: {1, 3456789, -171510507}
 RHS: {1, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt0
  e2 = elt8
 LHS: {1, 3456789, 56789}
 RHS: {1, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s4
  e1 = elt0
  e2 = elt9
 LHS: {1, 3456789, 23456789}
 RHS: {1, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt1
  e2 = elt3
 LHS: {1, 2, 3}
 RHS: {1, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt1
  e2 = elt4
 LHS: {1, 2, 4}
 RHS: {1, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt1
  e2 = elt5
 LHS: {1, 2, 123456789}
 RHS: {1, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt1
  e2 = elt6
 LHS: {1, 2, 1123456789}
 RHS: {1, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt1
  e2 = elt7
 LHS: {1, 2, -171510507}
 RHS: {1, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt1
  e2 = elt8
 LHS: {1, 2, 56789}
 RHS: {1, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt1
  e2 = elt9
 LHS: {1, 2, 23456789}
 RHS: {1, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt1
  e2 = elt0
 LHS: {1, 2, 3456789}
 RHS: {1, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt2
  e2 = elt3
 LHS: {1, 2, 3}
 RHS: {1, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt2
  e2 = elt4
 LHS: {1, 2, 4}
 RHS: {1, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt2
  e2 = elt5
 LHS: {1, 2, 123456789}
 RHS: {1, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt2
  e2 = elt6
 LHS: {1, 2, 1123456789}
 RHS: {1, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt2
  e2 = elt7
 LHS: {1, 2, -171510507}
 RHS: {1, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt2
  e2 = elt8
 LHS: {1, 2, 56789}
 RHS: {1, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt2
  e2 = elt9
 LHS: {1, 2, 23456789}
 RHS: {1, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt2
  e2 = elt0
 LHS: {1, 2, 3456789}
 RHS: {1, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt3
  e2 = elt4
 LHS: {1, 2, 3, 4}
 RHS: {1, 2, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt3
  e2 = elt5
 LHS: {1, 2, 3, 123456789}
 RHS: {1, 2, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt3
  e2 = elt6
 LHS: {1, 2, 3, 1123456789}
 RHS: {1, 2, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt3
  e2 = elt7
 LHS: {1, 2, 3, -171510507}
 RHS: {1, 2, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt3
  e2 = elt8
 LHS: {1, 2, 3, 56789}
 RHS: {1, 2, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt3
  e2 = elt9
 LHS: {1, 2, 3, 23456789}
 RHS: {1, 2, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt3
  e2 = elt0
 LHS: {1, 2, 3, 3456789}
 RHS: {1, 2, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt4
  e2 = elt3
 LHS: {1, 2, 4, 3}
 RHS: {1, 2, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt4
  e2 = elt5
 LHS: {1, 2, 4, 123456789}
 RHS: {1, 2, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt4
  e2 = elt6
 LHS: {1, 2, 4, 1123456789}
 RHS: {1, 2, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt4
  e2 = elt7
 LHS: {1, 2, 4, -171510507}
 RHS: {1, 2, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt4
  e2 = elt8
 LHS: {1, 2, 4, 56789}
 RHS: {1, 2, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt4
  e2 = elt9
 LHS: {1, 2, 4, 23456789}
 RHS: {1, 2, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt4
  e2 = elt0
 LHS: {1, 2, 4, 3456789}
 RHS: {1, 2, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt5
  e2 = elt3
 LHS: {1, 2, 123456789, 3}
 RHS: {1, 2, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt5
  e2 = elt4
 LHS: {1, 2, 123456789, 4}
 RHS: {1, 2, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt5
  e2 = elt6
 LHS: {1, 2, 123456789, 1123456789}
 RHS: {1, 2, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt5
  e2 = elt7
 LHS: {1, 2, 123456789, -171510507}
 RHS: {1, 2, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt5
  e2 = elt8
 LHS: {1, 2, 123456789, 56789}
 RHS: {1, 2, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt5
  e2 = elt9
 LHS: {1, 2, 123456789, 23456789}
 RHS: {1, 2, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt5
  e2 = elt0
 LHS: {1, 2, 123456789, 3456789}
 RHS: {1, 2, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt6
  e2 = elt3
 LHS: {1, 2, 1123456789, 3}
 RHS: {1, 2, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt6
  e2 = elt4
 LHS: {1, 2, 1123456789, 4}
 RHS: {1, 2, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt6
  e2 = elt5
 LHS: {1, 2, 1123456789, 123456789}
 RHS: {1, 2, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt6
  e2 = elt7
 LHS: {1, 2, 1123456789, -171510507}
 RHS: {1, 2, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt6
  e2 = elt8
 LHS: {1, 2, 1123456789, 56789}
 RHS: {1, 2, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt6
  e2 = elt9
 LHS: {1, 2, 1123456789, 23456789}
 RHS: {1, 2, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt6
  e2 = elt0
 LHS: {1, 2, 1123456789, 3456789}
 RHS: {1, 2, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt7
  e2 = elt3
 LHS: {1, 2, -171510507, 3}
 RHS: {1, 2, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt7
  e2 = elt4
 LHS: {1, 2, -171510507, 4}
 RHS: {1, 2, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt7
  e2 = elt5
 LHS: {1, 2, -171510507, 123456789}
 RHS: {1, 2, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt7
  e2 = elt6
 LHS: {1, 2, -171510507, 1123456789}
 RHS: {1, 2, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt7
  e2 = elt8
 LHS: {1, 2, -171510507, 56789}
 RHS: {1, 2, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt7
  e2 = elt9
 LHS: {1, 2, -171510507, 23456789}
 RHS: {1, 2, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt7
  e2 = elt0
 LHS: {1, 2, -171510507, 3456789}
 RHS: {1, 2, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt8
  e2 = elt3
 LHS: {1, 2, 56789, 3}
 RHS: {1, 2, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt8
  e2 = elt4
 LHS: {1, 2, 56789, 4}
 RHS: {1, 2, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt8
  e2 = elt5
 LHS: {1, 2, 56789, 123456789}
 RHS: {1, 2, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt8
  e2 = elt6
 LHS: {1, 2, 56789, 1123456789}
 RHS: {1, 2, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt8
  e2 = elt7
 LHS: {1, 2, 56789, -171510507}
 RHS: {1, 2, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt8
  e2 = elt9
 LHS: {1, 2, 56789, 23456789}
 RHS: {1, 2, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt8
  e2 = elt0
 LHS: {1, 2, 56789, 3456789}
 RHS: {1, 2, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt9
  e2 = elt3
 LHS: {1, 2, 23456789, 3}
 RHS: {1, 2, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt9
  e2 = elt4
 LHS: {1, 2, 23456789, 4}
 RHS: {1, 2, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt9
  e2 = elt5
 LHS: {1, 2, 23456789, 123456789}
 RHS: {1, 2, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt9
  e2 = elt6
 LHS: {1, 2, 23456789, 1123456789}
 RHS: {1, 2, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt9
  e2 = elt7
 LHS: {1, 2, 23456789, -171510507}
 RHS: {1, 2, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt9
  e2 = elt8
 LHS: {1, 2, 23456789, 56789}
 RHS: {1, 2, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt9
  e2 = elt0
 LHS: {1, 2, 23456789, 3456789}
 RHS: {1, 2, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt0
  e2 = elt3
 LHS: {1, 2, 3456789, 3}
 RHS: {1, 2, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt0
  e2 = elt4
 LHS: {1, 2, 3456789, 4}
 RHS: {1, 2, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt0
  e2 = elt5
 LHS: {1, 2, 3456789, 123456789}
 RHS: {1, 2, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt0
  e2 = elt6
 LHS: {1, 2, 3456789, 1123456789}
 RHS: {1, 2, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt0
  e2 = elt7
 LHS: {1, 2, 3456789, -171510507}
 RHS: {1, 2, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt0
  e2 = elt8
 LHS: {1, 2, 3456789, 56789}
 RHS: {1, 2, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s5
  e1 = elt0
  e2 = elt9
 LHS: {1, 2, 3456789, 23456789}
 RHS: {1, 2, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt1
  e2 = elt3
 LHS: {1, 2, 7, 9, 12, 3}
 RHS: {1, 2, 7, 9, 12}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt1
  e2 = elt4
 LHS: {1, 2, 7, 9, 12, 4}
 RHS: {1, 2, 7, 9, 12}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt1
  e2 = elt5
 LHS: {1, 2, 7, 9, 12, 123456789}
 RHS: {1, 2, 7, 9, 12}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt1
  e2 = elt6
 LHS: {1, 2, 7, 9, 12, 1123456789}
 RHS: {1, 2, 7, 9, 12}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt1
  e2 = elt7
 LHS: {1, 2, 7, 9, 12, -171510507}
 RHS: {1, 2, 7, 9, 12}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt1
  e2 = elt8
 LHS: {1, 2, 7, 9, 12, 56789}
 RHS: {1, 2, 7, 9, 12}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt1
  e2 = elt9
 LHS: {1, 2, 7, 9, 12, 23456789}
 RHS: {1, 2, 7, 9, 12}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt1
  e2 = elt0
 LHS: {1, 2, 7, 9, 12, 3456789}
 RHS: {1, 2, 7, 9, 12}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt2
  e2 = elt3
 LHS: {1, 2, 7, 9, 12, 3}
 RHS: {1, 2, 7, 9, 12}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt2
  e2 = elt4
 LHS: {1, 2, 7, 9, 12, 4}
 RHS: {1, 2, 7, 9, 12}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt2
  e2 = elt5
 LHS: {1, 2, 7, 9, 12, 123456789}
 RHS: {1, 2, 7, 9, 12}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt2
  e2 = elt6
 LHS: {1, 2, 7, 9, 12, 1123456789}
 RHS: {1, 2, 7, 9, 12}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt2
  e2 = elt7
 LHS: {1, 2, 7, 9, 12, -171510507}
 RHS: {1, 2, 7, 9, 12}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt2
  e2 = elt8
 LHS: {1, 2, 7, 9, 12, 56789}
 RHS: {1, 2, 7, 9, 12}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt2
  e2 = elt9
 LHS: {1, 2, 7, 9, 12, 23456789}
 RHS: {1, 2, 7, 9, 12}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt2
  e2 = elt0
 LHS: {1, 2, 7, 9, 12, 3456789}
 RHS: {1, 2, 7, 9, 12}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt3
  e2 = elt4
 LHS: {1, 2, 7, 9, 12, 3, 4}
 RHS: {1, 2, 7, 9, 12, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt3
  e2 = elt5
 LHS: {1, 2, 7, 9, 12, 3, 123456789}
 RHS: {1, 2, 7, 9, 12, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt3
  e2 = elt6
 LHS: {1, 2, 7, 9, 12, 3, 1123456789}
 RHS: {1, 2, 7, 9, 12, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt3
  e2 = elt7
 LHS: {1, 2, 7, 9, 12, 3, -171510507}
 RHS: {1, 2, 7, 9, 12, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt3
  e2 = elt8
 LHS: {1, 2, 7, 9, 12, 3, 56789}
 RHS: {1, 2, 7, 9, 12, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt3
  e2 = elt9
 LHS: {1, 2, 7, 9, 12, 3, 23456789}
 RHS: {1, 2, 7, 9, 12, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt3
  e2 = elt0
 LHS: {1, 2, 7, 9, 12, 3, 3456789}
 RHS: {1, 2, 7, 9, 12, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt4
  e2 = elt3
 LHS: {1, 2, 7, 9, 12, 4, 3}
 RHS: {1, 2, 7, 9, 12, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt4
  e2 = elt5
 LHS: {1, 2, 7, 9, 12, 4, 123456789}
 RHS: {1, 2, 7, 9, 12, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt4
  e2 = elt6
 LHS: {1, 2, 7, 9, 12, 4, 1123456789}
 RHS: {1, 2, 7, 9, 12, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt4
  e2 = elt7
 LHS: {1, 2, 7, 9, 12, 4, -171510507}
 RHS: {1, 2, 7, 9, 12, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt4
  e2 = elt8
 LHS: {1, 2, 7, 9, 12, 4, 56789}
 RHS: {1, 2, 7, 9, 12, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt4
  e2 = elt9
 LHS: {1, 2, 7, 9, 12, 4, 23456789}
 RHS: {1, 2, 7, 9, 12, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt4
  e2 = elt0
 LHS: {1, 2, 7, 9, 12, 4, 3456789}
 RHS: {1, 2, 7, 9, 12, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt5
  e2 = elt3
 LHS: {1, 2, 7, 9, 12, 123456789, 3}
 RHS: {1, 2, 7, 9, 12, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt5
  e2 = elt4
 LHS: {1, 2, 7, 9, 12, 123456789, 4}
 RHS: {1, 2, 7, 9, 12, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt5
  e2 = elt6
 LHS: {1, 2, 7, 9, 12, 123456789, 1123456789}
 RHS: {1, 2, 7, 9, 12, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt5
  e2 = elt7
 LHS: {1, 2, 7, 9, 12, 123456789, -171510507}
 RHS: {1, 2, 7, 9, 12, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt5
  e2 = elt8
 LHS: {1, 2, 7, 9, 12, 123456789, 56789}
 RHS: {1, 2, 7, 9, 12, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt5
  e2 = elt9
 LHS: {1, 2, 7, 9, 12, 123456789, 23456789}
 RHS: {1, 2, 7, 9, 12, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt5
  e2 = elt0
 LHS: {1, 2, 7, 9, 12, 123456789, 3456789}
 RHS: {1, 2, 7, 9, 12, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt6
  e2 = elt3
 LHS: {1, 2, 7, 9, 12, 1123456789, 3}
 RHS: {1, 2, 7, 9, 12, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt6
  e2 = elt4
 LHS: {1, 2, 7, 9, 12, 1123456789, 4}
 RHS: {1, 2, 7, 9, 12, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt6
  e2 = elt5
 LHS: {1, 2, 7, 9, 12, 1123456789, 123456789}
 RHS: {1, 2, 7, 9, 12, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt6
  e2 = elt7
 LHS: {1, 2, 7, 9, 12, 1123456789, -171510507}
 RHS: {1, 2, 7, 9, 12, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt6
  e2 = elt8
 LHS: {1, 2, 7, 9, 12, 1123456789, 56789}
 RHS: {1, 2, 7, 9, 12, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt6
  e2 = elt9
 LHS: {1, 2, 7, 9, 12, 1123456789, 23456789}
 RHS: {1, 2, 7, 9, 12, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt6
  e2 = elt0
 LHS: {1, 2, 7, 9, 12, 1123456789, 3456789}
 RHS: {1, 2, 7, 9, 12, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt7
  e2 = elt3
 LHS: {1, 2, 7, 9, 12, -171510507, 3}
 RHS: {1, 2, 7, 9, 12, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt7
  e2 = elt4
 LHS: {1, 2, 7, 9, 12, -171510507, 4}
 RHS: {1, 2, 7, 9, 12, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt7
  e2 = elt5
 LHS: {1, 2, 7, 9, 12, -171510507, 123456789}
 RHS: {1, 2, 7, 9, 12, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt7
  e2 = elt6
 LHS: {1, 2, 7, 9, 12, -171510507, 1123456789}
 RHS: {1, 2, 7, 9, 12, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt7
  e2 = elt8
 LHS: {1, 2, 7, 9, 12, -171510507, 56789}
 RHS: {1, 2, 7, 9, 12, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt7
  e2 = elt9
 LHS: {1, 2, 7, 9, 12, -171510507, 23456789}
 RHS: {1, 2, 7, 9, 12, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt7
  e2 = elt0
 LHS: {1, 2, 7, 9, 12, -171510507, 3456789}
 RHS: {1, 2, 7, 9, 12, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt8
  e2 = elt3
 LHS: {1, 2, 7, 9, 12, 56789, 3}
 RHS: {1, 2, 7, 9, 12, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt8
  e2 = elt4
 LHS: {1, 2, 7, 9, 12, 56789, 4}
 RHS: {1, 2, 7, 9, 12, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt8
  e2 = elt5
 LHS: {1, 2, 7, 9, 12, 56789, 123456789}
 RHS: {1, 2, 7, 9, 12, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt8
  e2 = elt6
 LHS: {1, 2, 7, 9, 12, 56789, 1123456789}
 RHS: {1, 2, 7, 9, 12, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt8
  e2 = elt7
 LHS: {1, 2, 7, 9, 12, 56789, -171510507}
 RHS: {1, 2, 7, 9, 12, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt8
  e2 = elt9
 LHS: {1, 2, 7, 9, 12, 56789, 23456789}
 RHS: {1, 2, 7, 9, 12, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt8
  e2 = elt0
 LHS: {1, 2, 7, 9, 12, 56789, 3456789}
 RHS: {1, 2, 7, 9, 12, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt9
  e2 = elt3
 LHS: {1, 2, 7, 9, 12, 23456789, 3}
 RHS: {1, 2, 7, 9, 12, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt9
  e2 = elt4
 LHS: {1, 2, 7, 9, 12, 23456789, 4}
 RHS: {1, 2, 7, 9, 12, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt9
  e2 = elt5
 LHS: {1, 2, 7, 9, 12, 23456789, 123456789}
 RHS: {1, 2, 7, 9, 12, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt9
  e2 = elt6
 LHS: {1, 2, 7, 9, 12, 23456789, 1123456789}
 RHS: {1, 2, 7, 9, 12, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt9
  e2 = elt7
 LHS: {1, 2, 7, 9, 12, 23456789, -171510507}
 RHS: {1, 2, 7, 9, 12, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt9
  e2 = elt8
 LHS: {1, 2, 7, 9, 12, 23456789, 56789}
 RHS: {1, 2, 7, 9, 12, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt9
  e2 = elt0
 LHS: {1, 2, 7, 9, 12, 23456789, 3456789}
 RHS: {1, 2, 7, 9, 12, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt0
  e2 = elt3
 LHS: {1, 2, 7, 9, 12, 3456789, 3}
 RHS: {1, 2, 7, 9, 12, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt0
  e2 = elt4
 LHS: {1, 2, 7, 9, 12, 3456789, 4}
 RHS: {1, 2, 7, 9, 12, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt0
  e2 = elt5
 LHS: {1, 2, 7, 9, 12, 3456789, 123456789}
 RHS: {1, 2, 7, 9, 12, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt0
  e2 = elt6
 LHS: {1, 2, 7, 9, 12, 3456789, 1123456789}
 RHS: {1, 2, 7, 9, 12, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt0
  e2 = elt7
 LHS: {1, 2, 7, 9, 12, 3456789, -171510507}
 RHS: {1, 2, 7, 9, 12, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt0
  e2 = elt8
 LHS: {1, 2, 7, 9, 12, 3456789, 56789}
 RHS: {1, 2, 7, 9, 12, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s6
  e1 = elt0
  e2 = elt9
 LHS: {1, 2, 7, 9, 12, 3456789, 23456789}
 RHS: {1, 2, 7, 9, 12, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt1
  e2 = elt3
 LHS: {1, 2, 7, 9, 12, 123456789, 3}
 RHS: {1, 2, 7, 9, 12, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt1
  e2 = elt4
 LHS: {1, 2, 7, 9, 12, 123456789, 4}
 RHS: {1, 2, 7, 9, 12, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt1
  e2 = elt6
 LHS: {1, 2, 7, 9, 12, 123456789, 1123456789}
 RHS: {1, 2, 7, 9, 12, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt1
  e2 = elt7
 LHS: {1, 2, 7, 9, 12, 123456789, -171510507}
 RHS: {1, 2, 7, 9, 12, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt1
  e2 = elt8
 LHS: {1, 2, 7, 9, 12, 123456789, 56789}
 RHS: {1, 2, 7, 9, 12, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt1
  e2 = elt9
 LHS: {1, 2, 7, 9, 12, 123456789, 23456789}
 RHS: {1, 2, 7, 9, 12, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt1
  e2 = elt0
 LHS: {1, 2, 7, 9, 12, 123456789, 3456789}
 RHS: {1, 2, 7, 9, 12, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt2
  e2 = elt3
 LHS: {1, 2, 7, 9, 12, 123456789, 3}
 RHS: {1, 2, 7, 9, 12, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt2
  e2 = elt4
 LHS: {1, 2, 7, 9, 12, 123456789, 4}
 RHS: {1, 2, 7, 9, 12, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt2
  e2 = elt6
 LHS: {1, 2, 7, 9, 12, 123456789, 1123456789}
 RHS: {1, 2, 7, 9, 12, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt2
  e2 = elt7
 LHS: {1, 2, 7, 9, 12, 123456789, -171510507}
 RHS: {1, 2, 7, 9, 12, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt2
  e2 = elt8
 LHS: {1, 2, 7, 9, 12, 123456789, 56789}
 RHS: {1, 2, 7, 9, 12, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt2
  e2 = elt9
 LHS: {1, 2, 7, 9, 12, 123456789, 23456789}
 RHS: {1, 2, 7, 9, 12, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt2
  e2 = elt0
 LHS: {1, 2, 7, 9, 12, 123456789, 3456789}
 RHS: {1, 2, 7, 9, 12, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt3
  e2 = elt4
 LHS: {1, 2, 7, 9, 12, 123456789, 3, 4}
 RHS: {1, 2, 7, 9, 12, 123456789, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt3
  e2 = elt6
 LHS: {1, 2, 7, 9, 12, 123456789, 3, 1123456789}
 RHS: {1, 2, 7, 9, 12, 123456789, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt3
  e2 = elt7
 LHS: {1, 2, 7, 9, 12, 123456789, 3, -171510507}
 RHS: {1, 2, 7, 9, 12, 123456789, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt3
  e2 = elt8
 LHS: {1, 2, 7, 9, 12, 123456789, 3, 56789}
 RHS: {1, 2, 7, 9, 12, 123456789, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt3
  e2 = elt9
 LHS: {1, 2, 7, 9, 12, 123456789, 3, 23456789}
 RHS: {1, 2, 7, 9, 12, 123456789, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt3
  e2 = elt0
 LHS: {1, 2, 7, 9, 12, 123456789, 3, 3456789}
 RHS: {1, 2, 7, 9, 12, 123456789, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt4
  e2 = elt3
 LHS: {1, 2, 7, 9, 12, 123456789, 4, 3}
 RHS: {1, 2, 7, 9, 12, 123456789, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt4
  e2 = elt6
 LHS: {1, 2, 7, 9, 12, 123456789, 4, 1123456789}
 RHS: {1, 2, 7, 9, 12, 123456789, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt4
  e2 = elt7
 LHS: {1, 2, 7, 9, 12, 123456789, 4, -171510507}
 RHS: {1, 2, 7, 9, 12, 123456789, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt4
  e2 = elt8
 LHS: {1, 2, 7, 9, 12, 123456789, 4, 56789}
 RHS: {1, 2, 7, 9, 12, 123456789, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt4
  e2 = elt9
 LHS: {1, 2, 7, 9, 12, 123456789, 4, 23456789}
 RHS: {1, 2, 7, 9, 12, 123456789, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt4
  e2 = elt0
 LHS: {1, 2, 7, 9, 12, 123456789, 4, 3456789}
 RHS: {1, 2, 7, 9, 12, 123456789, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt5
  e2 = elt3
 LHS: {1, 2, 7, 9, 12, 123456789, 3}
 RHS: {1, 2, 7, 9, 12, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt5
  e2 = elt4
 LHS: {1, 2, 7, 9, 12, 123456789, 4}
 RHS: {1, 2, 7, 9, 12, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt5
  e2 = elt6
 LHS: {1, 2, 7, 9, 12, 123456789, 1123456789}
 RHS: {1, 2, 7, 9, 12, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt5
  e2 = elt7
 LHS: {1, 2, 7, 9, 12, 123456789, -171510507}
 RHS: {1, 2, 7, 9, 12, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt5
  e2 = elt8
 LHS: {1, 2, 7, 9, 12, 123456789, 56789}
 RHS: {1, 2, 7, 9, 12, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt5
  e2 = elt9
 LHS: {1, 2, 7, 9, 12, 123456789, 23456789}
 RHS: {1, 2, 7, 9, 12, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt5
  e2 = elt0
 LHS: {1, 2, 7, 9, 12, 123456789, 3456789}
 RHS: {1, 2, 7, 9, 12, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt6
  e2 = elt3
 LHS: {1, 2, 7, 9, 12, 123456789, 1123456789, 3}
 RHS: {1, 2, 7, 9, 12, 123456789, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt6
  e2 = elt4
 LHS: {1, 2, 7, 9, 12, 123456789, 1123456789, 4}
 RHS: {1, 2, 7, 9, 12, 123456789, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt6
  e2 = elt7
 LHS: {1, 2, 7, 9, 12, 123456789, 1123456789, -171510507}
 RHS: {1, 2, 7, 9, 12, 123456789, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt6
  e2 = elt8
 LHS: {1, 2, 7, 9, 12, 123456789, 1123456789, 56789}
 RHS: {1, 2, 7, 9, 12, 123456789, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt6
  e2 = elt9
 LHS: {1, 2, 7, 9, 12, 123456789, 1123456789, 23456789}
 RHS: {1, 2, 7, 9, 12, 123456789, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt6
  e2 = elt0
 LHS: {1, 2, 7, 9, 12, 123456789, 1123456789, 3456789}
 RHS: {1, 2, 7, 9, 12, 123456789, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt7
  e2 = elt3
 LHS: {1, 2, 7, 9, 12, 123456789, -171510507, 3}
 RHS: {1, 2, 7, 9, 12, 123456789, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt7
  e2 = elt4
 LHS: {1, 2, 7, 9, 12, 123456789, -171510507, 4}
 RHS: {1, 2, 7, 9, 12, 123456789, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt7
  e2 = elt6
 LHS: {1, 2, 7, 9, 12, 123456789, -171510507, 1123456789}
 RHS: {1, 2, 7, 9, 12, 123456789, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt7
  e2 = elt8
 LHS: {1, 2, 7, 9, 12, 123456789, -171510507, 56789}
 RHS: {1, 2, 7, 9, 12, 123456789, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt7
  e2 = elt9
 LHS: {1, 2, 7, 9, 12, 123456789, -171510507, 23456789}
 RHS: {1, 2, 7, 9, 12, 123456789, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt7
  e2 = elt0
 LHS: {1, 2, 7, 9, 12, 123456789, -171510507, 3456789}
 RHS: {1, 2, 7, 9, 12, 123456789, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt8
  e2 = elt3
 LHS: {1, 2, 7, 9, 12, 123456789, 56789, 3}
 RHS: {1, 2, 7, 9, 12, 123456789, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt8
  e2 = elt4
 LHS: {1, 2, 7, 9, 12, 123456789, 56789, 4}
 RHS: {1, 2, 7, 9, 12, 123456789, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt8
  e2 = elt6
 LHS: {1, 2, 7, 9, 12, 123456789, 56789, 1123456789}
 RHS: {1, 2, 7, 9, 12, 123456789, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt8
  e2 = elt7
 LHS: {1, 2, 7, 9, 12, 123456789, 56789, -171510507}
 RHS: {1, 2, 7, 9, 12, 123456789, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt8
  e2 = elt9
 LHS: {1, 2, 7, 9, 12, 123456789, 56789, 23456789}
 RHS: {1, 2, 7, 9, 12, 123456789, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt8
  e2 = elt0
 LHS: {1, 2, 7, 9, 12, 123456789, 56789, 3456789}
 RHS: {1, 2, 7, 9, 12, 123456789, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt9
  e2 = elt3
 LHS: {1, 2, 7, 9, 12, 123456789, 23456789, 3}
 RHS: {1, 2, 7, 9, 12, 123456789, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt9
  e2 = elt4
 LHS: {1, 2, 7, 9, 12, 123456789, 23456789, 4}
 RHS: {1, 2, 7, 9, 12, 123456789, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt9
  e2 = elt6
 LHS: {1, 2, 7, 9, 12, 123456789, 23456789, 1123456789}
 RHS: {1, 2, 7, 9, 12, 123456789, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt9
  e2 = elt7
 LHS: {1, 2, 7, 9, 12, 123456789, 23456789, -171510507}
 RHS: {1, 2, 7, 9, 12, 123456789, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt9
  e2 = elt8
 LHS: {1, 2, 7, 9, 12, 123456789, 23456789, 56789}
 RHS: {1, 2, 7, 9, 12, 123456789, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt9
  e2 = elt0
 LHS: {1, 2, 7, 9, 12, 123456789, 23456789, 3456789}
 RHS: {1, 2, 7, 9, 12, 123456789, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt0
  e2 = elt3
 LHS: {1, 2, 7, 9, 12, 123456789, 3456789, 3}
 RHS: {1, 2, 7, 9, 12, 123456789, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt0
  e2 = elt4
 LHS: {1, 2, 7, 9, 12, 123456789, 3456789, 4}
 RHS: {1, 2, 7, 9, 12, 123456789, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt0
  e2 = elt6
 LHS: {1, 2, 7, 9, 12, 123456789, 3456789, 1123456789}
 RHS: {1, 2, 7, 9, 12, 123456789, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt0
  e2 = elt7
 LHS: {1, 2, 7, 9, 12, 123456789, 3456789, -171510507}
 RHS: {1, 2, 7, 9, 12, 123456789, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt0
  e2 = elt8
 LHS: {1, 2, 7, 9, 12, 123456789, 3456789, 56789}
 RHS: {1, 2, 7, 9, 12, 123456789, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s7
  e1 = elt0
  e2 = elt9
 LHS: {1, 2, 7, 9, 12, 123456789, 3456789, 23456789}
 RHS: {1, 2, 7, 9, 12, 123456789, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt1
  e2 = elt3
 LHS: {1, 2, 9, 12, 3}
 RHS: {1, 2, 9, 12}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt1
  e2 = elt4
 LHS: {1, 2, 9, 12, 4}
 RHS: {1, 2, 9, 12}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt1
  e2 = elt5
 LHS: {1, 2, 9, 12, 123456789}
 RHS: {1, 2, 9, 12}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt1
  e2 = elt6
 LHS: {1, 2, 9, 12, 1123456789}
 RHS: {1, 2, 9, 12}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt1
  e2 = elt7
 LHS: {1, 2, 9, 12, -171510507}
 RHS: {1, 2, 9, 12}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt1
  e2 = elt8
 LHS: {1, 2, 9, 12, 56789}
 RHS: {1, 2, 9, 12}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt1
  e2 = elt9
 LHS: {1, 2, 9, 12, 23456789}
 RHS: {1, 2, 9, 12}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt1
  e2 = elt0
 LHS: {1, 2, 9, 12, 3456789}
 RHS: {1, 2, 9, 12}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt2
  e2 = elt3
 LHS: {1, 2, 9, 12, 3}
 RHS: {1, 2, 9, 12}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt2
  e2 = elt4
 LHS: {1, 2, 9, 12, 4}
 RHS: {1, 2, 9, 12}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt2
  e2 = elt5
 LHS: {1, 2, 9, 12, 123456789}
 RHS: {1, 2, 9, 12}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt2
  e2 = elt6
 LHS: {1, 2, 9, 12, 1123456789}
 RHS: {1, 2, 9, 12}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt2
  e2 = elt7
 LHS: {1, 2, 9, 12, -171510507}
 RHS: {1, 2, 9, 12}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt2
  e2 = elt8
 LHS: {1, 2, 9, 12, 56789}
 RHS: {1, 2, 9, 12}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt2
  e2 = elt9
 LHS: {1, 2, 9, 12, 23456789}
 RHS: {1, 2, 9, 12}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt2
  e2 = elt0
 LHS: {1, 2, 9, 12, 3456789}
 RHS: {1, 2, 9, 12}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt3
  e2 = elt4
 LHS: {1, 2, 9, 12, 3, 4}
 RHS: {1, 2, 9, 12, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt3
  e2 = elt5
 LHS: {1, 2, 9, 12, 3, 123456789}
 RHS: {1, 2, 9, 12, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt3
  e2 = elt6
 LHS: {1, 2, 9, 12, 3, 1123456789}
 RHS: {1, 2, 9, 12, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt3
  e2 = elt7
 LHS: {1, 2, 9, 12, 3, -171510507}
 RHS: {1, 2, 9, 12, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt3
  e2 = elt8
 LHS: {1, 2, 9, 12, 3, 56789}
 RHS: {1, 2, 9, 12, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt3
  e2 = elt9
 LHS: {1, 2, 9, 12, 3, 23456789}
 RHS: {1, 2, 9, 12, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt3
  e2 = elt0
 LHS: {1, 2, 9, 12, 3, 3456789}
 RHS: {1, 2, 9, 12, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt4
  e2 = elt3
 LHS: {1, 2, 9, 12, 4, 3}
 RHS: {1, 2, 9, 12, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt4
  e2 = elt5
 LHS: {1, 2, 9, 12, 4, 123456789}
 RHS: {1, 2, 9, 12, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt4
  e2 = elt6
 LHS: {1, 2, 9, 12, 4, 1123456789}
 RHS: {1, 2, 9, 12, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt4
  e2 = elt7
 LHS: {1, 2, 9, 12, 4, -171510507}
 RHS: {1, 2, 9, 12, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt4
  e2 = elt8
 LHS: {1, 2, 9, 12, 4, 56789}
 RHS: {1, 2, 9, 12, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt4
  e2 = elt9
 LHS: {1, 2, 9, 12, 4, 23456789}
 RHS: {1, 2, 9, 12, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt4
  e2 = elt0
 LHS: {1, 2, 9, 12, 4, 3456789}
 RHS: {1, 2, 9, 12, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt5
  e2 = elt3
 LHS: {1, 2, 9, 12, 123456789, 3}
 RHS: {1, 2, 9, 12, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt5
  e2 = elt4
 LHS: {1, 2, 9, 12, 123456789, 4}
 RHS: {1, 2, 9, 12, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt5
  e2 = elt6
 LHS: {1, 2, 9, 12, 123456789, 1123456789}
 RHS: {1, 2, 9, 12, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt5
  e2 = elt7
 LHS: {1, 2, 9, 12, 123456789, -171510507}
 RHS: {1, 2, 9, 12, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt5
  e2 = elt8
 LHS: {1, 2, 9, 12, 123456789, 56789}
 RHS: {1, 2, 9, 12, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt5
  e2 = elt9
 LHS: {1, 2, 9, 12, 123456789, 23456789}
 RHS: {1, 2, 9, 12, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt5
  e2 = elt0
 LHS: {1, 2, 9, 12, 123456789, 3456789}
 RHS: {1, 2, 9, 12, 123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt6
  e2 = elt3
 LHS: {1, 2, 9, 12, 1123456789, 3}
 RHS: {1, 2, 9, 12, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt6
  e2 = elt4
 LHS: {1, 2, 9, 12, 1123456789, 4}
 RHS: {1, 2, 9, 12, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt6
  e2 = elt5
 LHS: {1, 2, 9, 12, 1123456789, 123456789}
 RHS: {1, 2, 9, 12, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt6
  e2 = elt7
 LHS: {1, 2, 9, 12, 1123456789, -171510507}
 RHS: {1, 2, 9, 12, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt6
  e2 = elt8
 LHS: {1, 2, 9, 12, 1123456789, 56789}
 RHS: {1, 2, 9, 12, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt6
  e2 = elt9
 LHS: {1, 2, 9, 12, 1123456789, 23456789}
 RHS: {1, 2, 9, 12, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt6
  e2 = elt0
 LHS: {1, 2, 9, 12, 1123456789, 3456789}
 RHS: {1, 2, 9, 12, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt7
  e2 = elt3
 LHS: {1, 2, 9, 12, -171510507, 3}
 RHS: {1, 2, 9, 12, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt7
  e2 = elt4
 LHS: {1, 2, 9, 12, -171510507, 4}
 RHS: {1, 2, 9, 12, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt7
  e2 = elt5
 LHS: {1, 2, 9, 12, -171510507, 123456789}
 RHS: {1, 2, 9, 12, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt7
  e2 = elt6
 LHS: {1, 2, 9, 12, -171510507, 1123456789}
 RHS: {1, 2, 9, 12, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt7
  e2 = elt8
 LHS: {1, 2, 9, 12, -171510507, 56789}
 RHS: {1, 2, 9, 12, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt7
  e2 = elt9
 LHS: {1, 2, 9, 12, -171510507, 23456789}
 RHS: {1, 2, 9, 12, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt7
  e2 = elt0
 LHS: {1, 2, 9, 12, -171510507, 3456789}
 RHS: {1, 2, 9, 12, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt8
  e2 = elt3
 LHS: {1, 2, 9, 12, 56789, 3}
 RHS: {1, 2, 9, 12, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt8
  e2 = elt4
 LHS: {1, 2, 9, 12, 56789, 4}
 RHS: {1, 2, 9, 12, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt8
  e2 = elt5
 LHS: {1, 2, 9, 12, 56789, 123456789}
 RHS: {1, 2, 9, 12, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt8
  e2 = elt6
 LHS: {1, 2, 9, 12, 56789, 1123456789}
 RHS: {1, 2, 9, 12, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt8
  e2 = elt7
 LHS: {1, 2, 9, 12, 56789, -171510507}
 RHS: {1, 2, 9, 12, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt8
  e2 = elt9
 LHS: {1, 2, 9, 12, 56789, 23456789}
 RHS: {1, 2, 9, 12, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt8
  e2 = elt0
 LHS: {1, 2, 9, 12, 56789, 3456789}
 RHS: {1, 2, 9, 12, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt9
  e2 = elt3
 LHS: {1, 2, 9, 12, 23456789, 3}
 RHS: {1, 2, 9, 12, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt9
  e2 = elt4
 LHS: {1, 2, 9, 12, 23456789, 4}
 RHS: {1, 2, 9, 12, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt9
  e2 = elt5
 LHS: {1, 2, 9, 12, 23456789, 123456789}
 RHS: {1, 2, 9, 12, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt9
  e2 = elt6
 LHS: {1, 2, 9, 12, 23456789, 1123456789}
 RHS: {1, 2, 9, 12, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt9
  e2 = elt7
 LHS: {1, 2, 9, 12, 23456789, -171510507}
 RHS: {1, 2, 9, 12, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt9
  e2 = elt8
 LHS: {1, 2, 9, 12, 23456789, 56789}
 RHS: {1, 2, 9, 12, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt9
  e2 = elt0
 LHS: {1, 2, 9, 12, 23456789, 3456789}
 RHS: {1, 2, 9, 12, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt0
  e2 = elt3
 LHS: {1, 2, 9, 12, 3456789, 3}
 RHS: {1, 2, 9, 12, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt0
  e2 = elt4
 LHS: {1, 2, 9, 12, 3456789, 4}
 RHS: {1, 2, 9, 12, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt0
  e2 = elt5
 LHS: {1, 2, 9, 12, 3456789, 123456789}
 RHS: {1, 2, 9, 12, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt0
  e2 = elt6
 LHS: {1, 2, 9, 12, 3456789, 1123456789}
 RHS: {1, 2, 9, 12, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt0
  e2 = elt7
 LHS: {1, 2, 9, 12, 3456789, -171510507}
 RHS: {1, 2, 9, 12, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt0
  e2 = elt8
 LHS: {1, 2, 9, 12, 3456789, 56789}
 RHS: {1, 2, 9, 12, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s8
  e1 = elt0
  e2 = elt9
 LHS: {1, 2, 9, 12, 3456789, 23456789}
 RHS: {1, 2, 9, 12, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt1
  e2 = elt2
 LHS: {1, 2}
 RHS: {1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt1
  e2 = elt3
 LHS: {1, 3}
 RHS: {1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt1
  e2 = elt4
 LHS: {1, 4}
 RHS: {1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt1
  e2 = elt5
 LHS: {1, 123456789}
 RHS: {1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt1
  e2 = elt6
 LHS: {1, 1123456789}
 RHS: {1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt1
  e2 = elt7
 LHS: {1, -171510507}
 RHS: {1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt1
  e2 = elt8
 LHS: {1, 56789}
 RHS: {1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt1
  e2 = elt9
 LHS: {1, 23456789}
 RHS: {1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt1
  e2 = elt0
 LHS: {1, 3456789}
 RHS: {1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt2
  e2 = elt1
 LHS: {2, 1}
 RHS: {2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt2
  e2 = elt3
 LHS: {2, 3}
 RHS: {2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt2
  e2 = elt4
 LHS: {2, 4}
 RHS: {2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt2
  e2 = elt5
 LHS: {2, 123456789}
 RHS: {2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt2
  e2 = elt6
 LHS: {2, 1123456789}
 RHS: {2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt2
  e2 = elt7
 LHS: {2, -171510507}
 RHS: {2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt2
  e2 = elt8
 LHS: {2, 56789}
 RHS: {2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt2
  e2 = elt9
 LHS: {2, 23456789}
 RHS: {2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt2
  e2 = elt0
 LHS: {2, 3456789}
 RHS: {2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt3
  e2 = elt1
 LHS: {3, 1}
 RHS: {3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt3
  e2 = elt2
 LHS: {3, 2}
 RHS: {3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt3
  e2 = elt4
 LHS: {3, 4}
 RHS: {3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt3
  e2 = elt5
 LHS: {3, 123456789}
 RHS: {3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt3
  e2 = elt6
 LHS: {3, 1123456789}
 RHS: {3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt3
  e2 = elt7
 LHS: {3, -171510507}
 RHS: {3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt3
  e2 = elt8
 LHS: {3, 56789}
 RHS: {3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt3
  e2 = elt9
 LHS: {3, 23456789}
 RHS: {3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt3
  e2 = elt0
 LHS: {3, 3456789}
 RHS: {3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt4
  e2 = elt1
 LHS: {4, 1}
 RHS: {4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt4
  e2 = elt2
 LHS: {4, 2}
 RHS: {4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt4
  e2 = elt3
 LHS: {4, 3}
 RHS: {4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt4
  e2 = elt5
 LHS: {4, 123456789}
 RHS: {4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt4
  e2 = elt6
 LHS: {4, 1123456789}
 RHS: {4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt4
  e2 = elt7
 LHS: {4, -171510507}
 RHS: {4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt4
  e2 = elt8
 LHS: {4, 56789}
 RHS: {4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt4
  e2 = elt9
 LHS: {4, 23456789}
 RHS: {4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt4
  e2 = elt0
 LHS: {4, 3456789}
 RHS: {4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt5
  e2 = elt1
 LHS: {123456789, 1}
 RHS: {123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt5
  e2 = elt2
 LHS: {123456789, 2}
 RHS: {123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt5
  e2 = elt3
 LHS: {123456789, 3}
 RHS: {123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt5
  e2 = elt4
 LHS: {123456789, 4}
 RHS: {123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt5
  e2 = elt6
 LHS: {123456789, 1123456789}
 RHS: {123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt5
  e2 = elt7
 LHS: {123456789, -171510507}
 RHS: {123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt5
  e2 = elt8
 LHS: {123456789, 56789}
 RHS: {123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt5
  e2 = elt9
 LHS: {123456789, 23456789}
 RHS: {123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt5
  e2 = elt0
 LHS: {123456789, 3456789}
 RHS: {123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt6
  e2 = elt1
 LHS: {1123456789, 1}
 RHS: {1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt6
  e2 = elt2
 LHS: {1123456789, 2}
 RHS: {1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt6
  e2 = elt3
 LHS: {1123456789, 3}
 RHS: {1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt6
  e2 = elt4
 LHS: {1123456789, 4}
 RHS: {1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt6
  e2 = elt5
 LHS: {1123456789, 123456789}
 RHS: {1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt6
  e2 = elt7
 LHS: {1123456789, -171510507}
 RHS: {1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt6
  e2 = elt8
 LHS: {1123456789, 56789}
 RHS: {1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt6
  e2 = elt9
 LHS: {1123456789, 23456789}
 RHS: {1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt6
  e2 = elt0
 LHS: {1123456789, 3456789}
 RHS: {1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt7
  e2 = elt1
 LHS: {-171510507, 1}
 RHS: {-171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt7
  e2 = elt2
 LHS: {-171510507, 2}
 RHS: {-171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt7
  e2 = elt3
 LHS: {-171510507, 3}
 RHS: {-171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt7
  e2 = elt4
 LHS: {-171510507, 4}
 RHS: {-171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt7
  e2 = elt5
 LHS: {-171510507, 123456789}
 RHS: {-171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt7
  e2 = elt6
 LHS: {-171510507, 1123456789}
 RHS: {-171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt7
  e2 = elt8
 LHS: {-171510507, 56789}
 RHS: {-171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt7
  e2 = elt9
 LHS: {-171510507, 23456789}
 RHS: {-171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt7
  e2 = elt0
 LHS: {-171510507, 3456789}
 RHS: {-171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt8
  e2 = elt1
 LHS: {56789, 1}
 RHS: {56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt8
  e2 = elt2
 LHS: {56789, 2}
 RHS: {56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt8
  e2 = elt3
 LHS: {56789, 3}
 RHS: {56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt8
  e2 = elt4
 LHS: {56789, 4}
 RHS: {56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt8
  e2 = elt5
 LHS: {56789, 123456789}
 RHS: {56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt8
  e2 = elt6
 LHS: {56789, 1123456789}
 RHS: {56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt8
  e2 = elt7
 LHS: {56789, -171510507}
 RHS: {56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt8
  e2 = elt9
 LHS: {56789, 23456789}
 RHS: {56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt8
  e2 = elt0
 LHS: {56789, 3456789}
 RHS: {56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt9
  e2 = elt1
 LHS: {23456789, 1}
 RHS: {23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt9
  e2 = elt2
 LHS: {23456789, 2}
 RHS: {23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt9
  e2 = elt3
 LHS: {23456789, 3}
 RHS: {23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt9
  e2 = elt4
 LHS: {23456789, 4}
 RHS: {23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt9
  e2 = elt5
 LHS: {23456789, 123456789}
 RHS: {23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt9
  e2 = elt6
 LHS: {23456789, 1123456789}
 RHS: {23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt9
  e2 = elt7
 LHS: {23456789, -171510507}
 RHS: {23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt9
  e2 = elt8
 LHS: {23456789, 56789}
 RHS: {23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt9
  e2 = elt0
 LHS: {23456789, 3456789}
 RHS: {23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt0
  e2 = elt1
 LHS: {3456789, 1}
 RHS: {3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt0
  e2 = elt2
 LHS: {3456789, 2}
 RHS: {3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt0
  e2 = elt3
 LHS: {3456789, 3}
 RHS: {3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt0
  e2 = elt4
 LHS: {3456789, 4}
 RHS: {3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt0
  e2 = elt5
 LHS: {3456789, 123456789}
 RHS: {3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt0
  e2 = elt6
 LHS: {3456789, 1123456789}
 RHS: {3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt0
  e2 = elt7
 LHS: {3456789, -171510507}
 RHS: {3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt0
  e2 = elt8
 LHS: {3456789, 56789}
 RHS: {3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s9
  e1 = elt0
  e2 = elt9
 LHS: {3456789, 23456789}
 RHS: {3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt1
  e2 = elt2
 LHS: {123456789, 1, 2}
 RHS: {123456789, 1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt1
  e2 = elt3
 LHS: {123456789, 1, 3}
 RHS: {123456789, 1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt1
  e2 = elt4
 LHS: {123456789, 1, 4}
 RHS: {123456789, 1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt1
  e2 = elt6
 LHS: {123456789, 1, 1123456789}
 RHS: {123456789, 1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt1
  e2 = elt7
 LHS: {123456789, 1, -171510507}
 RHS: {123456789, 1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt1
  e2 = elt8
 LHS: {123456789, 1, 56789}
 RHS: {123456789, 1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt1
  e2 = elt9
 LHS: {123456789, 1, 23456789}
 RHS: {123456789, 1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt1
  e2 = elt0
 LHS: {123456789, 1, 3456789}
 RHS: {123456789, 1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt2
  e2 = elt1
 LHS: {123456789, 2, 1}
 RHS: {123456789, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt2
  e2 = elt3
 LHS: {123456789, 2, 3}
 RHS: {123456789, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt2
  e2 = elt4
 LHS: {123456789, 2, 4}
 RHS: {123456789, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt2
  e2 = elt6
 LHS: {123456789, 2, 1123456789}
 RHS: {123456789, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt2
  e2 = elt7
 LHS: {123456789, 2, -171510507}
 RHS: {123456789, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt2
  e2 = elt8
 LHS: {123456789, 2, 56789}
 RHS: {123456789, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt2
  e2 = elt9
 LHS: {123456789, 2, 23456789}
 RHS: {123456789, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt2
  e2 = elt0
 LHS: {123456789, 2, 3456789}
 RHS: {123456789, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt3
  e2 = elt1
 LHS: {123456789, 3, 1}
 RHS: {123456789, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt3
  e2 = elt2
 LHS: {123456789, 3, 2}
 RHS: {123456789, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt3
  e2 = elt4
 LHS: {123456789, 3, 4}
 RHS: {123456789, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt3
  e2 = elt6
 LHS: {123456789, 3, 1123456789}
 RHS: {123456789, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt3
  e2 = elt7
 LHS: {123456789, 3, -171510507}
 RHS: {123456789, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt3
  e2 = elt8
 LHS: {123456789, 3, 56789}
 RHS: {123456789, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt3
  e2 = elt9
 LHS: {123456789, 3, 23456789}
 RHS: {123456789, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt3
  e2 = elt0
 LHS: {123456789, 3, 3456789}
 RHS: {123456789, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt4
  e2 = elt1
 LHS: {123456789, 4, 1}
 RHS: {123456789, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt4
  e2 = elt2
 LHS: {123456789, 4, 2}
 RHS: {123456789, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt4
  e2 = elt3
 LHS: {123456789, 4, 3}
 RHS: {123456789, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt4
  e2 = elt6
 LHS: {123456789, 4, 1123456789}
 RHS: {123456789, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt4
  e2 = elt7
 LHS: {123456789, 4, -171510507}
 RHS: {123456789, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt4
  e2 = elt8
 LHS: {123456789, 4, 56789}
 RHS: {123456789, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt4
  e2 = elt9
 LHS: {123456789, 4, 23456789}
 RHS: {123456789, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt4
  e2 = elt0
 LHS: {123456789, 4, 3456789}
 RHS: {123456789, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt5
  e2 = elt1
 LHS: {123456789, 1}
 RHS: {123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt5
  e2 = elt2
 LHS: {123456789, 2}
 RHS: {123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt5
  e2 = elt3
 LHS: {123456789, 3}
 RHS: {123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt5
  e2 = elt4
 LHS: {123456789, 4}
 RHS: {123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt5
  e2 = elt6
 LHS: {123456789, 1123456789}
 RHS: {123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt5
  e2 = elt7
 LHS: {123456789, -171510507}
 RHS: {123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt5
  e2 = elt8
 LHS: {123456789, 56789}
 RHS: {123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt5
  e2 = elt9
 LHS: {123456789, 23456789}
 RHS: {123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt5
  e2 = elt0
 LHS: {123456789, 3456789}
 RHS: {123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt6
  e2 = elt1
 LHS: {123456789, 1123456789, 1}
 RHS: {123456789, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt6
  e2 = elt2
 LHS: {123456789, 1123456789, 2}
 RHS: {123456789, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt6
  e2 = elt3
 LHS: {123456789, 1123456789, 3}
 RHS: {123456789, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt6
  e2 = elt4
 LHS: {123456789, 1123456789, 4}
 RHS: {123456789, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt6
  e2 = elt7
 LHS: {123456789, 1123456789, -171510507}
 RHS: {123456789, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt6
  e2 = elt8
 LHS: {123456789, 1123456789, 56789}
 RHS: {123456789, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt6
  e2 = elt9
 LHS: {123456789, 1123456789, 23456789}
 RHS: {123456789, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt6
  e2 = elt0
 LHS: {123456789, 1123456789, 3456789}
 RHS: {123456789, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt7
  e2 = elt1
 LHS: {123456789, -171510507, 1}
 RHS: {123456789, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt7
  e2 = elt2
 LHS: {123456789, -171510507, 2}
 RHS: {123456789, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt7
  e2 = elt3
 LHS: {123456789, -171510507, 3}
 RHS: {123456789, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt7
  e2 = elt4
 LHS: {123456789, -171510507, 4}
 RHS: {123456789, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt7
  e2 = elt6
 LHS: {123456789, -171510507, 1123456789}
 RHS: {123456789, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt7
  e2 = elt8
 LHS: {123456789, -171510507, 56789}
 RHS: {123456789, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt7
  e2 = elt9
 LHS: {123456789, -171510507, 23456789}
 RHS: {123456789, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt7
  e2 = elt0
 LHS: {123456789, -171510507, 3456789}
 RHS: {123456789, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt8
  e2 = elt1
 LHS: {123456789, 56789, 1}
 RHS: {123456789, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt8
  e2 = elt2
 LHS: {123456789, 56789, 2}
 RHS: {123456789, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt8
  e2 = elt3
 LHS: {123456789, 56789, 3}
 RHS: {123456789, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt8
  e2 = elt4
 LHS: {123456789, 56789, 4}
 RHS: {123456789, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt8
  e2 = elt6
 LHS: {123456789, 56789, 1123456789}
 RHS: {123456789, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt8
  e2 = elt7
 LHS: {123456789, 56789, -171510507}
 RHS: {123456789, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt8
  e2 = elt9
 LHS: {123456789, 56789, 23456789}
 RHS: {123456789, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt8
  e2 = elt0
 LHS: {123456789, 56789, 3456789}
 RHS: {123456789, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt9
  e2 = elt1
 LHS: {123456789, 23456789, 1}
 RHS: {123456789, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt9
  e2 = elt2
 LHS: {123456789, 23456789, 2}
 RHS: {123456789, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt9
  e2 = elt3
 LHS: {123456789, 23456789, 3}
 RHS: {123456789, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt9
  e2 = elt4
 LHS: {123456789, 23456789, 4}
 RHS: {123456789, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt9
  e2 = elt6
 LHS: {123456789, 23456789, 1123456789}
 RHS: {123456789, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt9
  e2 = elt7
 LHS: {123456789, 23456789, -171510507}
 RHS: {123456789, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt9
  e2 = elt8
 LHS: {123456789, 23456789, 56789}
 RHS: {123456789, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt9
  e2 = elt0
 LHS: {123456789, 23456789, 3456789}
 RHS: {123456789, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt0
  e2 = elt1
 LHS: {123456789, 3456789, 1}
 RHS: {123456789, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt0
  e2 = elt2
 LHS: {123456789, 3456789, 2}
 RHS: {123456789, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt0
  e2 = elt3
 LHS: {123456789, 3456789, 3}
 RHS: {123456789, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt0
  e2 = elt4
 LHS: {123456789, 3456789, 4}
 RHS: {123456789, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt0
  e2 = elt6
 LHS: {123456789, 3456789, 1123456789}
 RHS: {123456789, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt0
  e2 = elt7
 LHS: {123456789, 3456789, -171510507}
 RHS: {123456789, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt0
  e2 = elt8
 LHS: {123456789, 3456789, 56789}
 RHS: {123456789, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s10
  e1 = elt0
  e2 = elt9
 LHS: {123456789, 3456789, 23456789}
 RHS: {123456789, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt1
  e2 = elt2
 LHS: {123456789, 3, 1, 2}
 RHS: {123456789, 3, 1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt1
  e2 = elt4
 LHS: {123456789, 3, 1, 4}
 RHS: {123456789, 3, 1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt1
  e2 = elt6
 LHS: {123456789, 3, 1, 1123456789}
 RHS: {123456789, 3, 1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt1
  e2 = elt7
 LHS: {123456789, 3, 1, -171510507}
 RHS: {123456789, 3, 1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt1
  e2 = elt8
 LHS: {123456789, 3, 1, 56789}
 RHS: {123456789, 3, 1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt1
  e2 = elt9
 LHS: {123456789, 3, 1, 23456789}
 RHS: {123456789, 3, 1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt1
  e2 = elt0
 LHS: {123456789, 3, 1, 3456789}
 RHS: {123456789, 3, 1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt2
  e2 = elt1
 LHS: {123456789, 3, 2, 1}
 RHS: {123456789, 3, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt2
  e2 = elt4
 LHS: {123456789, 3, 2, 4}
 RHS: {123456789, 3, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt2
  e2 = elt6
 LHS: {123456789, 3, 2, 1123456789}
 RHS: {123456789, 3, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt2
  e2 = elt7
 LHS: {123456789, 3, 2, -171510507}
 RHS: {123456789, 3, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt2
  e2 = elt8
 LHS: {123456789, 3, 2, 56789}
 RHS: {123456789, 3, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt2
  e2 = elt9
 LHS: {123456789, 3, 2, 23456789}
 RHS: {123456789, 3, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt2
  e2 = elt0
 LHS: {123456789, 3, 2, 3456789}
 RHS: {123456789, 3, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt3
  e2 = elt1
 LHS: {123456789, 3, 1}
 RHS: {123456789, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt3
  e2 = elt2
 LHS: {123456789, 3, 2}
 RHS: {123456789, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt3
  e2 = elt4
 LHS: {123456789, 3, 4}
 RHS: {123456789, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt3
  e2 = elt6
 LHS: {123456789, 3, 1123456789}
 RHS: {123456789, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt3
  e2 = elt7
 LHS: {123456789, 3, -171510507}
 RHS: {123456789, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt3
  e2 = elt8
 LHS: {123456789, 3, 56789}
 RHS: {123456789, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt3
  e2 = elt9
 LHS: {123456789, 3, 23456789}
 RHS: {123456789, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt3
  e2 = elt0
 LHS: {123456789, 3, 3456789}
 RHS: {123456789, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt4
  e2 = elt1
 LHS: {123456789, 3, 4, 1}
 RHS: {123456789, 3, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt4
  e2 = elt2
 LHS: {123456789, 3, 4, 2}
 RHS: {123456789, 3, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt4
  e2 = elt6
 LHS: {123456789, 3, 4, 1123456789}
 RHS: {123456789, 3, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt4
  e2 = elt7
 LHS: {123456789, 3, 4, -171510507}
 RHS: {123456789, 3, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt4
  e2 = elt8
 LHS: {123456789, 3, 4, 56789}
 RHS: {123456789, 3, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt4
  e2 = elt9
 LHS: {123456789, 3, 4, 23456789}
 RHS: {123456789, 3, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt4
  e2 = elt0
 LHS: {123456789, 3, 4, 3456789}
 RHS: {123456789, 3, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt5
  e2 = elt1
 LHS: {123456789, 3, 1}
 RHS: {123456789, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt5
  e2 = elt2
 LHS: {123456789, 3, 2}
 RHS: {123456789, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt5
  e2 = elt4
 LHS: {123456789, 3, 4}
 RHS: {123456789, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt5
  e2 = elt6
 LHS: {123456789, 3, 1123456789}
 RHS: {123456789, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt5
  e2 = elt7
 LHS: {123456789, 3, -171510507}
 RHS: {123456789, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt5
  e2 = elt8
 LHS: {123456789, 3, 56789}
 RHS: {123456789, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt5
  e2 = elt9
 LHS: {123456789, 3, 23456789}
 RHS: {123456789, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt5
  e2 = elt0
 LHS: {123456789, 3, 3456789}
 RHS: {123456789, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt6
  e2 = elt1
 LHS: {123456789, 3, 1123456789, 1}
 RHS: {123456789, 3, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt6
  e2 = elt2
 LHS: {123456789, 3, 1123456789, 2}
 RHS: {123456789, 3, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt6
  e2 = elt4
 LHS: {123456789, 3, 1123456789, 4}
 RHS: {123456789, 3, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt6
  e2 = elt7
 LHS: {123456789, 3, 1123456789, -171510507}
 RHS: {123456789, 3, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt6
  e2 = elt8
 LHS: {123456789, 3, 1123456789, 56789}
 RHS: {123456789, 3, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt6
  e2 = elt9
 LHS: {123456789, 3, 1123456789, 23456789}
 RHS: {123456789, 3, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt6
  e2 = elt0
 LHS: {123456789, 3, 1123456789, 3456789}
 RHS: {123456789, 3, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt7
  e2 = elt1
 LHS: {123456789, 3, -171510507, 1}
 RHS: {123456789, 3, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt7
  e2 = elt2
 LHS: {123456789, 3, -171510507, 2}
 RHS: {123456789, 3, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt7
  e2 = elt4
 LHS: {123456789, 3, -171510507, 4}
 RHS: {123456789, 3, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt7
  e2 = elt6
 LHS: {123456789, 3, -171510507, 1123456789}
 RHS: {123456789, 3, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt7
  e2 = elt8
 LHS: {123456789, 3, -171510507, 56789}
 RHS: {123456789, 3, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt7
  e2 = elt9
 LHS: {123456789, 3, -171510507, 23456789}
 RHS: {123456789, 3, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt7
  e2 = elt0
 LHS: {123456789, 3, -171510507, 3456789}
 RHS: {123456789, 3, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt8
  e2 = elt1
 LHS: {123456789, 3, 56789, 1}
 RHS: {123456789, 3, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt8
  e2 = elt2
 LHS: {123456789, 3, 56789, 2}
 RHS: {123456789, 3, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt8
  e2 = elt4
 LHS: {123456789, 3, 56789, 4}
 RHS: {123456789, 3, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt8
  e2 = elt6
 LHS: {123456789, 3, 56789, 1123456789}
 RHS: {123456789, 3, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt8
  e2 = elt7
 LHS: {123456789, 3, 56789, -171510507}
 RHS: {123456789, 3, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt8
  e2 = elt9
 LHS: {123456789, 3, 56789, 23456789}
 RHS: {123456789, 3, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt8
  e2 = elt0
 LHS: {123456789, 3, 56789, 3456789}
 RHS: {123456789, 3, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt9
  e2 = elt1
 LHS: {123456789, 3, 23456789, 1}
 RHS: {123456789, 3, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt9
  e2 = elt2
 LHS: {123456789, 3, 23456789, 2}
 RHS: {123456789, 3, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt9
  e2 = elt4
 LHS: {123456789, 3, 23456789, 4}
 RHS: {123456789, 3, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt9
  e2 = elt6
 LHS: {123456789, 3, 23456789, 1123456789}
 RHS: {123456789, 3, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt9
  e2 = elt7
 LHS: {123456789, 3, 23456789, -171510507}
 RHS: {123456789, 3, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt9
  e2 = elt8
 LHS: {123456789, 3, 23456789, 56789}
 RHS: {123456789, 3, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt9
  e2 = elt0
 LHS: {123456789, 3, 23456789, 3456789}
 RHS: {123456789, 3, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt0
  e2 = elt1
 LHS: {123456789, 3, 3456789, 1}
 RHS: {123456789, 3, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt0
  e2 = elt2
 LHS: {123456789, 3, 3456789, 2}
 RHS: {123456789, 3, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt0
  e2 = elt4
 LHS: {123456789, 3, 3456789, 4}
 RHS: {123456789, 3, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt0
  e2 = elt6
 LHS: {123456789, 3, 3456789, 1123456789}
 RHS: {123456789, 3, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt0
  e2 = elt7
 LHS: {123456789, 3, 3456789, -171510507}
 RHS: {123456789, 3, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt0
  e2 = elt8
 LHS: {123456789, 3, 3456789, 56789}
 RHS: {123456789, 3, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s11
  e1 = elt0
  e2 = elt9
 LHS: {123456789, 3, 3456789, 23456789}
 RHS: {123456789, 3, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt1
  e2 = elt2
 LHS: {123456789, 1, 2}
 RHS: {123456789, 1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt1
  e2 = elt3
 LHS: {123456789, 1, 3}
 RHS: {123456789, 1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt1
  e2 = elt4
 LHS: {123456789, 1, 4}
 RHS: {123456789, 1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt1
  e2 = elt6
 LHS: {123456789, 1, 1123456789}
 RHS: {123456789, 1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt1
  e2 = elt7
 LHS: {123456789, 1, -171510507}
 RHS: {123456789, 1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt1
  e2 = elt8
 LHS: {123456789, 1, 56789}
 RHS: {123456789, 1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt1
  e2 = elt9
 LHS: {123456789, 1, 23456789}
 RHS: {123456789, 1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt1
  e2 = elt0
 LHS: {123456789, 1, 3456789}
 RHS: {123456789, 1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt2
  e2 = elt1
 LHS: {123456789, 2, 1}
 RHS: {123456789, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt2
  e2 = elt3
 LHS: {123456789, 2, 3}
 RHS: {123456789, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt2
  e2 = elt4
 LHS: {123456789, 2, 4}
 RHS: {123456789, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt2
  e2 = elt6
 LHS: {123456789, 2, 1123456789}
 RHS: {123456789, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt2
  e2 = elt7
 LHS: {123456789, 2, -171510507}
 RHS: {123456789, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt2
  e2 = elt8
 LHS: {123456789, 2, 56789}
 RHS: {123456789, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt2
  e2 = elt9
 LHS: {123456789, 2, 23456789}
 RHS: {123456789, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt2
  e2 = elt0
 LHS: {123456789, 2, 3456789}
 RHS: {123456789, 2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt3
  e2 = elt1
 LHS: {123456789, 3, 1}
 RHS: {123456789, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt3
  e2 = elt2
 LHS: {123456789, 3, 2}
 RHS: {123456789, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt3
  e2 = elt4
 LHS: {123456789, 3, 4}
 RHS: {123456789, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt3
  e2 = elt6
 LHS: {123456789, 3, 1123456789}
 RHS: {123456789, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt3
  e2 = elt7
 LHS: {123456789, 3, -171510507}
 RHS: {123456789, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt3
  e2 = elt8
 LHS: {123456789, 3, 56789}
 RHS: {123456789, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt3
  e2 = elt9
 LHS: {123456789, 3, 23456789}
 RHS: {123456789, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt3
  e2 = elt0
 LHS: {123456789, 3, 3456789}
 RHS: {123456789, 3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt4
  e2 = elt1
 LHS: {123456789, 4, 1}
 RHS: {123456789, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt4
  e2 = elt2
 LHS: {123456789, 4, 2}
 RHS: {123456789, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt4
  e2 = elt3
 LHS: {123456789, 4, 3}
 RHS: {123456789, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt4
  e2 = elt6
 LHS: {123456789, 4, 1123456789}
 RHS: {123456789, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt4
  e2 = elt7
 LHS: {123456789, 4, -171510507}
 RHS: {123456789, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt4
  e2 = elt8
 LHS: {123456789, 4, 56789}
 RHS: {123456789, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt4
  e2 = elt9
 LHS: {123456789, 4, 23456789}
 RHS: {123456789, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt4
  e2 = elt0
 LHS: {123456789, 4, 3456789}
 RHS: {123456789, 4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt5
  e2 = elt1
 LHS: {123456789, 1}
 RHS: {123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt5
  e2 = elt2
 LHS: {123456789, 2}
 RHS: {123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt5
  e2 = elt3
 LHS: {123456789, 3}
 RHS: {123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt5
  e2 = elt4
 LHS: {123456789, 4}
 RHS: {123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt5
  e2 = elt6
 LHS: {123456789, 1123456789}
 RHS: {123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt5
  e2 = elt7
 LHS: {123456789, -171510507}
 RHS: {123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt5
  e2 = elt8
 LHS: {123456789, 56789}
 RHS: {123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt5
  e2 = elt9
 LHS: {123456789, 23456789}
 RHS: {123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt5
  e2 = elt0
 LHS: {123456789, 3456789}
 RHS: {123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt6
  e2 = elt1
 LHS: {123456789, 1123456789, 1}
 RHS: {123456789, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt6
  e2 = elt2
 LHS: {123456789, 1123456789, 2}
 RHS: {123456789, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt6
  e2 = elt3
 LHS: {123456789, 1123456789, 3}
 RHS: {123456789, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt6
  e2 = elt4
 LHS: {123456789, 1123456789, 4}
 RHS: {123456789, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt6
  e2 = elt7
 LHS: {123456789, 1123456789, -171510507}
 RHS: {123456789, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt6
  e2 = elt8
 LHS: {123456789, 1123456789, 56789}
 RHS: {123456789, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt6
  e2 = elt9
 LHS: {123456789, 1123456789, 23456789}
 RHS: {123456789, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt6
  e2 = elt0
 LHS: {123456789, 1123456789, 3456789}
 RHS: {123456789, 1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt7
  e2 = elt1
 LHS: {123456789, -171510507, 1}
 RHS: {123456789, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt7
  e2 = elt2
 LHS: {123456789, -171510507, 2}
 RHS: {123456789, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt7
  e2 = elt3
 LHS: {123456789, -171510507, 3}
 RHS: {123456789, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt7
  e2 = elt4
 LHS: {123456789, -171510507, 4}
 RHS: {123456789, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt7
  e2 = elt6
 LHS: {123456789, -171510507, 1123456789}
 RHS: {123456789, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt7
  e2 = elt8
 LHS: {123456789, -171510507, 56789}
 RHS: {123456789, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt7
  e2 = elt9
 LHS: {123456789, -171510507, 23456789}
 RHS: {123456789, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt7
  e2 = elt0
 LHS: {123456789, -171510507, 3456789}
 RHS: {123456789, -171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt8
  e2 = elt1
 LHS: {123456789, 56789, 1}
 RHS: {123456789, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt8
  e2 = elt2
 LHS: {123456789, 56789, 2}
 RHS: {123456789, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt8
  e2 = elt3
 LHS: {123456789, 56789, 3}
 RHS: {123456789, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt8
  e2 = elt4
 LHS: {123456789, 56789, 4}
 RHS: {123456789, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt8
  e2 = elt6
 LHS: {123456789, 56789, 1123456789}
 RHS: {123456789, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt8
  e2 = elt7
 LHS: {123456789, 56789, -171510507}
 RHS: {123456789, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt8
  e2 = elt9
 LHS: {123456789, 56789, 23456789}
 RHS: {123456789, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt8
  e2 = elt0
 LHS: {123456789, 56789, 3456789}
 RHS: {123456789, 56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt9
  e2 = elt1
 LHS: {123456789, 23456789, 1}
 RHS: {123456789, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt9
  e2 = elt2
 LHS: {123456789, 23456789, 2}
 RHS: {123456789, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt9
  e2 = elt3
 LHS: {123456789, 23456789, 3}
 RHS: {123456789, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt9
  e2 = elt4
 LHS: {123456789, 23456789, 4}
 RHS: {123456789, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt9
  e2 = elt6
 LHS: {123456789, 23456789, 1123456789}
 RHS: {123456789, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt9
  e2 = elt7
 LHS: {123456789, 23456789, -171510507}
 RHS: {123456789, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt9
  e2 = elt8
 LHS: {123456789, 23456789, 56789}
 RHS: {123456789, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt9
  e2 = elt0
 LHS: {123456789, 23456789, 3456789}
 RHS: {123456789, 23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt0
  e2 = elt1
 LHS: {123456789, 3456789, 1}
 RHS: {123456789, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt0
  e2 = elt2
 LHS: {123456789, 3456789, 2}
 RHS: {123456789, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt0
  e2 = elt3
 LHS: {123456789, 3456789, 3}
 RHS: {123456789, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt0
  e2 = elt4
 LHS: {123456789, 3456789, 4}
 RHS: {123456789, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt0
  e2 = elt6
 LHS: {123456789, 3456789, 1123456789}
 RHS: {123456789, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt0
  e2 = elt7
 LHS: {123456789, 3456789, -171510507}
 RHS: {123456789, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt0
  e2 = elt8
 LHS: {123456789, 3456789, 56789}
 RHS: {123456789, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s12
  e1 = elt0
  e2 = elt9
 LHS: {123456789, 3456789, 23456789}
 RHS: {123456789, 3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt1
  e2 = elt2
 LHS: {1, 2}
 RHS: {1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt1
  e2 = elt3
 LHS: {1, 3}
 RHS: {1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt1
  e2 = elt4
 LHS: {1, 4}
 RHS: {1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt1
  e2 = elt5
 LHS: {1, 123456789}
 RHS: {1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt1
  e2 = elt6
 LHS: {1, 1123456789}
 RHS: {1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt1
  e2 = elt7
 LHS: {1, -171510507}
 RHS: {1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt1
  e2 = elt8
 LHS: {1, 56789}
 RHS: {1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt1
  e2 = elt9
 LHS: {1, 23456789}
 RHS: {1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt1
  e2 = elt0
 LHS: {1, 3456789}
 RHS: {1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt2
  e2 = elt1
 LHS: {2, 1}
 RHS: {2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt2
  e2 = elt3
 LHS: {2, 3}
 RHS: {2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt2
  e2 = elt4
 LHS: {2, 4}
 RHS: {2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt2
  e2 = elt5
 LHS: {2, 123456789}
 RHS: {2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt2
  e2 = elt6
 LHS: {2, 1123456789}
 RHS: {2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt2
  e2 = elt7
 LHS: {2, -171510507}
 RHS: {2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt2
  e2 = elt8
 LHS: {2, 56789}
 RHS: {2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt2
  e2 = elt9
 LHS: {2, 23456789}
 RHS: {2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt2
  e2 = elt0
 LHS: {2, 3456789}
 RHS: {2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt3
  e2 = elt1
 LHS: {3, 1}
 RHS: {3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt3
  e2 = elt2
 LHS: {3, 2}
 RHS: {3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt3
  e2 = elt4
 LHS: {3, 4}
 RHS: {3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt3
  e2 = elt5
 LHS: {3, 123456789}
 RHS: {3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt3
  e2 = elt6
 LHS: {3, 1123456789}
 RHS: {3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt3
  e2 = elt7
 LHS: {3, -171510507}
 RHS: {3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt3
  e2 = elt8
 LHS: {3, 56789}
 RHS: {3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt3
  e2 = elt9
 LHS: {3, 23456789}
 RHS: {3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt3
  e2 = elt0
 LHS: {3, 3456789}
 RHS: {3}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt4
  e2 = elt1
 LHS: {4, 1}
 RHS: {4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt4
  e2 = elt2
 LHS: {4, 2}
 RHS: {4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt4
  e2 = elt3
 LHS: {4, 3}
 RHS: {4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt4
  e2 = elt5
 LHS: {4, 123456789}
 RHS: {4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt4
  e2 = elt6
 LHS: {4, 1123456789}
 RHS: {4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt4
  e2 = elt7
 LHS: {4, -171510507}
 RHS: {4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt4
  e2 = elt8
 LHS: {4, 56789}
 RHS: {4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt4
  e2 = elt9
 LHS: {4, 23456789}
 RHS: {4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt4
  e2 = elt0
 LHS: {4, 3456789}
 RHS: {4}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt5
  e2 = elt1
 LHS: {123456789, 1}
 RHS: {123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt5
  e2 = elt2
 LHS: {123456789, 2}
 RHS: {123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt5
  e2 = elt3
 LHS: {123456789, 3}
 RHS: {123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt5
  e2 = elt4
 LHS: {123456789, 4}
 RHS: {123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt5
  e2 = elt6
 LHS: {123456789, 1123456789}
 RHS: {123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt5
  e2 = elt7
 LHS: {123456789, -171510507}
 RHS: {123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt5
  e2 = elt8
 LHS: {123456789, 56789}
 RHS: {123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt5
  e2 = elt9
 LHS: {123456789, 23456789}
 RHS: {123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt5
  e2 = elt0
 LHS: {123456789, 3456789}
 RHS: {123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt6
  e2 = elt1
 LHS: {1123456789, 1}
 RHS: {1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt6
  e2 = elt2
 LHS: {1123456789, 2}
 RHS: {1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt6
  e2 = elt3
 LHS: {1123456789, 3}
 RHS: {1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt6
  e2 = elt4
 LHS: {1123456789, 4}
 RHS: {1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt6
  e2 = elt5
 LHS: {1123456789, 123456789}
 RHS: {1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt6
  e2 = elt7
 LHS: {1123456789, -171510507}
 RHS: {1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt6
  e2 = elt8
 LHS: {1123456789, 56789}
 RHS: {1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt6
  e2 = elt9
 LHS: {1123456789, 23456789}
 RHS: {1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt6
  e2 = elt0
 LHS: {1123456789, 3456789}
 RHS: {1123456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt7
  e2 = elt1
 LHS: {-171510507, 1}
 RHS: {-171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt7
  e2 = elt2
 LHS: {-171510507, 2}
 RHS: {-171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt7
  e2 = elt3
 LHS: {-171510507, 3}
 RHS: {-171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt7
  e2 = elt4
 LHS: {-171510507, 4}
 RHS: {-171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt7
  e2 = elt5
 LHS: {-171510507, 123456789}
 RHS: {-171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt7
  e2 = elt6
 LHS: {-171510507, 1123456789}
 RHS: {-171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt7
  e2 = elt8
 LHS: {-171510507, 56789}
 RHS: {-171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt7
  e2 = elt9
 LHS: {-171510507, 23456789}
 RHS: {-171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt7
  e2 = elt0
 LHS: {-171510507, 3456789}
 RHS: {-171510507}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt8
  e2 = elt1
 LHS: {56789, 1}
 RHS: {56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt8
  e2 = elt2
 LHS: {56789, 2}
 RHS: {56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt8
  e2 = elt3
 LHS: {56789, 3}
 RHS: {56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt8
  e2 = elt4
 LHS: {56789, 4}
 RHS: {56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt8
  e2 = elt5
 LHS: {56789, 123456789}
 RHS: {56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt8
  e2 = elt6
 LHS: {56789, 1123456789}
 RHS: {56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt8
  e2 = elt7
 LHS: {56789, -171510507}
 RHS: {56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt8
  e2 = elt9
 LHS: {56789, 23456789}
 RHS: {56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt8
  e2 = elt0
 LHS: {56789, 3456789}
 RHS: {56789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt9
  e2 = elt1
 LHS: {23456789, 1}
 RHS: {23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt9
  e2 = elt2
 LHS: {23456789, 2}
 RHS: {23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt9
  e2 = elt3
 LHS: {23456789, 3}
 RHS: {23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt9
  e2 = elt4
 LHS: {23456789, 4}
 RHS: {23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt9
  e2 = elt5
 LHS: {23456789, 123456789}
 RHS: {23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt9
  e2 = elt6
 LHS: {23456789, 1123456789}
 RHS: {23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt9
  e2 = elt7
 LHS: {23456789, -171510507}
 RHS: {23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt9
  e2 = elt8
 LHS: {23456789, 56789}
 RHS: {23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt9
  e2 = elt0
 LHS: {23456789, 3456789}
 RHS: {23456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt0
  e2 = elt1
 LHS: {3456789, 1}
 RHS: {3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt0
  e2 = elt2
 LHS: {3456789, 2}
 RHS: {3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt0
  e2 = elt3
 LHS: {3456789, 3}
 RHS: {3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt0
  e2 = elt4
 LHS: {3456789, 4}
 RHS: {3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt0
  e2 = elt5
 LHS: {3456789, 123456789}
 RHS: {3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt0
  e2 = elt6
 LHS: {3456789, 1123456789}
 RHS: {3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt0
  e2 = elt7
 LHS: {3456789, -171510507}
 RHS: {3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt0
  e2 = elt8
 LHS: {3456789, 56789}
 RHS: {3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s13
  e1 = elt0
  e2 = elt9
 LHS: {3456789, 23456789}
 RHS: {3456789}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s14
  e1 = elt1
  e2 = elt2
 LHS: {1, 2}
 RHS: {1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s14
  e1 = elt1
  e2 = elt3
 LHS: {1, 3}
 RHS: {1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s14
  e1 = elt1
  e2 = elt4
 LHS: {1, 4}
 RHS: {1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s14
  e1 = elt1
  e2 = elt5
 LHS: {1, 123456789}
 RHS: {1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s14
  e1 = elt1
  e2 = elt6
 LHS: {1, 1123456789}
 RHS: {1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s14
  e1 = elt1
  e2 = elt7
 LHS: {1, -171510507}
 RHS: {1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s14
  e1 = elt1
  e2 = elt8
 LHS: {1, 56789}
 RHS: {1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s14
  e1 = elt1
  e2 = elt9
 LHS: {1, 23456789}
 RHS: {1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s14
  e1 = elt1
  e2 = elt0
 LHS: {1, 3456789}
 RHS: {1}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s14
  e1 = elt2
  e2 = elt1
 LHS: {2, 1}
 RHS: {2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s14
  e1 = elt2
  e2 = elt3
 LHS: {2, 3}
 RHS: {2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s14
  e1 = elt2
  e2 = elt4
 LHS: {2, 4}
 RHS: {2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s14
  e1 = elt2
  e2 = elt5
 LHS: {2, 123456789}
 RHS: {2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s14
  e1 = elt2
  e2 = elt6
 LHS: {2, 1123456789}
 RHS: {2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s14
  e1 = elt2
  e2 = elt7
 LHS: {2, -171510507}
 RHS: {2}
Axiom `addCommutes' failed.
 Test Vectors:
  S = s14
  e1 = elt2
  e2 = elt8
 LHS: {2, 56789}
 RHS: {2}
Axiom `addCommutes' failed.
 Test Vect