Question: Which Kentucky town is larger, Gray or Corbin?

full_context: Document 1: U.S. Route 25E: U.S. Route 25E is the eastern branch of U.S. Route 25 from Newport, Tennessee, where US 25 splits into US 25E and US 25W, to North Corbin, Kentucky, where the two highways rejoin. The road, however, continues as US 25E for roughly 2 miles (3.2 km) until it joins Interstate 75 in North Corbin.
Document 2: Louisville, Kentucky: Louisville ( , or ) is the largest city in the Commonwealth of Kentucky and the 29th-most populous city in the United States. It is one of two cities in Kentucky designated as first-class, the other being the state's second-largest city of Lexington. Louisville is the historical seat and, since 2003, the nominal seat of Jefferson County.
Document 3: Shelbyville, Kentucky: Shelbyville is a home rule-class city in and the county seat of Shelby County, Kentucky, United States. The population was 14,045 at the 2010 census.
Document 4: Kentucky Route 67: Kentucky Route 67 (KY 67) is a Kentucky State Highway originating at a junction with Interstate 64 near Grayson, Kentucky in Carter County. The route continues through rural ridgetops in Greenup County and briefly touches Boyd County before terminating at U.S. Highway 23 in Greenup County in between Wurtland and Greenup. KY 67 is also known as the Industrial Parkway.
Document 5: London, Kentucky: London is a home rule-class city in Laurel County, Kentucky, in the United States. It is the seat of its county. The population was 7,993 at the time of the 2010 U.S. census. London, Kentucky, is the second-largest city named London in the United States and the fourth-largest in the world. It is part of the London, Kentucky micropolitan area. Of the seventeen micropolitan areas in Kentucky, London is the largest; the London micropolitan area's 2010 Census population was 126,369. London is also home to the annual World Chicken Festival that celebrates the life of Colonel Sanders and features the world's largest skillet.
Document 6: Owensboro, Kentucky: Owensboro is a home rule-class city in and the county seat of Daviess County, Kentucky, United States. It is the fourth-largest city in the state by population. Owensboro is located on U.S. Route 60 about 107 mi southwest of Louisville, and is the principal city of the Owensboro metropolitan area. The 2015 population was 59,042. The metropolitan population was estimated at 116,506.
Document 7: Cannel City, Kentucky: Cannel City is an unincorporated community in Morgan County, Kentucky, United States. It lies along Route 191 south of the city of West Liberty, the county seat of Morgan County. In 1901, the Ohio and Kentucky railway tracks were laid through the region and thrived until the Cannel Coal Company's resources were depleted and forestry resources of the Licking River played out at the same time. On November 1, 1933, the last train trip of the Ohio and Kentucky Junction Railroad-Cannel City Line was made and the track was scrapped. During the golden years, there were several grocery stores, a hardware store, post office, mine, bank, blacksmith and an elegant hotel named The DeLancy. Also standing at over 100 years old is the well used by the trains to put water into their engines. Lost over the years was a train depot at the end of Highway 134, where it currently intersects with Highway 191. At one time, the area had a larger population and count of buildings than the present-day county seat West Liberty. After the mine closed, the area still partially thrived during the times after the Great Depression.
Document 8: List of counties in Kentucky: This is a list of the one hundred and twenty counties in the U.S. state of Kentucky. Despite ranking 37th in size by area, Kentucky has 120 counties; depending on definitions, this is either third or fourth among U.S. states. Texas has 254 counties and Georgia 159; Virginia has only 95 counties, but also has 38 independent cities that are not part of any county and deal directly with the state government, giving that state 133 county-level administrative units. The original motivation for having so many counties was to ensure that residents in the days of poor roads and horseback travel could make a round trip from their home to the county seat and back in a single day, as well as being able to travel from one county seat to the next in the same fashion. Later, however, politics began to play a part, with citizens who disagreed with the present county government simply petitioning the state to create a new county. The 1891 Kentucky Constitution placed stricter limits on county creation, stipulating that a new county:
Document 9: Gray Mountain (Missouri): Gray Mountain is a summit in the northwestern of Wayne County in the U.S. state of Missouri. Gray Mountain has an elevation of 722 ft . Gray Mountain lies above the St. Francis River to the southeast. The taller Graves Mountain lies just to the northwest and extends into Madison County south of Beulah. Graves Mountain State Forest includes portions of Gray Mountain. Missouri Route 143 passes by to the west.
Document 10: Griffytown, Louisville: Griffytown is a neighborhood of Louisville, Kentucky located in unincorporated Jefferson County, along Old Harrods Creek Road. Streets within its boundaries include: Bellewood Road, Robert Road, Church Lane, Lincoln Way, Cox Lane, Malcolm Avenue, Plainview Avenue and Booker Road. In 1879, a freed slave named Dan Griffith, an African American, purchased the land he had been living on in the area and the neighborhood appears to be named for him. The neighborhood was redeveloped in the 1970s through urban renewal and remains predominantly African American, although a number of families of other races live there as well.
Document 11: Gray, Kentucky: Gray is an unincorporated community in Knox County, Kentucky, United States. The community is located along U.S. Route 25E 4.9 mi west of Corbin. Gray has a post office with ZIP code 40734, which opened on January 25, 1888.
Document 12: Grayson, Kentucky: Grayson is a home rule-class city in and the county seat of Carter County, Kentucky, United States, in the state's northeastern region. The population was 4,217 at the 2010 census. Along with Carter County, the city is closely associated with the nearby Huntington-Ashland, WV-KY-OH Metropolitan Statistical Area being just 9 miles west of the M.S.A's western boundary. The city has grown in size substantially since the opening of Interstate 64 in 1975 through Carter County. Immediately afterwards, Grayson experienced several years of commercial sector growth to serve the Interstate 64 traffic. Since 1990, the city has also seen significant growth in the residential sector with the Interstate making for a faster trip to and from Ashland. Beginning in 1995, AA Highway terminates in Grayson making the city a gateway to the Huntington-Ashland urban area.
Document 13: Corbin, Kentucky: Corbin is a home rule-class city in Whitley and Knox counties in the southeastern portion of the U.S. state of Kentucky. The urbanized area around Corbin extends into Laurel County; this area is not incorporated into the city limits due to a state law prohibiting cities from being in more than two counties. However, this area is served by some of the city's public services. As of the 2010 census, the city population was 7,304, with 21,132 living in the "urban cluster" that includes Corbin and North Corbin.
Document 14: Gray County War: The Gray County War was a county seat war in Gray County, Kansas, between 1887 and 1893.
Document 15: Corbin Terminal Subdivision: The Corbin Terminal Subdivision is a railroad/yard that is owned by CSX Transportation in the U.S. State of Kentucky. The yard is located in Corbin, Kentucky. The KD Subdivision runs from the north and south of the Corbin Terminal Subdivision.
ground_truth: Corbin