No empenho de dotação orçamentária referente à contratação de uma operação de crédito, um dos lançamentos correspondentes é