t'=\frac{l_0}{\sqrt{c^2-v^2}}.