Anyway, I agree with Chanda. The idea of large-scale, long-term settlements on Mars is pretty pointless.

By the time the Sun goes rogue, it’s very unlikely that anything closely resembling human beings will still exist anyway.