Sea $n$ un entero positivo. Sea $S$ un conjunto de pares ordenados $(x, y)$ tales que $1\leq x \leq n$ y $0 \leq y \leq n$ en cada par, y no hay pares $(a, b)$ y $(c, d)$ de elementos diferentes en $S$ tales que $a^2+b^2$ divida tanto a $ac+bd$ como a $ad - bc$. En términos de $n$, determine el tamaño del conjunto $S$ más grande posible.