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 número de trem chega em Lonavla às 17:45
 ###Tabelas: CREATE TABLE 2701–2800 (2701–2800_id AUTO_INCREMENT PRIMARY KEY, NGC number INT, Object type VARCHAR, Constellation VARCHAR, Right ascension ( J2000 ) VARCHAR, Declination ( J2000 ) VARCHAR) CREATE TABLE l (l_id AUTO_INCREMENT PRIMARY KEY, Player VARCHAR, Pos. VARCHAR, From INT, School/Country VARCHAR, Rebs INT, Asts INT) CREATE TABLE pune_-_lonavala_service (pune_-_lonavala_service_id AUTO_INCREMENT PRIMARY KEY, Train Number INT, Train Name VARCHAR, Departure Pune VARCHAR, Arrival Lonavla VARCHAR, Frequency VARCHAR, Origin VARCHAR) CREATE TABLE singles_6 (singles_6_id AUTO_INCREMENT PRIMARY KEY, Date VARCHAR, Tournament VARCHAR, Surface VARCHAR, Opponen VARCHAR, Score VARCHAR) CREATE TABLE charts (charts_id AUTO_INCREMENT PRIMARY KEY, Year INT, Single VARCHAR, Chart VARCHAR, Position INT, Weeks on chart INT)  
SELECT Train Number FROM pune_-_lonavala_service WHERE Arrival Lonavla = 17:45