user: Question: What were the final time for the swimmer on lane 4?
Columns: ['NAME ATHLETE', 'FINAL', 'LANE', 'SEMI', 'HEAT']
Types: ['text', 'text', 'real', 'text', 'text']
Sample row: ['Vebjørn Rodal ( NOR )', '1:42.58', 1.0, '1:43.96', '1:45.30']
SQL:

assistant: SELECT "FINAL" FROM "Table" WHERE "LANE" = 4.0;