user: Question: Name the sum of laps for 12 grids
Columns: ['Rider', 'Manufacturer', 'Laps', 'Time/Retired', 'Grid']
Types: ['text', 'text', 'real', 'text', 'real']
Sample row: ['Loris Capirossi', 'Ducati', 24.0, '47:05.484', 8.0]
SQL:

assistant: SELECT SUM("Laps") FROM "Table" WHERE "Grid" = 12.0;