As receitas orçamentárias são classificadas em receitas correntes e receitas de capital. A alternativa que apresenta uma origem de receita que é classificada como receita de capital é: