[Renan Lopes Martins] Quanto de imposto será descontado da premiação da Copa do Brasil?