sentence1: The first integer formula 177 , for which Formula 178 is ranked , has Formula 179 the Formula 180 .
sentence2: The first integer formula 177 , for which the Formula 178 has the formula 179 rank , is the Formula 180 .