Truncated 4-simplex