n^2 \equiv 1 \pmod{12}