Prompt and conventional high-energy muon spectra from a full Monte Carlo simulation via CORSIKA7. - Neste, Ludwig; Gutjahr, Pascal; Hünnefeld, Mirco; Alameddine, Jean-Marco; Rhode, Wolfgang; Tjus, Julia; Riehn, Felix; Kröninger, Kevin; Albrecht, Johannes (European Physical Journal C -- Particles & Fields, 2025)