which tv show's season is 80 episodes long?
(AND tv.tv_series_season (JOIN tv.tv_series_season.number_of_episodes 80^^http://www.w3.org/2001/XMLSchema#integer))