How do you condense 7lnx3lny?