Hexisteritruncated 7-simplex