0xt2t<x2-1x,