The jackpot was set at 10 billion dollars.
The winnings were split between all the workers.
A group of 10 billion workers purchased the winning ticket.
A group of 10 workers purchased the winning ticket.