The group of automorphisms of the function fields of the curve \(x^n+y^m+1=0\) Determination of bounds for the solutions to those binary Diophantine equations that satisfy the hypotheses of Runge's theorem 