What is the high lap total for pedro diniz?
CREATE TABLE table_name_24 (
    laps INTEGER,
    driver VARCHAR
)
SELECT MAX(laps) FROM table_name_24 WHERE driver = "pedro diniz"
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 high lap total for pedro diniz? ### Input: CREATE TABLE table_name_24 (
    laps INTEGER,
    driver VARCHAR
) ### Response: SELECT MAX(laps) FROM table_name_24 WHERE driver = "pedro diniz"