Final recapitulation of aggregate totals of population of cities of 25,000 and over at 13th census.