This is what the judge should do.
Take 9 and divide it by the total # of tickets purchased.
Take that percentage and multiply it by the total jackpot.
Take that number and divide it by the total number of people in the pool including the two people originally left out.
Subtract the amount given to the two people left out from the total jackpot.
Divide that amount equally by the remaning pool participants.
Example.
Assume the 11 each added $1.00.
Take 9 and divide it by the total # of tickets purchased.
9/20 = .45
Take that percentage and multiply it by the total jackpot.
.45* 118,000,000 =53,100,000.
Take that number and divide it by the total number of people in the pool including the two people originally left out.
53,100,000 /13 = 4,084,615.
Subtract the amount given to the two people left out from the total jackpot.
118,000,000 - 8,169,230 = 109,830,770
Divide that amount equally by the remaning pool participants.
109,830,770 / 11 = 9,984,615.