Table schema:
CREATE TABLE table_name_95 (laps INTEGER, rider VARCHAR, grid VARCHAR)

Question: What is the average Laps that have gregorio lavilla as the rider, with a grid greater than 13?
SQL: SELECT AVG(laps) FROM table_name_95 WHERE rider = "gregorio lavilla" AND grid > 13