What is the average Laps that have gregorio lavilla as the rider, with a grid greater than 13?
CREATE TABLE table_name_95 (
    laps INTEGER,
    rider VARCHAR,
    grid VARCHAR
)
SELECT AVG(laps) FROM table_name_95 WHERE rider = "gregorio lavilla" AND grid > 13
Below are sql tables schemas paired with instruction that describes a task. Using valid SQLite, write a response that appropriately completes the request for the provided tables. ### Instruction: What is the average Laps that have gregorio lavilla as the rider, with a grid greater than 13? ### Input: CREATE TABLE table_name_95 (
    laps INTEGER,
    rider VARCHAR,
    grid VARCHAR
) ### Response: SELECT AVG(laps) FROM table_name_95 WHERE rider = "gregorio lavilla" AND grid > 13