The seismometer deployed by the InSight lander measured the seismic velocity of the
Martian crust. We use a rock physics model to interpret those velocities and constrain …