user: Question: What is the top lap that had a Tyre time?
Columns: ['Driver', 'Constructor', 'Laps', 'Time/Retired', 'Grid']
Types: ['text', 'text', 'real', 'text', 'real']
Sample row: ['Jackie Stewart', 'Tyrrell - Ford', 72.0, '1:39:12.45', 2.0]
SQL:

assistant: SELECT MAX("Laps") FROM "Table" WHERE "Time/Retired" = 'Tyre';