Brazil’s crude oil output in May 2017 rose by 149,000 b/d to 2