IRPJ: justiça cancela auto de infração milionário