CREATE TABLE table_name_95 (laps INTEGER, rider VARCHAR(255), grid VARCHAR(255))
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