bitruncated 6-cube