mars in 2 0 7 0, according to ai. things have gone well for rapid colonization and there is much infrastructure.