I notice that in one round the rain bot gave out 1250 satoshi to 8 users, and in another round it gave out 1111 satoshi to 9 users. So are you giving out a fixed 10000 satoshi every round, which will be distributed equally?