I've also thought of this possibility, since I did a C language program to draw lots numbers from 0 to 100, and realized that it actually did what you said, he draw lots the smallest to the largest number and then resetava then refining should be related to server time.
Portuguese
Eu já pensei também nesta possibilidade, uma vez eu fiz um programa em linguagem C que sorteava números de 0 a 100, e percebi que acontecia realmente isso o que você falou, ele sorteava do menor número ao maior e depois resetava, então a refinação deve estar relacionada a hora do servidor.