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
