Task: Question Generation
Input (English): Passage: Beginning in 1967, Brevard County was represented by the Floridas 71st House district, Floridas 72nd House district, Floridas 73rd House district, and Floridas 74th House district districts. Following redistricting in 1970, the county was represented by the Floridas 44th House district, Floridas 45th House district, Floridas 46th House district, Floridas 47th House district and Floridas 48th House district districts. Following redistricting in 1982, the county was represented by the Floridas 31st House district, Floridas 32nd House district,  Floridas 33rd House district, Floridas 34th House district, Floridas 77th House district, and Floridas 78th House district districts. Following redistricting in 1992, the county was represented by the Floridas 29th House district, Floridas 30th House district, Floridas 31st House district, and Floridas 32nd House district districts. Following redistricting in 2002, the county was represented by the Floridas 29th House district, Floridas 30th House district, Floridas 31st House district, Floridas 32nd House district, and Floridas 80th House district districts.
Output (English): How many districts was the county represented by after redistricting in 2002?