Spectra of comet C/2017 K2 acquired with CRIRES⁺. In each plot, the top spectrum shows the observed data along with the total model (in red), while the gray spectrum below represents the modeled transmittance. Molecular models used to derive the production rates are displayed in different colors and labeled accordingly. Residuals are shown at the bottom in gray, with yellow lines indicating the ±1σ uncertainties. Setting, detector number, and observing date are shown on top of each plot.