Não há corridas pendentes

theta_k não possui nenhuma corrida pendente de verificação.