Abaixo está uma instrução que descreve uma tarefa de geração de SQL, combinada com uma entrada que fornece mais contexto sobre os esquemas de tabela disponíveis. Escreva o código SQL que responda adequadamente à solicitação
 ###Instrução: Quais opções de televisão de alta definição estão disponíveis para Italia 1?
 ###Tabelas: CREATE TABLE national_terrestrial_and_sky_tg24 (national_terrestrial_and_sky_tg24_id AUTO_INCREMENT PRIMARY KEY, N° INT, Television service VARCHAR, Country VARCHAR, Language VARCHAR, Content VARCHAR, DAR VARCHAR, HDTV VARCHAR, Package/Option VARCHAR) CREATE TABLE european_competition_history (european_competition_history_id AUTO_INCREMENT PRIMARY KEY, Season VARCHAR, Competition VARCHAR, Round VARCHAR, Club VARCHAR, Home VARCHAR, Away VARCHAR, Aggregate VARCHAR) CREATE TABLE chronological_list_of_grand_slam_singles_titles_leaders (chronological_list_of_grand_slam_singles_titles_leaders_id AUTO_INCREMENT PRIMARY KEY, Years led VARCHAR, Span of years led INT, Player VARCHAR, Titles won at point of lead INT, Total Career titles INT, Tournament at which lead began VARCHAR) CREATE TABLE rankings_table (rankings_table_id AUTO_INCREMENT PRIMARY KEY, Rank INT, Matches as champion INT, Reigns as champion INT, Title matches won* INT, Title last held VARCHAR) CREATE TABLE pga_tour_wins_10 (pga_tour_wins_10_id AUTO_INCREMENT PRIMARY KEY, Date VARCHAR, Tournament VARCHAR, Winning score VARCHAR, Margin of victory VARCHAR, Runner(s)-up VARCHAR)  
SELECT HDTV FROM national_terrestrial_and_sky_tg24 WHERE Television service = Italia 1