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