Sono tutte estrazioni del superenalotto.