user: Question: What is the average Laps that have gregorio lavilla as the rider, with a grid greater than 13?
Columns: ['Rider', 'Bike', 'Laps', 'Time', 'Grid']
Types: ['text', 'text', 'real', 'text', 'real']
Sample row: ['Ryuichi Kiyonari', 'Honda CBR1000RR', 25.0, '36:14.904', 3.0]
SQL:

assistant: SELECT AVG("Laps") FROM "Table" WHERE "Rider" = 'gregorio lavilla' AND "Grid" > 13.0;