bitruncated 6-simplex