Seismic detection of a 600-km solid inner core in Mars | Synapse