Atmospheric compositions with decreasing pressure and various surface temperatures. The base of each atmospheric profile is indicated by the corresponding T_surf and the top by open circles. The axis of overall redox state measured from O and H abundances as (O-H)/(O+H) and C content relative to H, O, and C are the same as in Woitke et al. (2021). The atmospheric types, atmospheric end members of certain points as well as lines of equal abundances of certain molecules are indicated in the bottom right plots.