Is it possible to get the data on Mars terrain somewhere? Something like SRTM data for Mars.
Ideally in a format like this:
where X and Y are coordinates of the region and E is the elevation (altitude) in that region.
There are two sources:
DTM coverage is small, but the resulting topo models are awesomely detailed - they are good for assessing landing sites and building hi-fi virtual terrains at great locations (Marineris, Olympus etc.) One such example is the terrain model for the fictional Ares 3 landing site from Andy Weir's The Martian available here.
Please note that lava tubes/subsurface features aren't generally resolvable from either MOLA or DTMs and one has to go through the list of known tubes to guesstimate how far the
li'l green man rabbit hole goes.