The Eridania Paleolake region is located between ~160E and ~190E longitude, and between 40 S (southern extent of bedrock mapping) and 30 S latitude. This region broadly corresponds to the portions of the Eridania Paleolake basin that fall within the latitude range defined in the 2019 JGR paper. This region contains seven mapped bedrock plains.