Upper panel: values of E, as a function of the heat recirculation parameter ϵ and Bond albedo A_B. The solid white line represents the retrieved median value of E, , the dashed lines are its corresponding 1σ interval, and the shaded region corresponds to the parameter space excluded by the upper nightside T_b limit of 1900 K. Lower panel: temperature-pressure profile of a HELIOS model (solid line), computed for the median values of E, and T_int. Besides the temperature-pressure profile, the lower panel also includes a set of condensate stability curves (dashed lines) for a selected set of species.