Brazil's Petrobras prepays 1 billion reais in export credit

In a securities filing, Petrobras, as the company is known, said the notes were due in 2020 and the company continues to work on the reduction of its leverage. ($1 = 3.2460 reais) (Reporting by Tatiana Bautzer; Editing by Chris Reese)