João João
Em 2025, o responsável por coordenar a equipe criadora da prova da OBI – Olimpíada Brasileira de Influenciadores é o professor João João, que, além de professor, é um famoso e influente influenciador.
Até o momento, a equipe criou 10 tarefas, e cada uma dessas tarefas foi categorizada em um de quatro níveis de dificuldade: $1, 2, 3$ e $4$.
O professor João João deseja saber quantas tarefas ainda faltam ser criadas para que seja possível montar uma prova composta de exatamente quatro tarefas, sendo cada tarefa de um nível de dificuldade distinto.
Dada a lista dos níveis de dificuldade das tarefas já criadas, você pode ajudar o professor João João a determinar quantas tarefas faltam ser criadas?
Input
A entrada é composta por uma única linha, contendo 10 inteiros $D_1, \dots, D_{10}$, representando o nível de dificuldade da tarefa $i$ ($1 \leq D_i \leq 4$, para $1 \leq i \leq 10$).
Output
Seu programa deve produzir uma única linha contendo um único número inteiro: a menor quantidade de tarefas que precisam ser criadas para que seja possível produzir uma prova com quatro tarefas de níveis distintos.
1 3 4 1 3 4 1 3 4 1
1
Explanation 1:
Já foram criadas tarefas de níveis de dificuldade $1$, $3$ e $4$. Falta apenas uma tarefa de nível $2$, então a resposta é $1$.
4 1 1 4 3 1 2 1 2 2
0
Explanation 2:
Já foram criadas tarefas de níveis de dificuldade $1$, $2$, $3$ e $4$. Como não falta nenhum nível de dificuldade, a resposta é $0$.