user: Question: What is the total number of laps with a Driver of Eddie Irvine?
Columns: ['Driver', 'Constructor', 'Laps', 'Time/Retired', 'Grid']
Types: ['text', 'text', 'real', 'text', 'real']
Sample row: ['Michael Schumacher', 'Benetton - Renault', 45.0, '1:22:56.043', 2.0]
SQL:

assistant: SELECT SUM("Laps") FROM "Table" WHERE "Driver" = 'Eddie Irvine';