What is the time/retired for alain prost?
CREATE TABLE table_name_60 (time_retired VARCHAR, driver VARCHAR)
SELECT time_retired FROM table_name_60 WHERE driver = "alain prost"
### Context: CREATE TABLE table_name_60 (time_retired VARCHAR, driver VARCHAR) ### Question: What is the time/retired for alain prost? ### Answer: SELECT time_retired FROM table_name_60 WHERE driver = "alain prost"