truncated 6-simplex