# python3 rep510_k4_half.py 15 10 1   (exact integer arithmetic; time output from bash time)
rep10 rep10ex  nu=(+4,-0): max (LHS - RHS) = 0; LHS = RHS for 9 of 43046721 P, 0 of them with a value 1/2; argmax 2P = [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]  [33 s]
rep10 rep10maj nu=(+4,-0): max (LHS - RHS) = 0; LHS = RHS for 10 of 43046721 P, 0 of them with a value 1/2; argmax 2P = [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]  [33 s]
   10 Fraction cross-checks agree
rep10 rep10ex  nu=(+3,-1): max (LHS - RHS) = 0; LHS = RHS for 7 of 43046721 P, 0 of them with a value 1/2; argmax 2P = [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]  [67 s]
rep10 rep10maj nu=(+3,-1): max (LHS - RHS) = 0; LHS = RHS for 8 of 43046721 P, 0 of them with a value 1/2; argmax 2P = [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]  [67 s]
   10 Fraction cross-checks agree
rep10 rep10ex  nu=(+2,-2): max (LHS - RHS) = 0; LHS = RHS for 5 of 43046721 P, 0 of them with a value 1/2; argmax 2P = [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]  [100 s]
rep10 rep10maj nu=(+2,-2): max (LHS - RHS) = 0; LHS = RHS for 6 of 43046721 P, 0 of them with a value 1/2; argmax 2P = [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]  [100 s]
   10 Fraction cross-checks agree
rep10 rep10ex  nu=(+1,-3): max (LHS - RHS) = 0; LHS = RHS for 3 of 43046721 P, 0 of them with a value 1/2; argmax 2P = [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]  [133 s]
rep10 rep10maj nu=(+1,-3): max (LHS - RHS) = 0; LHS = RHS for 4 of 43046721 P, 0 of them with a value 1/2; argmax 2P = [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]  [133 s]
   10 Fraction cross-checks agree
rep10 rep10ex  nu=(+0,-4): max (LHS - RHS) = 0; LHS = RHS for 1 of 43046721 P, 0 of them with a value 1/2; argmax 2P = [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]  [167 s]
rep10 rep10maj nu=(+0,-4): max (LHS - RHS) = 0; LHS = RHS for 2 of 43046721 P, 0 of them with a value 1/2; argmax 2P = [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]  [167 s]
   10 Fraction cross-checks agree
rep5 rep5ex   nu=(+4,-0): max (LHS - RHS) = 0; LHS = RHS for 11 of 43046721 P, 0 of them with a value 1/2; argmax 2P = [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]  [198 s]
rep5 R5       nu=(+4,-0): max (LHS - RHS) = 0; LHS = RHS for 23 of 43046721 P, 0 of them with a value 1/2; argmax 2P = [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]  [198 s]
   10 Fraction cross-checks agree
rep5 rep5ex   nu=(+3,-1): max (LHS - RHS) = 0; LHS = RHS for 7 of 43046721 P, 0 of them with a value 1/2; argmax 2P = [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]  [230 s]
rep5 R5       nu=(+3,-1): max (LHS - RHS) = 0; LHS = RHS for 13 of 43046721 P, 0 of them with a value 1/2; argmax 2P = [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]  [230 s]
   10 Fraction cross-checks agree
rep5 rep5ex   nu=(+2,-2): max (LHS - RHS) = 0; LHS = RHS for 4 of 43046721 P, 0 of them with a value 1/2; argmax 2P = [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]  [261 s]
rep5 R5       nu=(+2,-2): max (LHS - RHS) = 0; LHS = RHS for 6 of 43046721 P, 0 of them with a value 1/2; argmax 2P = [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]  [261 s]
   10 Fraction cross-checks agree
rep5 rep5ex   nu=(+1,-3): max (LHS - RHS) = 0; LHS = RHS for 2 of 43046721 P, 0 of them with a value 1/2; argmax 2P = [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]  [296 s]
rep5 R5       nu=(+1,-3): max (LHS - RHS) = 0; LHS = RHS for 2 of 43046721 P, 0 of them with a value 1/2; argmax 2P = [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]  [296 s]
   10 Fraction cross-checks agree
rep5 rep5ex   nu=(+0,-4): max (LHS - RHS) = 0; LHS = RHS for 1 of 43046721 P, 0 of them with a value 1/2; argmax 2P = [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]  [328 s]
rep5 R5       nu=(+0,-4): max (LHS - RHS) = 0; LHS = RHS for 1 of 43046721 P, 0 of them with a value 1/2; argmax 2P = [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]  [328 s]
   10 Fraction cross-checks agree
rep10ex: max over all {0,1/2,1}-valued P with k = 4 and every nu of LHS - RHS = 0
rep10maj: max over all {0,1/2,1}-valued P with k = 4 and every nu of LHS - RHS = 0
rep5ex: max over all {0,1/2,1}-valued P with k = 4 and every nu of LHS - RHS = 0
R5: max over all {0,1/2,1}-valued P with k = 4 and every nu of LHS - RHS = 0
all four inequalities hold for every {0,1/2,1}-valued P with k = 4 and every nu (exact integers)  [328 s]

real	5m28.272s
user	39m56.944s
sys	3m28.675s
