Bitruncated 6-simplex