Brazil public sector net debt reached R$1,371.2 billion (41.4% of GDP)