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: Qual é o programa às 8:30 quando "occupation double" está sendo exibido às 7:00 nesse canal?
 ###Tabelas: CREATE TABLE lines (lines_id AUTO_INCREMENT PRIMARY KEY, Line color VARCHAR, Line VARCHAR, Route VARCHAR, Stations served INT, Length VARCHAR) CREATE TABLE chart:_the_eight_wives (chart:_the_eight_wives_id AUTO_INCREMENT PRIMARY KEY, Year of Marriage INT, Name VARCHAR, Her Age INT, His Age INT, # of Children INT) CREATE TABLE monday (monday_id AUTO_INCREMENT PRIMARY KEY, 7:00 VARCHAR, 7:30 VARCHAR, 8:00 VARCHAR, 8:30 VARCHAR, 9:00 VARCHAR, 9:30 VARCHAR, 10:00 VARCHAR) CREATE TABLE oslo (oslo_id AUTO_INCREMENT PRIMARY KEY, Rank INT, Name VARCHAR, Nationality VARCHAR, 1st (m) INT, 2nd (m) INT, Points INT, Overall NT points VARCHAR, Overall WC points (Rank) VARCHAR) CREATE TABLE doubles_9:_3–6 (doubles_9:_3–6_id AUTO_INCREMENT PRIMARY KEY, Outcome VARCHAR, Date VARCHAR, Tournament VARCHAR, Surface VARCHAR, Partner VARCHAR, Opponents VARCHAR, Score VARCHAR)  
SELECT 8:30 FROM monday WHERE 7:00 = occupation double