Para ir ao trabalho de ônibus, Cláudio tem duas opções de linhas, a 085 e a 086, ambas partindo do terminal rodoviário Júlio de Castilho. A fim de otimizar seu tempo de deslocamento, Cláudio instalou um aplicativo em seu celular onde é possível verificar os horários de partida das linhas de ônibus dos terminais da cidade de Campo Grande. Cláudio, utilizando esse aplicativo, observou que no terminal Júlio de Castilho em dias úteis, o primeiro ônibus da linha 085 sai às 5h15min e o último às 23h10min, enquanto que o primeiro ônibus da linha 086 sai às 5h25min e o último às 23h55min. Além disso, Cláudio verificou que os ônibus da linha 085 saem do terminal Júlio de Castilho a cada 25min e os da linha 086 saem a cada 30 min. Considerando essas informações, pode-se concluir que, em um dia útil, os ônibus das linhas 085 e 086 partem do terminal Júlio de Castilho no mesmo horário