Text this: Prompt and conventional high-energy muon spectra from a full Monte Carlo simulation via CORSIKA7.