t(0)=1, t(n)=2*t(n/2)+n