Hexistericantitruncated 7-simplex