<s>[INST] A Martian is known to be a rational being from the planet Mars and has a unique ID code. I want to create a geospatial database to store the Martians' details. What software would I recommend?[/INST]