Instruct: If the manufacturer is Proton Kr and the grid was over 10, what was the time retired?
Output: SELECT Time/Retired FROM table WHERE Grid > 10 AND Manufacturer = proton kr