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 Tempo do Atleta na Pista 4?
 ###Tabelas: CREATE TABLE final (final_id AUTO_INCREMENT PRIMARY KEY, Lane INT, Athlete VARCHAR, Nationality VARCHAR, Time INT, Reaction time INT) CREATE TABLE -_106_seats (-_106_seats_id AUTO_INCREMENT PRIMARY KEY, Riding VARCHAR, Candidate's Name VARCHAR, Gender VARCHAR, Residence VARCHAR, Occupation VARCHAR, Votes INT, Rank VARCHAR) CREATE TABLE worldwide (worldwide_id AUTO_INCREMENT PRIMARY KEY, Rank INT, Location VARCHAR, 2008 VARCHAR, 2009 VARCHAR, 2010 VARCHAR, 2011 INT, 2012 INT) CREATE TABLE club_representative_appearances (club_representative_appearances_id AUTO_INCREMENT PRIMARY KEY, Date VARCHAR, Nationality / Opponent VARCHAR, Ground VARCHAR, Result VARCHAR, Competition VARCHAR) CREATE TABLE stat_leaders (stat_leaders_id AUTO_INCREMENT PRIMARY KEY, Year INT, Points VARCHAR, Rebounds VARCHAR, Assists VARCHAR, Steals VARCHAR, Blocks VARCHAR)  
SELECT COUNT Time FROM final WHERE Lane = 4