CREATE TABLE table_name_79 (time_retired VARCHAR(255), grid VARCHAR(255), manufacturer VARCHAR(255))
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"