Federal tax revenue from betting operations totals R$ 11.1