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