$ 200 million proceeds from the central bank's sale at the currency auction