Truncated 6-simplex