If the manufacturer is Proton Kr and the grid was over 10, what was the time retired?
CREATE TABLE table_name_79 (time_retired VARCHAR, grid VARCHAR, manufacturer VARCHAR)
SELECT time_retired FROM table_name_79 WHERE grid > 10 AND manufacturer = "proton kr"
<s>[INST] Write mssql query to answer the following question given the database schema. Schema: CREATE TABLE table_name_79 (time_retired VARCHAR, grid VARCHAR, manufacturer VARCHAR) Question: If the manufacturer is Proton Kr and the grid was over 10, what was the time retired? [/INST] SELECT time_retired FROM table_name_79 WHERE grid > 10 AND manufacturer = "proton kr" </s>