user: Question: How many Laps have a Driver of Satrio Hermanto?
Columns: ['Team', 'Driver', 'Laps', 'Time', 'Grid']
Types: ['text', 'text', 'real', 'text', 'real']
Sample row: ['India', 'Narain Karthikeyan', 45.0, "1:08'30.759", 3.0]
SQL:

assistant: SELECT SUM("Laps") FROM "Table" WHERE "Driver" = 'Satrio Hermanto';