Iran’s crude oil production and exports have not been impacted by the unrest spreading across the country, Iranian oil and shipping sources said on Jan. 2, as a crackdown intensified against anti-government demonstrations that began last week.

Iran, OPEC’s third-biggest oil producer, pumps around 3.8 million barrels per day.

“I see no impact on the production and export,” one Iranian oil industry source said, speaking on condition of anonymity.

“Everything is going normally,” another source said, adding that the protests had not spread into the energy sector and “remained in the streets”.

Nine Iranians were killed in Isfahan province during anti-government protests on Jan. 1 as security forces struggled to contain the boldest challenge to the clerical leadership since unrest in 2009.

Police have arrested more than 450 protesters in the capital Tehran over the past three days, the deputy provincial governor said.

Protesters also attacked police stations elsewhere in Iran on Jan. 1, news agency and social media reports said.