Minha senha vazou?

A CrediPampa quer saber se a senha padrão antiga, verao2020, aparece em vazamentos conhecidos, e quantas vezes. Serviços de "senha vazada" respondem sem nunca receber a senha nem o hash inteiro: você manda só os 5 primeiros símbolos do SHA-1 da senha (o prefixo), e o serviço devolve todos os finais (sufixos) que começam com aquele prefixo, cada um com a contagem de quantas vezes apareceu. Você compara o seu final com a lista, do seu lado. Isso é k-anonimato: o serviço nunca sabe qual era a sua senha.

O anexo faixa.txt é a resposta do serviço para o prefixo do SHA-1 de verao2020. Cada linha é SUFIXO:contagem.

Calcule o SHA-1 de verao2020, separe o sufixo (do 6º símbolo em diante) e ache a linha dele no arquivo. Quantas vezes essa senha apareceu? Responda tocaia{contagem}.