o valor representa 20% das mais de 3.000 autuações desde que a Operação Lava Jato estourou