Franken code lotto voting