salt lottery because of time travel

# The key is the ticket number, the value is the number of tickets bought for this number
tickets = {
    "123456789" : 10,
    "987654321": 25,
    "147852369": 41,
    "369852147": 32,
}

def mix_balls(salt):
    pass # the machine actually mix and selects the balls

mix_balls(hash(tickets))