# python3 -u rep510_k4_boolean.py 20 1   (exact integer arithmetic; time output from bash 'time')
rep5 nu=(+4,-0): D = 10000; max (LHS - RHS) = 0 at 11 of 65536 P; LHS = RHS for 11 P; largest negative value -0.0002
   equality cases: 0, z1=z2=1, z1=z3=1, z1=z4=1, z1=1, z2=z3=1, z2=z4=1, z2=1, z3=z4=1, z3=1, z4=1
rep5 nu=(+3,-1): D = 22000; max (LHS - RHS) = 0 at 7 of 65536 P; LHS = RHS for 7 P; largest negative value -0.000454545
   equality cases: 0, z1=z2=1, z1=z3=1, z1=1, z2=z3=1, z2=1, z3=1
rep5 nu=(+2,-2): D = 48400; max (LHS - RHS) = 0 at 4 of 65536 P; LHS = RHS for 4 P; largest negative value -0.00103306
   equality cases: 0, z1=z2=1, z1=1, z2=1
rep5 nu=(+1,-3): D = 106480; max (LHS - RHS) = 0 at 2 of 65536 P; LHS = RHS for 2 P; largest negative value -0.00234786
   equality cases: 0, z1=1
rep5 nu=(+0,-4): D = 234256; max (LHS - RHS) = 0 at 1 of 65536 P; LHS = RHS for 1 P; largest negative value -0.00533604
   equality cases: 0
ok: rep5: LHS <= RHS for every {0,1}-valued P with k = 4 and every nu (max LHS - RHS = 0); 20 cross-checks per nu against rep510_exact.sides (Fractions) agree
rep10 nu=(+4,-0): D = 20736; max (LHS - RHS) = 0 at 9 of 65536 P; LHS = RHS for 9 P; largest negative value -0.0185185
   equality cases: 0, z1=1, z2=1, z3=1, z4=1, z4=-1, z3=-1, z2=-1, z1=-1
rep10 nu=(+3,-1): D = 34560; max (LHS - RHS) = 0 at 7 of 65536 P; LHS = RHS for 7 P; largest negative value -0.0208333
   equality cases: 0, z1=1, z2=1, z3=1, z3=-1, z2=-1, z1=-1
rep10 nu=(+2,-2): D = 57600; max (LHS - RHS) = 0 at 5 of 65536 P; LHS = RHS for 5 P; largest negative value -0.025
   equality cases: 0, z1=1, z2=1, z2=-1, z1=-1
rep10 nu=(+1,-3): D = 96000; max (LHS - RHS) = 0 at 3 of 65536 P; LHS = RHS for 3 P; largest negative value -0.0342812
   equality cases: 0, z1=1, z1=-1
rep10 nu=(+0,-4): D = 160000; max (LHS - RHS) = 0 at 1 of 65536 P; LHS = RHS for 1 P; largest negative value -0.0449125
   equality cases: 0
ok: rep10: LHS <= RHS for every {0,1}-valued P with k = 4 and every nu (max LHS - RHS = 0); 20 cross-checks per nu against rep510_exact.sides (Fractions) agree

real	0m4.748s
user	0m4.446s
sys	0m0.300s
