Are lucky dip lottery tickets really generated by a random engine? #ithinknot