"Town, including the city, had a population of 12,604; Willimantic" . . . .