skarpskyttar och 134.096 infanteri.