li(2^512)-li(2^512*0.75)