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: quantos trens circulam diariamente para Lonavla e chegam às 12:25
 ###Tabelas: CREATE TABLE coaching_history (coaching_history_id AUTO_INCREMENT PRIMARY KEY, Coach VARCHAR, Years VARCHAR, Record VARCHAR, Conference Record VARCHAR, Overall Win Percentage VARCHAR) CREATE TABLE round_2 (round_2_id AUTO_INCREMENT PRIMARY KEY, Home team VARCHAR, Home team score VARCHAR, Away team VARCHAR, Away team score VARCHAR, Venue VARCHAR, Crowd INT, Date VARCHAR) CREATE TABLE 1992 (1992_id AUTO_INCREMENT PRIMARY KEY, Date VARCHAR, Visiting Team VARCHAR, Final Score VARCHAR, Host Team VARCHAR, Stadium VARCHAR) CREATE TABLE early_oregon_steam_navigation_company_boats (early_oregon_steam_navigation_company_boats_id AUTO_INCREMENT PRIMARY KEY, Name VARCHAR, Type VARCHAR, Year Built INT, Where Built VARCHAR, Initial Owners VARCHAR) 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)  
SELECT COUNT Train Number FROM pune_-_lonavala_service WHERE Frequency = Daily AND Arrival Lonavla = 12:25