Decisão permitiu que R$ 13,1 bi fossem liberados embora auditorias tivessem detectado superfaturamento