CREATE TABLE table_name_79 (time_retired VARCHAR, grid VARCHAR, manufacturer VARCHAR)

If the manufacturer is Proton Kr and the grid was over 10, what was the time retired?
SELECT time_retired FROM table_name_79 WHERE grid > 10 AND manufacturer = "proton kr"
SELECT "time_retired" FROM "table_name_79" WHERE "grid" > 10 AND "manufacturer" = "proton kr"