truncated 5-simplex