Atualmente, a cidade de Porto Alegre/RS está com mais de um milhão, trezentos e cinquenta mil habitantes, sendo que a quantidade de vereadores é proporcional à população. De acordo com a CRFB, qual é a quantidade de vereadores para essa faixa de habitantes?