Cantitruncated 7-simplex