Math Econ: Sticky Prices and the Martian Great Depression