How do you condense 13[lnx9lny12]?