Alguém teria uma lista relacionando os códigos de cidade IBGE e TSE? Por exemplo, enquanto para o IBGE (e a maioria dos outros órgãos), Porto Alegre / RS tem o código 431490-2, enquanto para o TSE o código é 88013. Há um tempo atrás eu fiz essa relação através do nome das cidades, mas havia diferença na grafia de algumas cidades.