Mars’ thinner atmosphere should be somewhat offset by its lower gravity.
True, but Martian gravity is 1/3 less, atmospheric density is 99% less. Being mainly CO2 would help a tiny bit, too.