user: Question: When the driver mike hailwood has a grid greater than 12 and a Time/Retired of + 2 laps, what is the average number of laps?
Columns: ['Driver', 'Constructor', 'Laps', 'Time/Retired', 'Grid']
Types: ['text', 'text', 'real', 'text', 'real']
Sample row: ['Peter Revson', 'McLaren - Ford', 80.0, '1:59:04.083', 2.0]
SQL:

assistant: SELECT AVG("Laps") FROM "Table" WHERE "Time/Retired" = '+ 2 laps' AND "Driver" = 'mike hailwood' AND "Grid" > 12.0;