Database: formula_1

Question: Please list the lap records for the circuits in Italy.
Evidence: lap record means the fastest time recorded which refers to time
SQL (SQLite): WITH fastest_lap_times AS (SELECT T1.raceId, T1.FastestLapTime, (CAST(SUBSTR(T1.FastestLapTime, 1, INSTR(T1.FastestLapTime, ':') - 1) AS REAL) * 60) + (CAST(SUBSTR(T1.FastestLapTime, INSTR(T1.FastestLapTime, ':') + 1, INSTR(T1.FastestLapTime, '.') - INSTR(T1.FastestLapTime, ':') - 1) AS REAL)) + (CAST(SUBSTR(T1.FastestLapTime, INSTR(T1.FastestLapTime, '.') + 1) AS REAL) / 1000) as time_in_seconds FROM results AS T1 WHERE T1.FastestLapTime IS NOT NULL ) SELECT T1.FastestLapTime as lap_record FROM results AS T1 INNER JOIN races AS T2 on T1.raceId = T2.raceId INNER JOIN circuits AS T3 on T2.circuitId = T3.circuitId INNER JOIN (SELECT MIN(fastest_lap_times.time_in_seconds) as min_time_in_seconds FROM fastest_lap_times INNER JOIN races AS T2 on fastest_lap_times.raceId = T2.raceId INNER JOIN circuits AS T3 on T2.circuitId = T3.circuitId WHERE T3.country = 'Italy' ) AS T4 ON (CAST(SUBSTR(T1.FastestLapTime, 1, INSTR(T1.FastestLapTime, ':') - 1) AS REAL) * 60) + (CAST(SUBSTR(T1.FastestLapTime, INSTR(T1.FastestLapTime, ':') + 1, INSTR(T1.FastestLapTime, '.') - INSTR(T1.FastestLapTime, ':') - 1) AS REAL)) + (CAST(SUBSTR(T1.FastestLapTime, INSTR(T1.FastestLapTime, '.') + 1) AS REAL) / 1000) = T4.min_time_in_seconds LIMIT 1
SQL (SQL Server): WITH fastest_lap_times AS (SELECT TOP 1 T1.raceId, T1.FastestLapTime, (TRY_CAST(SUBSTRING(T1.FastestLapTime, 1, CHARINDEX(':', T1.FastestLapTime) - 1) AS FLOAT) * 60) + (TRY_CAST(SUBSTRING(T1.FastestLapTime, CHARINDEX(':', T1.FastestLapTime) + 1, CHARINDEX('.', T1.FastestLapTime) - CHARINDEX(':', T1.FastestLapTime) - 1) AS FLOAT)) + (TRY_CAST(SUBSTRING(T1.FastestLapTime, CHARINDEX('.', T1.FastestLapTime) + 1, LEN(T1.FastestLapTime)) AS FLOAT) / 1000) as time_in_seconds FROM results AS T1 WHERE T1.FastestLapTime IS NOT NULL ) SELECT T1.FastestLapTime as lap_record FROM results AS T1 INNER JOIN races AS T2 on T1.raceId = T2.raceId INNER JOIN circuits AS T3 on T2.circuitId = T3.circuitId INNER JOIN (SELECT MIN(fastest_lap_times.time_in_seconds) as min_time_in_seconds FROM fastest_lap_times INNER JOIN races AS T2 on fastest_lap_times.raceId = T2.raceId INNER JOIN circuits AS T3 on T2.circuitId = T3.circuitId WHERE T3.country = 'Italy' ) AS T4 ON (TRY_CAST(SUBSTRING(T1.FastestLapTime, 1, CHARINDEX(':', T1.FastestLapTime) - 1) AS FLOAT) * 60) + (TRY_CAST(SUBSTRING(T1.FastestLapTime, CHARINDEX(':', T1.FastestLapTime) + 1, CHARINDEX('.', T1.FastestLapTime) - CHARINDEX(':', T1.FastestLapTime) - 1) AS FLOAT)) + (TRY_CAST(SUBSTRING(T1.FastestLapTime, CHARINDEX('.', T1.FastestLapTime) + 1, LEN(T1.FastestLapTime)) AS FLOAT) / 1000) = T4.min_time_in_seconds
SQL (Oracle): WITH fastest_lap_times AS (SELECT T1.raceId, T1.FastestLapTime, (CAST(SUBSTR(T1.FastestLapTime, 1, INSTR(T1.FastestLapTime, ':') - 1) AS BINARY_DOUBLE) * 60) + (CAST(SUBSTR(T1.FastestLapTime, INSTR(T1.FastestLapTime, ':') + 1, INSTR(T1.FastestLapTime, '.') - INSTR(T1.FastestLapTime, ':') - 1) AS BINARY_DOUBLE)) + (CAST(SUBSTR(T1.FastestLapTime, INSTR(T1.FastestLapTime, '.') + 1) AS BINARY_DOUBLE) / 1000) time_in_seconds FROM results T1 WHERE T1.FastestLapTime IS NOT NULL ) SELECT T1.FastestLapTime as lap_record FROM results T1 INNER JOIN races T2 on T1.raceId = T2.raceId INNER JOIN circuits T3 on T2.circuitId = T3.circuitId INNER JOIN (SELECT MIN(fastest_lap_times.time_in_seconds) min_time_in_seconds FROM fastest_lap_times INNER JOIN races T2 on fastest_lap_times.raceId = T2.raceId INNER JOIN circuits T3 on T2.circuitId = T3.circuitId WHERE T3.country = 'Italy' ) T4 ON (CAST(SUBSTR(T1.FastestLapTime, 1, INSTR(T1.FastestLapTime, ':') - 1) AS BINARY_DOUBLE) * 60) + (CAST(SUBSTR(T1.FastestLapTime, INSTR(T1.FastestLapTime, ':') + 1, INSTR(T1.FastestLapTime, '.') - INSTR(T1.FastestLapTime, ':') - 1) AS BINARY_DOUBLE)) + (CAST(SUBSTR(T1.FastestLapTime, INSTR(T1.FastestLapTime, '.') + 1) AS BINARY_DOUBLE) / 1000) = T4.min_time_in_seconds FETCH FIRST 1 ROWS ONLY