Iran’s mining industry exported a total of 42.21 million tons of products worth $9.49 billion in the current fiscal year’s first nine months (March 21-Dec. 21) to register a 9.5% and 90.8% year-on-year rise in weight and value respectively, a new report released by the Iranian Mines and Mining Industries Development and Renovation Organization shows.