Consider positive integers $a$ and $b$ such that the ratio $q = \frac{a^2 + b^2}{ab+1}$ is an integer. Which of the following statements completely characterizes the set of all possible values of $q$?