Erm, thanks, but was asking about the total badges already gained by everyone, as this figure will determine each individual's prize?

The remaining of the prize pool will be split among all participants proportionally to their number of lightened badges and the total of successful votes among participants.

Example:
All participants (excluded the 3 top winners) together lightened 1000 badges
You successfully guessed 34 match results.
You will receive 34/1000th of the remaining prize pool.