O horário de Brasília é, na verdade, gerado no Rio de Janeiro. Entenda como os relógios atômicos do Observatório Nacional funcionam.