US crude oil refinery inputs averaged 15.4 million barrels per day during the week ending July 12, down from the highest average so far this year set in the previous week, said the US Department of Energy. Over the previous four weeks, crude oil inputs averaged 15.5 million barrels per day, or 70,000 barrels per…