Context: 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?
Answer: SELECT time_retired FROM table_name_79 WHERE grid > 10 AND manufacturer = "proton kr"