what is the population of the city with the building that houses the three branches of the government ?
25,527