Ohio Oil Co. Brief for United States, circuit court of appeals, 10th circuit, no. 3412, United States v. Ohio Oil Company, appeal from district court for district of Wyoming.