How many tokens is it planned to raffle out within the framework of the lottery?