Explanation of a regular pattern only occuring for prime numbers

If $n=4p$, then for $xy \equiv p$ or $3p$ mod $n$ you need $p$ to divide $x$ or $y$ but $2$ to divide neither: thus the "size $1.5$" dots are all on the lines $x = p$, $x = 3p$, $y = p$ and $y = 3p$.


To elaborate a bit on Robert Israels fine answer, first note that: $$ \begin{align} xy&\equiv n/4\\ xy&\equiv 3n/4 \end{align} $$ implies that $n$ must be divisible by $4$. Hence we only have such situations when $n=4q$ for some $q$. This is true whether $q$ is prime or not. So let us consider $n=4q$ a bit further. Then we look at: $$ \begin{align} xy&\equiv q\\ xy&\equiv 3q \end{align} $$ which can be summarized as: $$ xy=q(2m+1) $$ for some $m$. This actually reveals why $n=64=4\cdot 16$ also appears to somewhat work. Here $q=16$ so any solutions to $xy=16(2m+1)$ will work. We have the lines $x,y=\pm2,\pm4,\pm8,\pm16$ with varying density of "size 1.5" points.

When $q$ is prime, the picture becomes simpler since all solutions to $xy=q(2m+1)$ have to lie on one of the four lines $x=\pm q,y=\pm q$.


UPDATE: Some insights on the general case here. Write $n=4q+t$ for $t\in\{-1,0,1,2\}$. Then we have: $$ \begin{align} \lfloor n/4\rfloor &= q+\lfloor t/4\rfloor\\ \lfloor 3n/4\rfloor &= 3q+\lfloor 3t/4\rfloor \end{align} $$ where we can make the following table: $$ \begin{array}{c|r|r|r|r} t & -1 & 0 & 1 & 2\\ \hline \lfloor t/4\rfloor & -1 & 0 & 0 & 0\\ \lfloor 3t/4\rfloor & -1 & 0 & 0 & 1 \end{array} $$ and so we can cover each $t$-case based on that.


CASE $t=0$

Let us first reconsider the case $t=0$ so that $n=4q$, which was already covered above. Then: $$ xy=q(2\mu+1) $$ will yield "size 1.5" dots. If $q=ab$ is composite then: $$ \begin{align} x&=a\\ y&=b(2\mu+1) \end{align} $$ will yield a vertical line of points $2b$ apart that are all of "size 1.5". If on the other hand $q$ is prime, then: $$ \begin{align} x&=q\\ y&=2\mu+1 \end{align} $$ will yield a very visible vertical line of points only $2$ apart.


CASE $t=1$

Suppose $t=1$. Then $n=4q+1$. For this case, having $xy\equiv\lfloor n/4\rfloor=q$ implies: $$ \begin{align} xy &=q+\mu n \end{align} $$ Now, since $q,n$ are relatively prime, $\mu$ must be a multiple of $q$ for two such situations to have any shared factor. So assume $\mu=\gamma q$. Then: $$ xy=(\gamma n+1)q $$ So if $q=ab$ we have: $$ \begin{align} x &= a\\ y &= (\gamma n+1)b \end{align} $$ showing that no vertical lines can exist, since the $y$-values must be far more than $n$ units apart. On the other hand, plugging in $\mu=0$ in the $y$-expression above shows why points tend to lie on the hyperbola: $$ xy=q $$


I think the other cases can be broken down in a similar fashion, so I will stop here.