Question: Area code 580 serves which city in and the county seat of Pontotoc County, Oklahoma, United States?
Sentence (from "Pontotoc County, Oklahoma"): As of the 2010 census, the population was 37,492.
Relevant evidence: No