Measurement of the atmospheric muon spectrum from 20-GeV to 3000-GeV.