Bitruncated 4-simplex