Mine production of copper monthly report no. 71-77, 80-83; mine production of copper in United States in Apr. 1947-Apr. 1948.