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 estações na linha vermelha têm bicicletas disponíveis para aluguel?
 ###Tabelas: 
CREATE TABLE stations (id INT, name TEXT, line TEXT);   INSERT INTO stations (id, name, line) VALUES (1, 'StationA', 'Red'), (2, 'StationB', 'Red'), (3, 'StationC', 'Red');   CREATE TABLE bikes (id INT, station_id INT, available BOOLEAN);   INSERT INTO bikes (id, station_id, available) VALUES (1, 1, TRUE), (2, 1, FALSE), (3, 2, TRUE), (4, 2, TRUE), (5, 3, FALSE);
SELECT s.name FROM stations s JOIN bikes b ON s.id = b.station_id WHERE s.line = 'Red' AND b.available = TRUE;