Table REF  summarizes the model parameters, that is, Na abundance, thermospheric onset pressure, thermosphere temperature, effective turbulent velocity, and their priors.
We used the core radiative transfer solver of petitRADTRANS [1]} to calculate forward radiative transfer models and included broadening due to turbulent velocity. In order to model the effect of turbulent velocity, we assume a Gaussian velocity distribution, assuming the effective turbulent velocity as the variance of the distribution and zero bulk velocity. We set up the high-resolution model by discretizing the 1D atmosphere to 150 layers, linearly spaced in altitude. We set the lower boundary at 1 bar and the upper boundary at \(10^{-9}\)  bar to resolve the centroids in grazing geometry appropriate for transmission spectroscopy.
