7.251 – Venda de energia elétrica para o exterior