Industry challengers asserted that the agency had used erroneous market share data to determine their allowances under the program. The court disagreed.