Três semáforos de uma grande avenida de Fortaleza
são programados para mudar de cor em intervalos
regulares. O primeiro semáforo muda de cor a cada 45
segundos, o segundo a cada 60 segundos e o terceiro a
cada 75 segundos. Se os três semáforos mudaram de cor
juntos exatamente às 12:00:00, eles mudarão de cor juntos
novamente às