Extinta em 2016, a raspadinha da Lotex pretende ser uma das formas do governo Lula arrecadar R$ 5 bi em 2023.