CREATE TABLE table_77802 ("Driver" CLOB, "Constructor" CLOB, "Laps" FLOAT, "Time/Retired" CLOB, "Grid" FLOAT)

What is the high lap total for pedro diniz?
SELECT MAX("Laps") FROM table_77802 WHERE "Driver" = 'pedro diniz'
SELECT MAX("Laps") FROM "table_77802" WHERE "Driver" = 'pedro diniz'