Truncated 7-simplex