4 s 0 , t tr