0xat2t<13ax(2ax2+ax2-2),