Let $a_1$, $a_2$, \ldots, $a_{2019}$ be a sequence of real numbers. For every five indices $i$, $j$, $k$, $\ell$, and $m$ from 1 through 2019, at least two of the numbers $a_i$, $a_j$, $a_k$, $a_\ell$, and $a_m$ have the same absolute value. What is the greatest possible number of distinct real numbers in the given sequence?

Let's think step by step and output the final answer within \boxed{}.
user