What is the sum of Sylvain Guintoli's laps?
CREATE TABLE table_name_8 (
    laps INTEGER,
    rider VARCHAR
)
SELECT SUM(laps) FROM table_name_8 WHERE rider = "sylvain guintoli"
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 sum of Sylvain Guintoli's laps? ### Input: CREATE TABLE table_name_8 (
    laps INTEGER,
    rider VARCHAR
) ### Response: SELECT SUM(laps) FROM table_name_8 WHERE rider = "sylvain guintoli"