CREATE TABLE table_name_1 (final VARCHAR, lane VARCHAR)

What were the final time for the swimmer on lane 4?
SELECT final FROM table_name_1 WHERE lane = 4
SELECT "final" FROM "table_name_1" WHERE "lane" = 4