Tropicalizations of locally symmetric varieties | Synapse