Li(2^(1023/2))