Files to implement the lotteryScheduling