Question: What was the 2014 population size of the Brazilian city where the band  Cavaleiros do Forró formed?
Sentence (from "Watterson estimator"): formula_1, where formula_2 is the effective population size and formula_3 is the per-generation mutation rate of the population of interest ( ).
Relevant evidence: No